- Revert r59229 and r59232: AllocRegion should be immutable.

- Temporarily disabled test Analysis/array-struct.c for region store.


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

1 files changed, 0 insertions, 20 deletions

diff --git a/lib/Analysis/GRExprEngine.cpp b/lib/Analysis/GRExprEngine.cpp
index 76e356be4d..38eeaddcb8 100644
--- a/lib/Analysis/GRExprEngine.cpp
+++ b/lib/Analysis/GRExprEngine.cpp
@@ -1681,26 +1681,6 @@ void GRExprEngine::VisitCast(Expr* CastE, Expr* Ex, NodeTy* Pred, NodeSet& Dst){
       continue;
     }
 
-    // Cast alloca'ed pointer to typed pointer.
-    if (isa<loc::MemRegionVal>(V)) {
-      if (const AllocaRegion* AR = 
-          dyn_cast<AllocaRegion>(cast<loc::MemRegionVal>(V).getRegion())) {
-
-        // Set the AllocaRegion's type.
-        const_cast<AllocaRegion*>(AR)->setType(T);
-
-        // Set the CastExpr's value to a pointer to the first element.
-        MemRegionManager& RM = getStateManager().getRegionManager();
-
-        llvm::APSInt Zero(llvm::APInt::getNullValue(32), false);
-        SVal ZeroIdx(nonloc::ConcreteInt(getBasicVals().getValue(Zero)));
-        const ElementRegion* ER = RM.getElementRegion(ZeroIdx, AR);
-
-        MakeNode(Dst, CastE, N, BindExpr(St, CastE, loc::MemRegionVal(ER)));
-        continue;
-      }
-    }
-
     // All other cases.
     MakeNode(Dst, CastE, N, BindExpr(St, CastE, EvalCast(V, CastE->getType())));
   }