diff options
| author | Max Kazantsev <max.kazantsev@azul.com> | 2018-05-04 07:34:35 +0000 |
|---|---|---|
| committer | Max Kazantsev <max.kazantsev@azul.com> | 2018-05-04 07:34:35 +0000 |
| commit | 786032c1b764217d003b1fe19013d3e486b626f2 (patch) | |
| tree | af8304e8233c0a9279d644f8bd3e3868fb7f0bed /llvm/lib | |
| parent | 47e6b8c2c74e18d1f3bf30a52790e1f1aafea5cc (diff) | |
| download | bcm5719-llvm-786032c1b764217d003b1fe19013d3e486b626f2.tar.gz bcm5719-llvm-786032c1b764217d003b1fe19013d3e486b626f2.zip | |
[IRCE] Fix misuse of dyn_cast which leads to UB
llvm-svn: 331508
Diffstat (limited to 'llvm/lib')
| -rw-r--r-- | llvm/lib/Transforms/Scalar/InductiveRangeCheckElimination.cpp | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/llvm/lib/Transforms/Scalar/InductiveRangeCheckElimination.cpp b/llvm/lib/Transforms/Scalar/InductiveRangeCheckElimination.cpp index 6d85245c33a..79004ddba18 100644 --- a/llvm/lib/Transforms/Scalar/InductiveRangeCheckElimination.cpp +++ b/llvm/lib/Transforms/Scalar/InductiveRangeCheckElimination.cpp @@ -925,11 +925,12 @@ LoopStructure::parseLoopStructure(ScalarEvolution &SE, return None; } const SCEV* StepRec = IndVarBase->getStepRecurrence(SE); - ConstantInt *StepCI = dyn_cast<SCEVConstant>(StepRec)->getValue(); - if (!StepCI) { + if (!isa<SCEVConstant>(StepRec)) { FailureReason = "LHS in icmp not induction variable"; return None; } + ConstantInt *StepCI = cast<SCEVConstant>(StepRec)->getValue(); + if (ICI->isEquality() && !HasNoSignedWrap(IndVarBase)) { FailureReason = "LHS in icmp needs nsw for equality predicates"; return None; |

