<div dir="ltr"><div>I've added this test case and the fix to <a href="http://reviews.llvm.org/D5866">http://reviews.llvm.org/D5866</a> . Hal - I had to remove the allPositive loop condition you added as we should check every GEPVariable to see if it changes values across loop iterations (!isValueEqualInPotentialCycles). If any variables do change non of the analysis in that code block can be used, as it is only valid for the current loop iteration. Thanks -<br><br></div>Nick<br></div>