Re: [3.3] Followup to C++ forced unwinding

[Gabriel Dos Reis <gdr at integrable-solutions dot net>]

Zack Weinberg <zack@codesourcery.com> writes:

| Mark Mitchell <mark@codesourcery.com> writes:
| 
| > (1) The libsupc++ bits make:
| >
| >       void f() throw () { read (...); }
| >   
| >     be handled just like:
| >
| >       void f() throw () { throw 3; }
| >  
| >     would.
| 
| Query, is there a way to write "this function may be cancelled but
| otherwise will not throw an exception"?  Notation like
| 
| void f() throw (cxxabi::thread_cancellation) { ... }

hmm, assuming current C++ semantics with repesct to ES, I don't think
that helps much.  Or do you have any specific extension in mind?

-- Gaby