diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-08-27 23:13:01 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-08-27 23:13:01 +0000 |
| commit | 05125f180d8f0967d8bcb7e9d578e36eb6905b92 (patch) | |
| tree | 600823dda29a0eed0fc58052e3345b40f9aed49f /lib/Analysis/GRState.cpp | |
| parent | abebf0f7c4552c2c16d1efff5c3a4ecc5cce59d1 (diff) | |
Make the destructor of ConstraintManager virtual.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@55448 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/GRState.cpp')
| -rw-r--r-- | lib/Analysis/GRState.cpp | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/lib/Analysis/GRState.cpp b/lib/Analysis/GRState.cpp index 4ad0a449bb..8ea1191b7e 100644 --- a/lib/Analysis/GRState.cpp +++ b/lib/Analysis/GRState.cpp @@ -13,11 +13,15 @@ #include "clang/Analysis/PathSensitive/GRStateTrait.h" #include "clang/Analysis/PathSensitive/GRState.h" -#include "llvm/ADT/SmallSet.h" #include "clang/Analysis/PathSensitive/GRTransferFuncs.h" +#include "llvm/ADT/SmallSet.h" #include "llvm/Support/raw_ostream.h" + using namespace clang; +// Give the vtable for ConstraintManager somewhere to live. +ConstraintManager::~ConstraintManager() {} + GRStateManager::~GRStateManager() { for (std::vector<GRState::Printer*>::iterator I=Printers.begin(), E=Printers.end(); I!=E; ++I) |