Possible fix for bug594
authorMorgan Deters <mdeters@cs.nyu.edu>
Tue, 11 Nov 2014 21:21:37 +0000 (16:21 -0500)
committerMorgan Deters <mdeters@cs.nyu.edu>
Thu, 13 Nov 2014 04:26:53 +0000 (23:26 -0500)
src/context/cdhashmap.h

index 1c9af0b87c932c46174ef9fa4e5a8934c291926b..324a5a2b437ed8c7a87d5d3cefdb58f9272d1cdb 100644 (file)
@@ -168,7 +168,9 @@ class CDOhash_map : public ContextObj {
   /** ensure copy ctor is only called by us */
   CDOhash_map(const CDOhash_map& other) :
     ContextObj(other),
-    d_key(other.d_key),
+    // don't need to save the key---and if we do we can get
+    // refcounts for Node keys messed up and leak memory
+    d_key(),
     d_data(other.d_data),
     d_map(other.d_map),
     d_prev(NULL),