pthread_cancel and EH: let's try this again

[Alexander Terekhov]

David Abrahams wrote:
[...]
> The mental model one develops for exception handling based on standard
> C++ includes invariants such as
> 
>     catch(...) { whatever; throw; }
> 
>   is equivalent to
> 
>     a destructor that does "whatever" when unwinding

Nah,

  a destructor that does "whatever" when unwinding

is equivalent to

  // Doesn't participate in search phase
  weak_catch(...) { no_throw{ whatever; } throw; }

;-)

regards,
alexander.