[LLVMbugs] [Bug 12263] New: Annotation to suppress known false positives

[bugzilla-daemon at llvm.org]

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

             Bug #: 12263
           Summary: Annotation to suppress known false positives
           Product: clang
           Version: 3.0
          Platform: PC
        OS/Version: Windows NT
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Static Analyzer
        AssignedTo: kremenek at apple.com
        ReportedBy: roland at utk.edu
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified


I suggest to add an annotation to suppress known false positives requiring a
bug-id as part of the annotation.   

Currently the analyzer doesn't have an annotation to suppress messages. It
seems a quite regularly requested feature (e.g. [1-3]) and is something other
static analyzer (e.g cppcheck) have. I understand, the reason to not include it
(from [3]) is that it is much better for the community to receive bug reports
from the users than if the users simply suppress false positives. The problem
is that currently it is not possible to suppress warnings, even after the
problem has been reported.

By requiring a bug id as part of the annotation, it gives the user a strong
incentive to file a bug and at the same time allows the user to suppress those
warning which have already been reported. Besides creating an incentive, the
bug id servers the purpose of documenting the reason for the suppression. This
could be made particularly useful by including a list of all closed(/resolved)
bugs (independent of resolution including e.g. INVALID) in the analyzer binary.
This way a new version of analyzer could automatically warn the user, when an
annotation isn't required anymore.

1:
http://stackoverflow.com/questions/5806101/is-it-possible-to-suppress-xcode-4-static-analyzer-warnings
2:
http://stackoverflow.com/questions/4952380/how-can-this-xcode-clang-static-analyzer-warning-be-suppressed
3:
http://clang-developers.42468.n3.nabble.com/Suppress-Static-Analysis-false-positive-td415614.html

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