Remove GRStateManager::BindDecl() and GRStateManager::BindDeclWithInit().
llvm-svn: 73995
This commit is contained in:
parent
de4e98afda
commit
59ee3f5079
|
@ -218,6 +218,10 @@ public:
|
|||
return bindExpr(Ex, V, true, false);
|
||||
}
|
||||
|
||||
const GRState *bindDecl(const VarDecl* VD, SVal IVal) const;
|
||||
|
||||
const GRState *bindDeclWithNoInit(const VarDecl* VD) const;
|
||||
|
||||
const GRState *bindLoc(Loc location, SVal V) const;
|
||||
|
||||
const GRState *bindLoc(SVal location, SVal V) const;
|
||||
|
@ -498,16 +502,6 @@ public:
|
|||
StoreManager& getStoreManager() { return *StoreMgr; }
|
||||
ConstraintManager& getConstraintManager() { return *ConstraintMgr; }
|
||||
|
||||
const GRState* BindDecl(const GRState* St, const VarDecl* VD, SVal IVal) {
|
||||
// Store manager should return a persistent state.
|
||||
return StoreMgr->BindDecl(St, VD, IVal);
|
||||
}
|
||||
|
||||
const GRState* BindDeclWithNoInit(const GRState* St, const VarDecl* VD) {
|
||||
// Store manager should return a persistent state.
|
||||
return StoreMgr->BindDeclWithNoInit(St, VD);
|
||||
}
|
||||
|
||||
const GRState* RemoveDeadBindings(const GRState* St, Stmt* Loc,
|
||||
SymbolReaper& SymReaper);
|
||||
|
||||
|
@ -709,6 +703,14 @@ inline const GRState *GRState::bindCompoundLiteral(const CompoundLiteralExpr* CL
|
|||
return Mgr->StoreMgr->BindCompoundLiteral(this, CL, V);
|
||||
}
|
||||
|
||||
inline const GRState *GRState::bindDecl(const VarDecl* VD, SVal IVal) const {
|
||||
return Mgr->StoreMgr->BindDecl(this, VD, IVal);
|
||||
}
|
||||
|
||||
inline const GRState *GRState::bindDeclWithNoInit(const VarDecl* VD) const {
|
||||
return Mgr->StoreMgr->BindDeclWithNoInit(this, VD);
|
||||
}
|
||||
|
||||
inline const GRState *GRState::bindExpr(const Stmt* Ex, SVal V, bool isBlkExpr,
|
||||
bool Invalidate) const {
|
||||
return Mgr->BindExpr(this, Ex, V, isBlkExpr, Invalidate);
|
||||
|
|
|
@ -2247,7 +2247,7 @@ void GRExprEngine::VisitDeclStmt(DeclStmt* DS, NodeTy* Pred, NodeSet& Dst) {
|
|||
InitVal = ValMgr.getConjuredSymbolVal(InitEx, Count);
|
||||
}
|
||||
|
||||
state = StateMgr.BindDecl(state, VD, InitVal);
|
||||
state = state->bindDecl(VD, InitVal);
|
||||
|
||||
// The next thing to do is check if the GRTransferFuncs object wants to
|
||||
// update the state based on the new binding. If the GRTransferFunc
|
||||
|
@ -2257,7 +2257,7 @@ void GRExprEngine::VisitDeclStmt(DeclStmt* DS, NodeTy* Pred, NodeSet& Dst) {
|
|||
InitVal);
|
||||
}
|
||||
else {
|
||||
state = StateMgr.BindDeclWithNoInit(state, VD);
|
||||
state = state->bindDeclWithNoInit(VD);
|
||||
MakeNode(Dst, DS, *I, state);
|
||||
}
|
||||
}
|
||||
|
|
Loading…
Reference in New Issue