diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-11-05 16:16:31 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-11-05 16:16:31 -0600 |
commit | cc5ea0ed533e081ecccca57cf1c4efb63296f995 (patch) | |
tree | 4fdcdd2f7075a4d066a3f590301243f025ae4547 /src/theory/quantifiers | |
parent | 0c1f01ec53885dc9c1fb600da0481ba7e1393df5 (diff) |
Fix coverity warnings in sygus enumerator (#2687)
Diffstat (limited to 'src/theory/quantifiers')
-rw-r--r-- | src/theory/quantifiers/sygus/sygus_enumerator.cpp | 8 |
1 files changed, 7 insertions, 1 deletions
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) { } |