[LLVMbugs] [Bug 2527] New: Static Analyzer: wrong logic provides false-positives

bugzilla-daemon at cs.uiuc.edu bugzilla-daemon at cs.uiuc.edu
Mon Jul 7 12:18:31 PDT 2008


           Summary: Static Analyzer: wrong logic provides false-positives
           Product: clang
           Version: unspecified
          Platform: Macintosh
        OS/Version: MacOS X
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Semantic Analyzer
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: thomascl at free.fr
                CC: llvmbugs at cs.uiuc.edu

Created an attachment (id=1806)
 --> (http://llvm.org/bugs/attachment.cgi?id=1806)
test case

I have seen several false-positives due to code structured that way.
The analyzer evaluates the variable to begin TRUE and FALSE while it is not

See the attachment.

Using checker-57.


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.

More information about the llvm-bugs mailing list