[llvm-bugs] [Bug 25322] New: Allow explicitly suppressing -fsanitize=unsigned-integer-overflow per expression

via llvm-bugs llvm-bugs at lists.llvm.org
Mon Oct 26 10:01:16 PDT 2015


https://llvm.org/bugs/show_bug.cgi?id=25322

            Bug ID: 25322
           Summary: Allow explicitly suppressing
                    -fsanitize=unsigned-integer-overflow per expression
           Product: clang
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Frontend
          Assignee: unassignedclangbugs at nondot.org
          Reporter: gonzalobg88 at gmail.com
                CC: llvm-bugs at lists.llvm.org
    Classification: Unclassified

-fsanitize=unsigned-integer-overflow has found _tons_ of bugs in my
applications.

There were, however, some false positive (where unsigned integer overflow is
explicitly used correctly). 

It would be nice to add a way to explicitly indicate this on a per expression
basis, so that the false positives can be removed from the reports of
-fsanitize=unsigned-integer-overflow.

-- 
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/20151026/bb23cf5e/attachment.html>


More information about the llvm-bugs mailing list