[llvm-commits] CVS: llvm/lib/VMCore/Verifier.cpp

[Chris Lattner]

Changes in directory llvm/lib/VMCore:

Verifier.cpp updated: 1.105 -> 1.106

---
Log message:

Fix PR361: http://llvm.cs.uiuc.edu/PR361 .
Dominance properties don't hold in unreachable code


---
Diffs of the changes:  (+2 -1)

Index: llvm/lib/VMCore/Verifier.cpp
diff -u llvm/lib/VMCore/Verifier.cpp:1.105 llvm/lib/VMCore/Verifier.cpp:1.106
--- llvm/lib/VMCore/Verifier.cpp:1.105	Sat Jun  5 12:44:48 2004
+++ llvm/lib/VMCore/Verifier.cpp	Mon Jun  7 18:07:33 2004
@@ -592,7 +592,8 @@
         else if (OpBlock == BB) {
           // If they are in the same basic block, make sure that the definition
           // comes before the use.
-          Assert2(DS->dominates(Op, &I),
+          Assert2(DS->dominates(Op, &I) ||
+                  !DS->dominates(&BB->getParent()->getEntryBlock(), BB),
                   "Instruction does not dominate all uses!", Op, &I);
         }