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

bugzilla-daemon at llvm.org bugzilla-daemon at llvm.org
Wed Dec 29 15:17:43 PST 2010


           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.


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.

More information about the llvm-bugs mailing list