[PATCH] IndVarSimplify: Don't let LFTR compare against a poison value
david.majnemer at gmail.com
Wed Sep 3 10:02:41 PDT 2014
Hi chandlerc, nicholas, nlewycky, atrick,
LinearFunctionTestReplace tries to use the *next* indvar to compare
against when possible. However, it may be the case that the calculation
for the next indvar has NUW/NSW flags and that it may only be safely
used inside the loop. Using it in a comparison to calculate the exit
condition could result in observing poison.
This fixes PR20680.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 16692 bytes
Desc: not available
More information about the llvm-commits