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

[bugzilla-daemon at llvm.org]

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

             Bug #: 13426
           Summary: False positive: impossible path
           Product: clang
           Version: 3.1
          Platform: PC
        OS/Version: FreeBSD
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Static Analyzer
        AssignedTo: kremenek at apple.com
        ReportedBy: wollman at freebsd.org
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified


When running the analyzer against OpenAFS git master, vlserver/vl_utils.c
reports a false uninitialized argument as shown here:
http://hergotha.csail.mit.edu/~analyzer/2012-07-20-1/report-8QtTSW.html#EndPath
If nextblockindex == blockindex is false (#3), then clearly the loop must
execute at least once (#4), causing prevblockindex to be initialized (line
929).

clang version 3.1 (branches/release_31)
Target: amd64-portbld-freebsd8.3
Thread model: posix

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