diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-11-11 16:21:37 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-11-12 23:26:53 -0500 |
commit | fc0e2abf6318888541aa3350a0967fabf8c0e504 (patch) | |
tree | d3626d3ce00bdbf8f3e08b37300dc0e68d46583e /src/context | |
parent | 270a5577f9a34c92ee991bff1d047d78a8f6d5ab (diff) |
Possible fix for bug594
Diffstat (limited to 'src/context')
-rw-r--r-- | src/context/cdhashmap.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/context/cdhashmap.h b/src/context/cdhashmap.h index 1c9af0b87..324a5a2b4 100644 --- a/src/context/cdhashmap.h +++ b/src/context/cdhashmap.h @@ -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), |