[llvm-commits] [llvm] r93756 - /llvm/trunk/lib/VMCore/Verifier.cpp

[Chris Lattner]

Author: lattner
Date: Mon Jan 18 13:50:32 2010
New Revision: 93756

URL: http://llvm.org/viewvc/llvm-project?rev=93756&view=rev
Log:
reject some invalid IR.  We already assert and reject this from the
.ll parser, but PR6070 wants it in the verifier too.

Modified:
    llvm/trunk/lib/VMCore/Verifier.cpp

Modified: llvm/trunk/lib/VMCore/Verifier.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/VMCore/Verifier.cpp?rev=93756&r1=93755&r2=93756&view=diff

==============================================================================
--- llvm/trunk/lib/VMCore/Verifier.cpp (original)
+++ llvm/trunk/lib/VMCore/Verifier.cpp Mon Jan 18 13:50:32 2010
@@ -1301,6 +1301,8 @@
           &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);
 }