[LLVMbugs] [Bug 19535] New: UBSan: Floating point division by zero is not undefined

[bugzilla-daemon at llvm.org]

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

            Bug ID: 19535
           Summary: UBSan: Floating point division by zero is not
                    undefined
           Product: new-bugs
           Version: trunk
          Hardware: PC
                OS: Windows NT
            Status: NEW
          Severity: normal
          Priority: P
         Component: new bugs
          Assignee: unassignedbugs at nondot.org
          Reporter: nick at indigorenderer.com
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified

float x = 1.f;
float y = x / 0.f;

Gives the UBSan error:

'runtime error: division by zero'.

It's not really an error though, the result is of course +INF and is well
defined AFAIK.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20140423/d6fbe2dc/attachment.html>