diff options
Diffstat (limited to 'llvm/lib/IR/Verifier.cpp')
-rw-r--r-- | llvm/lib/IR/Verifier.cpp | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/llvm/lib/IR/Verifier.cpp b/llvm/lib/IR/Verifier.cpp index fcf48c452e2..248d1279eaf 100644 --- a/llvm/lib/IR/Verifier.cpp +++ b/llvm/lib/IR/Verifier.cpp @@ -2909,6 +2909,13 @@ void Verifier::visitIntrinsicFunctionCall(Intrinsic::ID ID, CallInst &CI) { break; } + case Intrinsic::eh_parentframe: { + auto *AI = dyn_cast<AllocaInst>(CI.getArgOperand(0)->stripPointerCasts()); + Assert(AI && AI->isStaticAlloca(), + "llvm.eh.parentframe requires a static alloca", &CI); + break; + } + case Intrinsic::eh_unwindhelp: { auto *AI = dyn_cast<AllocaInst>(CI.getArgOperand(0)->stripPointerCasts()); Assert(AI && AI->isStaticAlloca(), |