[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

Richard Smith <richard-llvm at metafoo.co.uk> changed:

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

--- Comment #3 from Richard Smith <richard-llvm at metafoo.co.uk> 2012-12-03 15:45:37 CST ---
-f[no-]sanitize=float-divide-by-zero is now supported.

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