Fixing CID 1172020: Initializing CDHashMap::iterator::d_it to nullptr. (#1139)
authorTim King <taking@cs.nyu.edu>
Tue, 26 Sep 2017 16:36:52 +0000 (09:36 -0700)
committerAndres Noetzli <andres.noetzli@gmail.com>
Tue, 26 Sep 2017 16:36:52 +0000 (09:36 -0700)
src/context/cdhashmap.h

index b6024b65dfab02dbe1178c2dd27809ee4a8e8ba5..5b7a4dab166fab6f94664537daaf990019cf7623 100644 (file)
@@ -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 {