Class finish_reduce that has_right_zombie will not call the destructor of the contained body object if the join operation throws.
From parallel_reduce.h:
[cpp]if( has_right_zombie ) {
// Right child was stolen.
Body* s = zombie_space.begin();
my_body->join( *s );
s->~Body();
}[/cpp]
Clearly s->~Body() will not be called when my_body->join( *s ) throws. I propose:
[cpp]if( has_right_zombie ) {
// Right child was stolen.
Body* s = zombie_space.begin();
try{
my_body->join( *s );
s->~Body();
}catch(...){
s->~Body();
throw;
}
}[/cpp]
