From: Tim King <taking@cs.nyu.edu>
Date: Tue, 26 Sep 2017 16:36:52 +0000 (-0700)
Subject: Fixing CID 1172020: Initializing CDHashMap::iterator::d_it to nullptr. (#1139)
X-Git-Tag: cvc5-1.0.0~5612
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4a86f50e8220fabfe0458903ca6608cb99396114;p=cvc5.git

Fixing CID 1172020: Initializing CDHashMap::iterator::d_it to nullptr. (#1139)
---

diff --git a/src/context/cdhashmap.h b/src/context/cdhashmap.h
index b6024b65d..5b7a4dab1 100644
--- 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 {