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

bugzilla-daemon at llvm.org bugzilla-daemon at llvm.org
Fri Jun 25 02:22:23 PDT 2010


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

More information about the llvm-bugs mailing list