From: Dan Gohman <gohman@apple.com>
Date: Sat, 9 May 2009 00:14:52 +0000 (+0000)
Subject: Don't attempt to handle unsized types in ScalarEvolution's GEP analyzer.
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=c63a62735ba8b2e9011d48afde52e4c67df6f902;p=oota-llvm.git

Don't attempt to handle unsized types in ScalarEvolution's GEP analyzer.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@71302 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/lib/Analysis/ScalarEvolution.cpp b/lib/Analysis/ScalarEvolution.cpp
index c53d1f5aaea..3f2656240e4 100644
--- a/lib/Analysis/ScalarEvolution.cpp
+++ b/lib/Analysis/ScalarEvolution.cpp
@@ -1935,6 +1935,9 @@ SCEVHandle ScalarEvolution::createNodeForGEP(User *GEP) {
 
   const Type *IntPtrTy = TD->getIntPtrType();
   Value *Base = GEP->getOperand(0);
+  // Don't attempt to analyze GEPs over unsized objects.
+  if (!cast<PointerType>(Base->getType())->getElementType()->isSized())
+    return getUnknown(GEP);
   SCEVHandle TotalOffset = getIntegerSCEV(0, IntPtrTy);
   gep_type_iterator GTI = gep_type_begin(GEP);
   for (GetElementPtrInst::op_iterator I = next(GEP->op_begin()),