diff options
| -rw-r--r-- | include/clang/Analysis/PathSensitive/GRCoreEngine.h | 2 | ||||
| -rw-r--r-- | lib/Analysis/GRCoreEngine.cpp | 3 |
2 files changed, 4 insertions, 1 deletions
diff --git a/include/clang/Analysis/PathSensitive/GRCoreEngine.h b/include/clang/Analysis/PathSensitive/GRCoreEngine.h index 16f79856ba..013a315376 100644 --- a/include/clang/Analysis/PathSensitive/GRCoreEngine.h +++ b/include/clang/Analysis/PathSensitive/GRCoreEngine.h @@ -106,7 +106,7 @@ public: /// steps. Returns true if there is still simulation state on the worklist. bool ExecuteWorkList(unsigned Steps); - virtual ~GRCoreEngineImpl() {} + virtual ~GRCoreEngineImpl(); CFG& getCFG() { return G->getCFG(); } }; diff --git a/lib/Analysis/GRCoreEngine.cpp b/lib/Analysis/GRCoreEngine.cpp index 548c4bf161..1c64c28c37 100644 --- a/lib/Analysis/GRCoreEngine.cpp +++ b/lib/Analysis/GRCoreEngine.cpp @@ -156,6 +156,9 @@ void GRCoreEngineImpl::HandleBlockEntrance(const BlockEntrance& L, HandleBlockExit(L.getBlock(), Pred); } +GRCoreEngineImpl::~GRCoreEngineImpl() { + delete WList; +} void GRCoreEngineImpl::HandleBlockExit(CFGBlock * B, ExplodedNodeImpl* Pred) { |