id,summary,reporter,owner,description,type,status,milestone,component,version,severity,resolution,keywords,cc
7669,thread_group::join_all() should catch resource_deadlock_would_occur,boost.lists@…,Anthony Williams,"If a thread in thread_group is this_thread, join_all() throws resource_deadlock_would_occur. This violates the function post-condition: ""Every thread in the group has terminated.""
Because of the above, and because it's impossible to enumerate the threads is a thread_group, it should catch resource_deadlock_would_occur and proceed with the joining loop. (The exception can be re-thrown when the loop ends.)
",Bugs,closed,Boost 1.53.0,thread,Boost 1.52.0,Problem,fixed,thread;thread_group,