diff options
| author | Duncan P. N. Exon Smith <dexonsmith@apple.com> | 2016-08-17 01:16:17 +0000 |
|---|---|---|
| committer | Duncan P. N. Exon Smith <dexonsmith@apple.com> | 2016-08-17 01:16:17 +0000 |
| commit | 3bcaa812042ba8ffb598c96fae99b07528a0caa5 (patch) | |
| tree | bb22f0b6369870575415c29fef498c689853970a /llvm/lib/Transforms | |
| parent | 194b6a3b1b1a99cc3c12c466a04320f271ebd8aa (diff) | |
| download | bcm5719-llvm-3bcaa812042ba8ffb598c96fae99b07528a0caa5.tar.gz bcm5719-llvm-3bcaa812042ba8ffb598c96fae99b07528a0caa5.zip | |
Scalar: Avoid dereferencing end() in InductiveRangeCheckElimination
BasicBlock::Create isn't designed to take iterators (which might be
end()), but pointers (which might be nullptr). Fix the UB that was
converting end() to a BasicBlock* by calling BasicBlock::getNextNode()
in the first place.
llvm-svn: 278883
Diffstat (limited to 'llvm/lib/Transforms')
| -rw-r--r-- | llvm/lib/Transforms/Scalar/InductiveRangeCheckElimination.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/llvm/lib/Transforms/Scalar/InductiveRangeCheckElimination.cpp b/llvm/lib/Transforms/Scalar/InductiveRangeCheckElimination.cpp index 148f348739a..9297eb34a48 100644 --- a/llvm/lib/Transforms/Scalar/InductiveRangeCheckElimination.cpp +++ b/llvm/lib/Transforms/Scalar/InductiveRangeCheckElimination.cpp @@ -1042,11 +1042,11 @@ LoopConstrainer::RewrittenRangeInfo LoopConstrainer::changeIterationSpaceEnd( RewrittenRangeInfo RRI; - auto BBInsertLocation = std::next(Function::iterator(LS.Latch)); + BasicBlock *BBInsertLocation = LS.Latch->getNextNode(); RRI.ExitSelector = BasicBlock::Create(Ctx, Twine(LS.Tag) + ".exit.selector", - &F, &*BBInsertLocation); + &F, BBInsertLocation); RRI.PseudoExit = BasicBlock::Create(Ctx, Twine(LS.Tag) + ".pseudo.exit", &F, - &*BBInsertLocation); + BBInsertLocation); BranchInst *PreheaderJump = cast<BranchInst>(Preheader->getTerminator()); bool Increasing = LS.IndVarIncreasing; |
