llvm / llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
http://llvm.org
Other
28.26k stars 11.67k forks source link

Garbage value false positive when counting with modulus #21689

Open llvmbot opened 9 years ago

llvmbot commented 9 years ago
Bugzilla Link 21315
Version trunk
OS MacOS X
Attachments test case
Reporter LLVM Bugzilla Contributor

Extended Description

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.

llvmbot commented 9 years ago

assigned to @tkremenek