diff --git a/lib/VMCore/Verifier.cpp b/lib/VMCore/Verifier.cpp
index 5983204aa05..b26248b897d 100644
--- a/lib/VMCore/Verifier.cpp
+++ b/lib/VMCore/Verifier.cpp
@@ -921,7 +921,8 @@ void Verifier::visitInstruction(Instruction &I) {
             // If it is used by something non-phi, then the other case is that
             // 'OpBlock' dominates all of its predecessors other than the
             // invoke.  In this case, the invoke value can still be used.
-            if (!Bad) {
+            if (Bad) {
+              Bad = false;
               for (pred_iterator PI = pred_begin(OpBlock),
                    E = pred_end(OpBlock); PI != E; ++PI) {
                 if (*PI != II->getParent() && !EF->dominates(OpBlock, *PI)) {