projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
270a557
)
Possible fix for bug594
author
Morgan Deters
<mdeters@cs.nyu.edu>
Tue, 11 Nov 2014 21:21:37 +0000
(16:21 -0500)
committer
Morgan Deters
<mdeters@cs.nyu.edu>
Thu, 13 Nov 2014 04:26:53 +0000
(23:26 -0500)
src/context/cdhashmap.h
patch
|
blob
|
history
diff --git
a/src/context/cdhashmap.h
b/src/context/cdhashmap.h
index 1c9af0b87c932c46174ef9fa4e5a8934c291926b..324a5a2b437ed8c7a87d5d3cefdb58f9272d1cdb 100644
(file)
--- 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),