On 08/22/2013 09:19 AM, Jan Hubicka wrote:
- I tried to track functions that lead to terminate() and not mark them
as ECF_LEAF. This is because user can set handler. If the handler
can resonably expect the static vars defined in its unit to be
in the final form, we can not consider it ECF_LEAF.
Perhaps there are cases where terminate() is called only for programs
already after undefined effect?
Not really; terminate() is an alternative to undefined behavior.
- Is do_end_catch nothrow? It does not seem to be declared so in libsupc++
No, destroying the exception object might throw.
Bootstrapped/regtested x86_64-linux, OK?
OK.
Jason
