[LLVMbugs] [Bug 14462] New: false positive: Dereference of null pointer

bugzilla-daemon at llvm.org bugzilla-daemon at llvm.org
Fri Nov 30 00:39:10 PST 2012


             Bug #: 14462
           Summary: false positive: Dereference of null pointer
           Product: clang
           Version: 3.1
          Platform: PC
        OS/Version: FreeBSD
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
        AssignedTo: kremenek at apple.com
        ReportedBy: marka at isc.org
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified

The static analyser chooses to assign nodep to be NULL despite the caller
passing the address of variable on the stack so it can never be NULL on this
call path.

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