aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/GRExprEngine.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'lib/Analysis/GRExprEngine.cpp')
-rw-r--r--lib/Analysis/GRExprEngine.cpp20
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())));
}