[LLVMbugs] [Bug 1443] Should propagate nothrow attribute to LLVM IR

bugzilla-daemon at cs.uiuc.edu bugzilla-daemon at cs.uiuc.edu
Mon Dec 31 01:21:41 PST 2007


Duncan Sands <baldrick at free.fr> changed:

           What    |Removed                     |Added
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED

--- Comment #4 from Duncan Sands <baldrick at free.fr>  2007-12-31 03:21:39 ---
This is done in llvm-gcc-4.2.  A call cannot throw for basically two
reasons: (1) the callee is a 'nothrow' function; (2) the call occurs
in a 'nothrow region' [these are generated by C++, which doesn't allow
a new exception to be thrown when finalizing objects during unwinding
of an exception].  In case (1) we mark the LLVM function 'nounwind',
and have done for some time.  In case (2) we mark the call 'nounwind'.
This was done here:

Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.

More information about the llvm-bugs mailing list