[LLVMbugs] [Bug 11854] floating point division by 0.0 vs -ftrapv vs IEEE floating point semantics

[bugzilla-daemon at llvm.org]

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

Sean McBride <sean at rogue-research.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |REOPENED
         Resolution|FIXED                       |

--- Comment #2 from Sean McBride <sean at rogue-research.com> 2012-11-07 20:32:21 CST ---
If I understand UsersManual.html, -fno-sanitize=divide-by-zero would let me
keep everything except the divide by zero check.  That's great!

But really it's only *floating point* div-by-zero that I don't want to be
warned about, since it's semantics are *well defined* by IEEE.

Can we have:

-fsanitize=divide-by-zero-integer
-fsanitize=divide-by-zero-floating-point ?

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