Magic-Mirror/llvm-capstone
1
0
Fork 0
mirror of https://github.com/capstone-engine/llvm-capstone.git synced 2024-12-13 19:24:21 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

In GRSimpleVals, added the generation of symbolic values for the return values

Browse Source 
of function calls. This is useful in pruning paths.

llvm-svn: 48299
This commit is contained in:
Ted Kremenek 2008-03-12 21:04:07 +00:00
parent 34ae72c435
commit 86f1d0cd80
1 changed files with 17 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
clang/Analysis/GRSimpleVals.cpp
View File

@ -414,18 +414,32 @@ void GRSimpleVals::EvalCall(ExplodedNodeSet<ValueState>& Dst,
CallExpr* CE, LVal L,
ExplodedNode<ValueState>* Pred) {
ValueState* St = Pred->getState();
ValueStateManager& StateMgr = Eng.getStateManager();
ValueState* St = Builder.GetState(Pred);
// Invalidate all arguments passed in by reference (LVals).
for (CallExpr::arg_iterator I = CE->arg_begin(), E = CE->arg_end();
I != E; ++I) {
RVal V = Eng.getStateManager().GetRVal(St, *I);
RVal V = StateMgr.GetRVal(St, *I);
if (isa<LVal>(V))
St = Eng.getStateManager().SetRVal(St, cast<LVal>(V), UnknownVal());
St = StateMgr.SetRVal(St, cast<LVal>(V), UnknownVal());
}
// Make up a symbol for the return value of this function.
if (CE->getType() != Eng.getContext().VoidTy) {
unsigned Count = Builder.getCurrentBlockCount();
SymbolID Sym = Eng.getSymbolManager().getCallRetValSymbol(CE, Count);
RVal X = CE->getType()->isPointerType()
? cast<RVal>(lval::SymbolVal(Sym))
: cast<RVal>(nonlval::SymbolVal(Sym));
St = StateMgr.SetRVal(St, CE, X, Eng.getCFG().isBlkExpr(CE), false);
}
Builder.Nodify(Dst, CE, Pred, St);
}