[LLVMbugs] [Bug 8440] New: False null dereference on variable that had just been malloced and checked for NULL

[bugzilla-daemon at llvm.org]

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

           Summary: False null dereference on variable that had just been
                    malloced and checked for NULL
           Product: clang
           Version: trunk
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
        AssignedTo: kremenek at apple.com
        ReportedBy: luis.strano at gmail.com
                CC: llvmbugs at cs.uiuc.edu


Created an attachment (id=5647)
 --> (http://llvm.org/bugs/attachment.cgi?id=5647)
report showing the false positive

The report generated is available here:
http://people.profusion.mobi/~lfelipe/static_analysis/efl/efl-53721/TMP/st/elementary/2010-10-21-1/report-wqrtzn.html#EndPath

I'm also attaching the html file in case the above gets removed sometime later.

The report in question is quite direct, the savedtypes.types variable is
getting allocated in line 1175, it is checked for NULL on 1176 and then
scan-build reports a null dereference on line 1181, even though in no point of
that code there is any chance of its value being changed, seeing as it is not
passed into any other function.

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