diff options
| author | David Majnemer <david.majnemer@gmail.com> | 2014-09-03 23:03:18 +0000 |
|---|---|---|
| committer | David Majnemer <david.majnemer@gmail.com> | 2014-09-03 23:03:18 +0000 |
| commit | c6ab01eccae05aee4bae81a875a6eb88907247c5 (patch) | |
| tree | bd4c16b8d55d58e1697cf55275b6c8d167790348 /clang/lib/Serialization/ASTCommon.cpp | |
| parent | fb5d6852c6038455dca4da196558803005ced0d1 (diff) | |
| download | bcm5719-llvm-c6ab01eccae05aee4bae81a875a6eb88907247c5.tar.gz bcm5719-llvm-c6ab01eccae05aee4bae81a875a6eb88907247c5.zip | |
IndVarSimplify: Don't let LFTR compare against a poison value
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.
Differential Revision: http://reviews.llvm.org/D5174
llvm-svn: 217102
Diffstat (limited to 'clang/lib/Serialization/ASTCommon.cpp')
0 files changed, 0 insertions, 0 deletions
