Fix the objc_storeStrong recognizer to stop before walking off the
end of a basic block if there's no store.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@156520 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/lib/Transforms/Scalar/ObjCARC.cpp b/lib/Transforms/Scalar/ObjCARC.cpp
index 5d6e1a7..ce4a195 100644
--- a/lib/Transforms/Scalar/ObjCARC.cpp
+++ b/lib/Transforms/Scalar/ObjCARC.cpp
@@ -3902,12 +3902,15 @@
if (Load->getParent() != BB) return;
// Walk down to find the store and the release, which may be in either order.
- BasicBlock::iterator I = Load;
+ BasicBlock::iterator I = Load, End = BB->end();
++I;
AliasAnalysis::Location Loc = AA->getLocation(Load);
StoreInst *Store = 0;
bool SawRelease = false;
for (; !Store || !SawRelease; ++I) {
+ if (I == End)
+ return;
+
Instruction *Inst = I;
if (Inst == Release) {
SawRelease = true;