Re: Conservative GC isn't safe

[Stefan Monnier]

>> >> res = Fvector (ito - ifrom, aref_addr (string, ifrom));
>> > But 'string' still references the contents array of the vector, so GC
>> > will mark it when it comes to 'string'.
>> But after computing "aref_addr (string, ifrom)", it may very well be
>> that `string` is dead and the compiler may then decide not to write
>> it into the stack.
> It will still be there in the caller.

Only if the caller still needs it after the call.
That's usually the case, but it's not a given.


        Stefan