diff options
Diffstat (limited to 'include/clang/Analysis/PathSensitive/GRTransferFuncs.h')
| -rw-r--r-- | include/clang/Analysis/PathSensitive/GRTransferFuncs.h | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/include/clang/Analysis/PathSensitive/GRTransferFuncs.h b/include/clang/Analysis/PathSensitive/GRTransferFuncs.h index 6bfc918e3a..d49144f355 100644 --- a/include/clang/Analysis/PathSensitive/GRTransferFuncs.h +++ b/include/clang/Analysis/PathSensitive/GRTransferFuncs.h @@ -64,13 +64,13 @@ public: GRExprEngine& Engine, GRStmtNodeBuilder<ValueState>& Builder, CallExpr* CE, LVal L, - ExplodedNode<ValueState>* Pred) = 0; + ExplodedNode<ValueState>* Pred) {} virtual void EvalObjCMessageExpr(ExplodedNodeSet<ValueState>& Dst, GRExprEngine& Engine, GRStmtNodeBuilder<ValueState>& Builder, ObjCMessageExpr* ME, - ExplodedNode<ValueState>* Pred) = 0; + ExplodedNode<ValueState>* Pred) {} // Stores. @@ -88,6 +88,14 @@ public: virtual void EvalEndPath(GRExprEngine& Engine, GREndPathNodeBuilder<ValueState>& Builder) {} + + // Return statements. + + virtual void EvalReturn(ExplodedNodeSet<ValueState>& Dst, + GRExprEngine& Engine, + GRStmtNodeBuilder<ValueState>& Builder, + ReturnStmt* S, + ExplodedNode<ValueState>* Pred) {} }; } // end clang namespace |