This makes sure that the unwind destination of an invoke is a landing pad.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@140280
91177308-0d34-0410-b5e6-
96231b3b80d8
void Verifier::visitInvokeInst(InvokeInst &II) {
VerifyCallSite(&II);
+
+ // Verify that there is a landingpad instruction as the first non-PHI
+ // instruction of the 'unwind' destination.
+ Assert1(II.getUnwindDest()->isLandingPad(),
+ "The unwind destination does not have a landingpad instruction!",&II);
+
visitTerminatorInst(II);
}