diff options
Diffstat (limited to 'Analysis/GRSimpleVals.h')
| -rw-r--r-- | Analysis/GRSimpleVals.h | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/Analysis/GRSimpleVals.h b/Analysis/GRSimpleVals.h index 43fed85fdd..c947afdb57 100644 --- a/Analysis/GRSimpleVals.h +++ b/Analysis/GRSimpleVals.h @@ -52,10 +52,12 @@ public: // Calls. - virtual ValueState* EvalCall(ValueStateManager& StateMgr, - ValueManager& ValMgr, - CallExpr* CE, LVal L, - ValueState* St); + virtual void EvalCall(ExplodedNodeSet<ValueState>& Dst, + ValueStateManager& StateMgr, + GRStmtNodeBuilder<ValueState>& Builder, + ValueManager& ValMgr, + CallExpr* CE, LVal L, + ExplodedNode<ValueState>* Pred); protected: |