[LLVMbugs] [Bug 3925] New: clang-checker: detect undefined division behaviour

[bugzilla-daemon at cs.uiuc.edu]

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

           Summary: clang-checker: detect undefined division behaviour
           Product: new-bugs
           Version: unspecified
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: enhancement
          Priority: P2
         Component: new bugs
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: edwintorok at gmail.com
                CC: llvmbugs at cs.uiuc.edu


Clang checker already provides very useful warnings about potential divison by
zero.
It would be useful if clang checker could also provide warnings for other cases
where a division/remainder can cause a crash, like:
 INT_MIN / -1 (when both values are signed ints, ditto for long and long long
with appropriate corner cases)
 INT_MIN % -1 (as above)


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