http://llvm.org/bugs/show_bug.cgi?id=8590
Summary: Bogus warning about null pointer deref when inner loop
exit can prove outer loop exits
Product: clang
Version: trunk
Platform: Macintosh
OS/Version: MacOS X
Status: NEW
Severity: normal
Priority: P
Component: Static Analyzer
AssignedTo: [email protected]
ReportedBy: [email protected]
CC: [email protected]
Created an attachment (id=5760)
--> (http://llvm.org/bugs/attachment.cgi?id=5760)
test case
In the attached test case, the exit path for the inner loop sets up state such
that the outer loop must exit before the 'cursor' can be assigned NULL. Clang
doesn't seem to realize this.
--
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
