[LLVMbugs] [Bug 7491] New: False positive: impossible path

[bugzilla-daemon at llvm.org]

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

           Summary: False positive: impossible path
           Product: clang
           Version: unspecified
          Platform: Macintosh
        OS/Version: MacOS X
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
        AssignedTo: kremenek at apple.com
        ReportedBy: ranma42 at gmail.com
                CC: llvmbugs at cs.uiuc.edu


As shown here
http://people.freedesktop.org/~ranma42/scan-build-2010-06-25-1/report-RS3Z6A.html#EndPath
the static analyzer is reposting an impossible code path:
if (bytes_remaining) // not taken
and right after that
if (bytes_remaining == 0) // not taken

OS: MacOS 10.6.4
ANALYZER BUILD: checker-242 (2010-06-21 13:44:48)

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