http://llvm.org/bugs/show_bug.cgi?id=21315
Bug ID: 21315
Summary: Garbage value false positive when counting with
modulus
Product: clang
Version: trunk
Hardware: Macintosh
OS: MacOS X
Status: NEW
Severity: normal
Priority: P
Component: Static Analyzer
Assignee: [email protected]
Reporter: [email protected]
CC: [email protected]
Classification: Unclassified
Created attachment 13224
--> http://llvm.org/bugs/attachment.cgi?id=13224&action=edit
test case
When iterating through an array beginning at an offset and wrapping around the
analyzer doesn't recognize which values are accessed. In the attached code all
array values but "skip" are initialized but the analyzer gives a "undefined
value" false positive when summing the elements.
--
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
