projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
5854353
)
Fixing CID 1172020: Initializing CDHashMap::iterator::d_it to nullptr. (#1139)
author
Tim King
<taking@cs.nyu.edu>
Tue, 26 Sep 2017 16:36:52 +0000
(09:36 -0700)
committer
Andres Noetzli
<andres.noetzli@gmail.com>
Tue, 26 Sep 2017 16:36:52 +0000
(09:36 -0700)
src/context/cdhashmap.h
patch
|
blob
|
history
diff --git
a/src/context/cdhashmap.h
b/src/context/cdhashmap.h
index b6024b65dfab02dbe1178c2dd27809ee4a8e8ba5..5b7a4dab166fab6f94664537daaf990019cf7623 100644
(file)
--- a/
src/context/cdhashmap.h
+++ b/
src/context/cdhashmap.h
@@
-406,7
+406,7
@@
public:
iterator(const iterator& i) : d_it(i.d_it) {}
// Default constructor
- iterator() {}
+ iterator()
: d_it(nullptr)
{}
// (Dis)equality
bool operator==(const iterator& i) const {