From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Mon, 5 Nov 2018 22:16:31 +0000 (-0600)
Subject: Fix coverity warnings in sygus enumerator (#2687)
X-Git-Tag: cvc5-1.0.0~4375
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=cc5ea0ed533e081ecccca57cf1c4efb63296f995;p=cvc5.git

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 aab580650..c3dd56127 100644
--- 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)
 {
 }