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

Update signature of EvalAssume. 

llvm-svn: 53745
This commit is contained in:
Ted Kremenek 2008-07-17 23:33:10 +00:00
parent 2fe3afca04
commit e330aacbed
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
clang/lib/Analysis/CFRefCount.cpp
View File

@ -1323,7 +1323,7 @@ public:
// Assumptions.
virtual const ValueState* EvalAssume(GRExprEngine& Engine,
virtual const ValueState* EvalAssume(ValueStateManager& VMgr,
const ValueState* St, RVal Cond,
bool Assumption, bool& isFeasible);
@ -1907,7 +1907,7 @@ void CFRefCount::EvalReturn(ExplodedNodeSet<ValueState>& Dst,
// Assumptions.
const ValueState* CFRefCount::EvalAssume(GRExprEngine& Eng,
const ValueState* CFRefCount::EvalAssume(ValueStateManager& VMgr,
const ValueState* St,
RVal Cond, bool Assumption,
bool& isFeasible) {
@ -1942,7 +1942,7 @@ const ValueState* CFRefCount::EvalAssume(GRExprEngine& Eng,
ValueState StImpl = *St;
StImpl.CheckerState = B.getRoot();
return Eng.getStateManager().getPersistentState(StImpl);
return VMgr.getPersistentState(StImpl);
}
CFRefCount::RefBindings CFRefCount::Update(RefBindings B, SymbolID sym,