Re: Reachable killed buffers

[Paul Eggert]

On 09/12/2012 08:29 PM, Stefan Monnier wrote:
> Arguably, if (part of) that list is shared with some other data
> structure, then we indeed shouldn't remove dead buffers from it.

But the patch doesn't implement that either, right?
If part of the list is shared, but the GC doesn't discover
this until after that code runs, it'll remove dead
buffers from that part.  From the user's point of
view, whether dead buffers are removed would depend
on the phase of the moon.