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 /include/clang/Analysis/PathSensitive/ConstraintManager.h | |
| 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 'include/clang/Analysis/PathSensitive/ConstraintManager.h')
| -rw-r--r-- | include/clang/Analysis/PathSensitive/ConstraintManager.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/include/clang/Analysis/PathSensitive/ConstraintManager.h b/include/clang/Analysis/PathSensitive/ConstraintManager.h index 0d8b56a9d7..39e5918c19 100644 --- a/include/clang/Analysis/PathSensitive/ConstraintManager.h +++ b/include/clang/Analysis/PathSensitive/ConstraintManager.h @@ -9,6 +9,7 @@ class RVal; class ConstraintManager { public: + virtual ~ConstraintManager(); virtual const GRState* Assume(const GRState* St, RVal Cond, bool Assumption, bool& isFeasible) = 0; }; |