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

[bugzilla-daemon at cs.uiuc.edu]

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

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

See the attachment.

Using checker-57.

Thanks


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