[llvm-commits] CVS: llvm/lib/VMCore/Verifier.cpp
Chris Lattner
lattner at cs.uiuc.edu
Mon Jun 7 18:12:10 PDT 2004
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);
}
More information about the llvm-commits
mailing list