[LLVMbugs] [Bug 8590] New: Bogus warning about null pointer deref when inner loop exit can prove outer loop exits

[bugzilla-daemon at llvm.org]

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

           Summary: Bogus warning about null pointer deref when inner loop
                    exit can prove outer loop exits
           Product: clang
           Version: trunk
          Platform: Macintosh
        OS/Version: MacOS X
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
        AssignedTo: kremenek at apple.com
        ReportedBy: tjw at omnigroup.com
                CC: llvmbugs at cs.uiuc.edu


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

In the attached test case, the exit path for the inner loop sets up state such
that the outer loop must exit before the 'cursor' can be assigned NULL.  Clang
doesn't seem to realize this.

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