http://llvm.org/bugs/show_bug.cgi?id=2527
Summary: Static Analyzer: wrong logic provides false-positives
Product: clang
Version: unspecified
Platform: Macintosh
OS/Version: MacOS X
Status: NEW
Severity: normal
Priority: P2
Component: Semantic Analyzer
AssignedTo: [EMAIL PROTECTED]
ReportedBy: [EMAIL PROTECTED]
CC: [email protected]
Created an attachment (id=1806)
--> (http://llvm.org/bugs/attachment.cgi?id=1806)
test case
I have seen several false-positives due to code structured that way.
The analyzer evaluates the variable to begin TRUE and FALSE while it is not
modified.
See the attachment.
Using checker-57.
Thanks
--
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
