diff options
author | Clark Barrett <barrett@cs.nyu.edu> | 2016-02-04 13:57:26 -0800 |
---|---|---|
committer | Clark Barrett <barrett@cs.nyu.edu> | 2016-02-04 13:57:26 -0800 |
commit | c9c8821326904e954a885851ea0e493582561eca (patch) | |
tree | 8dff331268a997350f156f6dcba10daabfd175e7 /src | |
parent | 540d556006c5f5cee4acb47d5067e548a15d8a42 (diff) |
Fixed two more memory leaks in array_info.cpp
Diffstat (limited to 'src')
-rw-r--r-- | src/theory/arrays/array_info.cpp | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/src/theory/arrays/array_info.cpp b/src/theory/arrays/array_info.cpp index acc73163c..55f013f8c 100644 --- a/src/theory/arrays/array_info.cpp +++ b/src/theory/arrays/array_info.cpp @@ -161,11 +161,9 @@ void ArrayInfo::addStore(const Node a, const TNode st){ CNodeInfoMap::iterator it = info_map.find(a); if(it == info_map.end()) { - temp_store = new(true) CTNodeList(ct); - temp_store->push_back(st); - temp_info = new Info(ct, bck); - temp_info->stores = temp_store; + temp_store = temp_info->stores; + temp_store->push_back(st); info_map[a]=temp_info; } else { temp_store = (*it).second->stores; @@ -186,11 +184,9 @@ void ArrayInfo::addInStore(const TNode a, const TNode b){ CNodeInfoMap::iterator it = info_map.find(a); if(it == info_map.end()) { - temp_inst = new(true) CTNodeList(ct); - temp_inst->push_back(b); - temp_info = new Info(ct, bck); - temp_info->in_stores = temp_inst; + temp_inst = temp_info->in_stores; + temp_inst->push_back(b); info_map[a] = temp_info; } else { temp_inst = (*it).second->in_stores; |