diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2008-11-28 03:07:05 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2008-11-28 03:07:05 +0000 |
| commit | e73dc26690776887bd2991461f6814498600d6eb (patch) | |
| tree | 10daded4ec2a58e4fb13f267383567e10edba797 /lib/Analysis/GRExprEngine.cpp | |
| parent | a7fb9f8c802b67b8a4a95355b19eaf408c622e95 (diff) | |
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
Diffstat (limited to 'lib/Analysis/GRExprEngine.cpp')
0 files changed, 0 insertions, 0 deletions