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

[bugzilla-daemon at llvm.org]

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

             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.