public:
- // FIXME: Maybe make these accesible only within the StmtBuilder?
-
- const ValueState* SetRVal(const ValueState* St, Expr* Ex, RVal V);
+ const ValueState* SetRVal(const ValueState* St, Expr* Ex, RVal V) {
+ return StateMgr.SetRVal(St, Ex, V);
+ }
const ValueState* SetRVal(const ValueState* St, const Expr* Ex, RVal V) {
return SetRVal(St, const_cast<Expr*>(Ex), V);
}
return StateMgr.getPersistentState(StateImpl);
-}
-
-const ValueState* GRExprEngine::SetRVal(const ValueState* St, Expr* Ex,
- RVal V) {
-
- bool isBlkExpr = false;
-
- if (Ex == CurrentStmt) {
- isBlkExpr = getCFG().isBlkExpr(Ex);
-
- if (!isBlkExpr)
- return St;
- }
-
- return StateMgr.SetRVal(St, Ex, V, isBlkExpr, true);
}
//===----------------------------------------------------------------------===//