http://llvm.org/bugs/show_bug.cgi?id=8689
Summary: false positive due to not analyzing value dependencies
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]
Static analyzer for the attached file reports that:
/tmp/test.c:17:28: warning: Access to field 'a' results in a dereference of a
null pointer (loaded from variable 'X')
return error ? NULL : X->a;
~ ^
But clearly when X is dereferenced it cannot be NULL.
--
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
