On Sunday, 5 May 2013 at 01:55:36 UTC, bearophile wrote:
Jonathan M Davis:
So, it's
probably only a matter of time before we have a more precise
garbage collector
in druntime (which will seriously reduce the false pointers
problem, though I
can't remember if it completely eliminates it).
Probably it doesn't use things like a shadow stack, so it
doesn't trace stack pointers well. So probably it's not fully
precise.
It is conservative with stack and unions. So it isn't fully
precise. I do think the tradeoff that is made here is the right
one.
