Fix coverity warnings in sygus enumerator (#2687)

diff --git a/src/theory/quantifiers/sygus/sygus_enumerator.cpp b/src/theory/quantifiers/sygus/sygus_enumerator.cpp
index aab580650b93ff07eccb6b193a20383c8c29b83f..c3dd56127b4bd251e4549ef9e3761bdd160ca8c8 100644 (file)
--- a/src/theory/quantifiers/sygus/sygus_enumerator.cpp
+++ b/src/theory/quantifiers/sygus/sygus_enumerator.cpp
@@ -69,6 +69,7 @@ Node SygusEnumerator::getCurrent()
 SygusEnumerator::TermCache::TermCache()
     : d_tds(nullptr),
       d_pbe(nullptr),
+      d_isSygusType(false),
       d_numConClasses(0),
       d_sizeEnum(0),
       d_isComplete(false)
@@ -297,7 +298,12 @@ void SygusEnumerator::TermCache::setComplete() { d_isComplete = true; }
 unsigned SygusEnumerator::TermEnum::getCurrentSize() { return d_currSize; }
 SygusEnumerator::TermEnum::TermEnum() : d_se(nullptr), d_currSize(0) {}
 SygusEnumerator::TermEnumSlave::TermEnumSlave()
-    : TermEnum(), d_sizeLim(0), d_index(0), d_indexNextEnd(0), d_master(nullptr)
+    : TermEnum(),
+      d_sizeLim(0),
+      d_index(0),
+      d_indexNextEnd(0),
+      d_hasIndexNextEnd(false),
+      d_master(nullptr)
 {
 }