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

[bugzilla-daemon at cs.uiuc.edu]

http://llvm.org/bugs/show_bug.cgi?id=1443


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:
http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20071126/055898.html


-- 
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.