Enable the GRStateManager to do something when we finish a path. For example,

the ConstraintManager can print its internal state before its solver instance is
destroyed.


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@60204 91177308-0d34-0410-b5e6-96231b3b80d8

1 files changed, 2 insertions, 0 deletions

diff --git a/include/clang/Analysis/PathSensitive/ConstraintManager.h b/include/clang/Analysis/PathSensitive/ConstraintManager.h
index 3f2e60d3ef..54cdecbf21 100644
--- a/include/clang/Analysis/PathSensitive/ConstraintManager.h
+++ b/include/clang/Analysis/PathSensitive/ConstraintManager.h
@@ -51,6 +51,8 @@ public:
 
   virtual void print(const GRState* St, std::ostream& Out, 
                      const char* nl, const char *sep) = 0;
+
+  virtual void EndPath(const GRState* St) {}
 };
 
 ConstraintManager* CreateBasicConstraintManager(GRStateManager& statemgr);