http://llvm.org/bugs/show_bug.cgi?id=7770
Summary: easy to prevent false positive
Product: clang
Version: unspecified
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=5301)
--> (http://llvm.org/bugs/attachment.cgi?id=5301)
little demo of the false positive.
The static analyzer reports a null pointer dereference witch doesn't happen. It
doesn't check the exit condition on a for loop correctly.
I've added 3 functions with minimal differences. The analyzer works correct in
two of them.
Hope that helps
--
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
