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: [email protected]
          Reporter: [email protected]
                CC: [email protected]
    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.
_______________________________________________
LLVMbugs mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/llvmbugs

Reply via email to