This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [C++ patch] Set attributes for C++ runtime library calls
- From: Jason Merrill <jason at redhat dot com>
- To: Jan Hubicka <hubicka at ucw dot cz>, gcc-patches at gcc dot gnu dot org
- Date: Mon, 26 Aug 2013 21:27:15 -0400
- Subject: Re: [C++ patch] Set attributes for C++ runtime library calls
- Authentication-results: sourceware.org; auth=none
- References: <20130822131927 dot GA18084 at kam dot mff dot cuni dot cz>
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