Verify that the second parameter of the stacprotector intrinsic is an alloca

instruction.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@59563 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Bill Wendling 2008-11-18 23:09:31 +00:00
parent 63a431c670
commit c5b795e8ce

View File

@ -1374,6 +1374,11 @@ void Verifier::visitIntrinsicFunctionCall(Intrinsic::ID ID, CallInst &CI) {
"invalid arguments to llvm.prefetch",
&CI);
break;
case Intrinsic::stackprotector:
Assert1(isa<AllocaInst>(CI.getOperand(2)),
"llvm.stackprotector parameter #2 must resolve to an alloca.",
&CI);
break;
}
}