maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

Lift the pointer to alloca'ed region to the pointer to its first element. 

This is required by some operations, e.g., *p = 1; p[0] = 1;.
Also set the AllocaRegion's type during the cast.

llvm-svn: 59232
This commit is contained in:
Zhongxing Xu 2008-11-13 07:58:20 +00:00
parent 4af89f7e7d
commit 0dbeeaa886
1 changed files with 21 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
clang/lib/Analysis/GRExprEngine.cpp
View File

@ -1277,7 +1277,7 @@ void GRExprEngine::VisitCallRec(CallExpr* CE, NodeTy* Pred,
// FIXME: Refactor into StoreManager itself?
MemRegionManager& RM = getStateManager().getRegionManager();
const MemRegion* R =
RM.getAllocaRegion(CE, Builder->getCurrentBlockCount());
RM.getAllocaRegion(CE, Builder->getCurrentBlockCount());
MakeNode(Dst, CE, *DI, BindExpr(St, CE, loc::MemRegionVal(R)));
continue;
}
@ -1681,6 +1681,26 @@ 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())));
}