reject some invalid IR. We already assert and reject this from the

.ll parser, but PR6070 wants it in the verifier too.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@93756 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chris Lattner 2010-01-18 19:50:32 +00:00
parent 097ea8315f
commit b905b09f21

View File

@ -1301,6 +1301,8 @@ void Verifier::visitAllocaInst(AllocaInst &AI) {
&AI);
Assert1(PTy->getElementType()->isSized(), "Cannot allocate unsized type",
&AI);
Assert1(AI.getArraySize()->getType()->isInteger(32),
"Alloca array size must be i32", &AI);
visitInstruction(AI);
}