[LLVMbugs] [Bug 8872] New: False positive result

[bugzilla-daemon at llvm.org]

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

           Summary: False positive result
           Product: clang
           Version: unspecified
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
        AssignedTo: kremenek at apple.com
        ReportedBy: tlsa at netsurf-browser.org
                CC: llvmbugs at cs.uiuc.edu


Created an attachment (id=5934)
 --> (http://llvm.org/bugs/attachment.cgi?id=5934)
Screenshot of the dereference of NULL pointer report

This screenshot of a dereference of NULL pointer report shows a false positive.

http://www.netsurf-browser.org/temp/content-llcache2.png

At [2] it takes the false branch, which should be impossible given the logic in
the assert() at line 1247, and the assumption of NULL at [1[a]].

I'm using the clang / scan-build in packaged Ubuntu 10.10.


Also, it would be helpful if, instead of saying "pointer value" in "[a]
Assuming pointer value is null", it actually gave the name of the pointer it
meant (user->prev).  It's a bit ambiguous at the moment as there are other
pointer values there.

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