diff --git a/lib/VMCore/Verifier.cpp b/lib/VMCore/Verifier.cpp
index 8563216c506..5983204aa05 100644
--- a/lib/VMCore/Verifier.cpp
+++ b/lib/VMCore/Verifier.cpp
@@ -922,7 +922,6 @@ void Verifier::visitInstruction(Instruction &I) {
             // 'OpBlock' dominates all of its predecessors other than the
             // invoke.  In this case, the invoke value can still be used.
             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)) {