[Fwd: Uninitialized stack gaps and conservative garbage collection]

[Tom Tromey]

>>>>> "Bryce" == Bryce McKinlay <mckinlay@redhat.com> writes:

Bryce> Hopefully this is rare in GCJ, however, as the GC only
Bryce> considers pointers to the start of an object to be valid -
Bryce> interior pointers are disregarded, significantly reducing the
Bryce> chance of a mis-identification.

My understanding is that this is only true for pointers on the heap.
Interior pointers found while scanning the stack will still cause
retention.  The rationale is that the optimizer might result in code
where no non-interior pointer is kept.

Tom