have the verifier catch gep's into opaque struct types. PR10473

llvm-svn: 136510
2011-07-29 20:32:28 +00:00 · 2011-07-29 20:32:28 +00:00 · 34a7db7ae8
parent 51726e2147
commit 34a7db7ae8
1 changed files with 4 additions and 0 deletions
--- a/llvm/lib/VMCore/Verifier.cpp
+++ b/llvm/lib/VMCore/Verifier.cpp
@ -1288,6 +1288,10 @@ void Verifier::visitShuffleVectorInst(ShuffleVectorInst &SV) {
 }

 void Verifier::visitGetElementPtrInst(GetElementPtrInst &GEP) {
+  Assert1(cast<PointerType>(GEP.getOperand(0)->getType())
+            ->getElementType()->isSized(),
+          "GEP into unsized type!", &GEP);
+  
  SmallVector<Value*, 16> Idxs(GEP.idx_begin(), GEP.idx_end());
  Type *ElTy =
    GetElementPtrInst::getIndexedType(GEP.getOperand(0)->getType(), Idxs);