Re: Conservative GC isn't safe

[Paul Eggert]

Ken Raeburn wrote:
> > > Indeed.  Hans Boehm's done a fair bit of research in this issue,
> > > including discussing the underlying assumptions and arguing that
> > > compilers should (and usually do) guarantee those assumptions.

> I’d be surprised if that held reliably when the last use of a Lisp_Object in 
> some function extracts an object pointer and then never references the 
> Lisp_Object as such ever again.

That's not a problem for Emacs, since the Emacs GC marks the object either way.