diff options
author | Ted Kremenek <kremenek@apple.com> | 2009-11-14 01:05:20 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2009-11-14 01:05:20 +0000 |
commit | 1a0dd2e30bac6a2c29eb0961fc0543bf76f05f72 (patch) | |
tree | d4d6a3776ced0093431b101d53b801ddc769a918 /clang | |
parent | 24b027401e6cf3dc89ced0f2124e0231857abed0 (diff) | |
download | bcm5719-llvm-1a0dd2e30bac6a2c29eb0961fc0543bf76f05f72.tar.gz bcm5719-llvm-1a0dd2e30bac6a2c29eb0961fc0543bf76f05f72.zip |
Move definition of GRExprEngine::ProcessEndPath() out-of-line.
llvm-svn: 88729
Diffstat (limited to 'clang')
-rw-r--r-- | clang/include/clang/Analysis/PathSensitive/GRExprEngine.h | 5 | ||||
-rw-r--r-- | clang/lib/Analysis/GRExprEngine.cpp | 7 |
2 files changed, 8 insertions, 4 deletions
diff --git a/clang/include/clang/Analysis/PathSensitive/GRExprEngine.h b/clang/include/clang/Analysis/PathSensitive/GRExprEngine.h index b0612a792a8..05920da924b 100644 --- a/clang/include/clang/Analysis/PathSensitive/GRExprEngine.h +++ b/clang/include/clang/Analysis/PathSensitive/GRExprEngine.h @@ -274,10 +274,7 @@ public: /// ProcessEndPath - Called by GRCoreEngine. Used to generate end-of-path /// nodes when the control reaches the end of a function. - void ProcessEndPath(GREndPathNodeBuilder& builder) { - getTF().EvalEndPath(*this, builder); - StateMgr.EndPath(builder.getState()); - } + void ProcessEndPath(GREndPathNodeBuilder& builder); GRStateManager& getStateManager() { return StateMgr; } const GRStateManager& getStateManager() const { return StateMgr; } diff --git a/clang/lib/Analysis/GRExprEngine.cpp b/clang/lib/Analysis/GRExprEngine.cpp index 80de1c7a372..7907f63b414 100644 --- a/clang/lib/Analysis/GRExprEngine.cpp +++ b/clang/lib/Analysis/GRExprEngine.cpp @@ -896,6 +896,13 @@ void GRExprEngine::VisitGuardedExpr(Expr* Ex, Expr* L, Expr* R, MakeNode(Dst, Ex, Pred, state->BindExpr(Ex, X, true)); } +/// ProcessEndPath - Called by GRCoreEngine. Used to generate end-of-path +/// nodes when the control reaches the end of a function. +void GRExprEngine::ProcessEndPath(GREndPathNodeBuilder& builder) { + getTF().EvalEndPath(*this, builder); + StateMgr.EndPath(builder.getState()); +} + /// ProcessSwitch - Called by GRCoreEngine. Used to generate successor /// nodes by processing the 'effects' of a switch statement. void GRExprEngine::ProcessSwitch(GRSwitchNodeBuilder& builder) { |