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: [email protected]
ReportedBy: [email protected]
CC: [email protected]
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.
_______________________________________________
LLVMbugs mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/llvmbugs
