Hi Philippe - yes, I think you're right. I've reported a possible race
condition on RedHat's pthread_exit
(https://bugzilla.redhat.com/show_bug.cgi?id=1596537).
Thanks.
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
Valgrind-users mailing list
Valgrind-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/valgrind-users
