diff --git a/lib/VMCore/Verifier.cpp b/lib/VMCore/Verifier.cpp
index 25a86e9ecdd..e2d6b63b690 100644
--- a/lib/VMCore/Verifier.cpp
+++ b/lib/VMCore/Verifier.cpp
@@ -216,6 +216,7 @@ namespace {  // Anonymous namespace for class
       WriteValue(V1);
       WriteType(T2);
       WriteValue(V3);
+      Broken = true;
     }
   };