commit a4b2ee45482be9f497b1de6bc780fed1cde79994
author Rafael Espindola <rafael.espindola@gmail.com> Mon Dec 01 02:55:24 2014 +0000
committer Rafael Espindola <rafael.espindola@gmail.com> Mon Dec 01 02:55:24 2014 +0000
tree 2f829ff9640a9c3d234ab5fa4aa6035db227ab4c
parent 2895527ec2bf7d6861080a9853304b7ea9d566a1

Relax an assert a bit to avoid a crash on unreachable code.

Patch by Duncan Exon Smith with a small tweak by me.

llvm-svn: 222984

llvm/lib/Analysis/MemoryDependenceAnalysis.cpp

diff --git a/llvm/lib/Analysis/MemoryDependenceAnalysis.cpp b/llvm/lib/Analysis/MemoryDependenceAnalysis.cpp
index 187eada..ad72421 100644
--- a/llvm/lib/Analysis/MemoryDependenceAnalysis.cpp
+++ b/llvm/lib/Analysis/MemoryDependenceAnalysis.cpp
@@ -1361,7 +1361,7 @@
       if (I->getBB() != BB)
         continue;
 
-      assert(I->getResult().isNonLocal() &&
+      assert((I->getResult().isNonLocal() || !DT->isReachableFromEntry(BB)) &&
              "Should only be here with transparent block");
       I->setResult(MemDepResult::getUnknown());
       Result.push_back(NonLocalDepResult(I->getBB(), I->getResult(),