Re: Return value of finished threads

[Tom Tromey]

>>>>> "Michael" == Michael Albinus <address@hidden> writes:

Tom> This doesn't seem all that hard to implement.

Michael> Yep. The appended patch does it for me. Maybe you could check whether
Michael> I'm missing something?

I think the way threads are marked has to be changed.
I believe that, currently, once a thread exits, its fields are no longer
marked.  However, with this change we want to be sure that the result is
marked for a dead thread.

Tom