From: Clark Barrett <barrett@cs.nyu.edu>
Date: Thu, 4 Feb 2016 21:57:26 +0000 (-0800)
Subject: Fixed two more memory leaks in array_info.cpp
X-Git-Tag: cvc5-1.0.0~6087
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c9c8821326904e954a885851ea0e493582561eca;p=cvc5.git

Fixed two more memory leaks in array_info.cpp
---

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;