[LLVMbugs] [Bug 21315] New: Garbage value false positive when counting with modulus

[bugzilla-daemon at llvm.org]

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: kremenek at apple.com
          Reporter: bryceco at yahoo.com
                CC: llvmbugs at cs.uiuc.edu
    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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20141020/0132d21f/attachment.html>