From cc5ea0ed533e081ecccca57cf1c4efb63296f995 Mon Sep 17 00:00:00 2001 From: Andrew Reynolds Date: Mon, 5 Nov 2018 16:16:31 -0600 Subject: [PATCH] Fix coverity warnings in sygus enumerator (#2687) --- src/theory/quantifiers/sygus/sygus_enumerator.cpp | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) 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) { } -- 2.30.2