The last verification check for the new EH model.

This makes sure that the unwind destination of an invoke is a landing pad.

llvm-svn: 140280
This commit is contained in:
Bill Wendling 2011-09-21 22:57:02 +00:00
parent e106715386
commit 97f5bfd1a3

View File

@ -1167,6 +1167,12 @@ void Verifier::visitCallInst(CallInst &CI) {
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);
}