X-Git-Url: http://plrg.eecs.uci.edu/git/?p=oota-llvm.git;a=blobdiff_plain;f=lib%2FIR%2FVerifier.cpp;h=a3808e4ff3a8be68b3bec34664895eaeeb7e0efc;hp=44158afeb0707b32006367118bf58dfdc89f56a2;hb=8f3f5c300ec8f29c62d966e5865fd95965f94878;hpb=226889eb73e83dea20c050047bcff71e1552a90f

diff --git a/lib/IR/Verifier.cpp b/lib/IR/Verifier.cpp
index 44158afeb07..a3808e4ff3a 100644
--- a/lib/IR/Verifier.cpp
+++ b/lib/IR/Verifier.cpp
@@ -3681,6 +3681,11 @@ void Verifier::visitIntrinsicCallSite(Intrinsic::ID ID, CallSite CS) {
            "gc.relocate: relocating a pointer shouldn't change its address space", CS);
     break;
   }
+  case Intrinsic::eh_exceptionpointer: {
+    Assert(isa<CatchPadInst>(CS.getArgOperand(0)),
+           "eh.exceptionpointer argument must be a catchpad", CS);
+    break;
+  }
   };
 }