From: Haniel Barbosa <hanielbbarbosa@gmail.com>
Date: Mon, 1 Oct 2018 21:37:31 +0000 (-0500)
Subject: init scalar class members (coverity issues 1473720 and 1473721) (#2554)
X-Git-Tag: cvc5-1.0.0~4479
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6b718154dfbf5e9f8506d6911201bb7398ba8b48;p=cvc5.git

init scalar class members (coverity issues 1473720 and 1473721) (#2554)
---

diff --git a/src/theory/quantifiers/sygus/enum_stream_substitution.cpp b/src/theory/quantifiers/sygus/enum_stream_substitution.cpp
index 3a879640f..b307876ed 100644
--- a/src/theory/quantifiers/sygus/enum_stream_substitution.cpp
+++ b/src/theory/quantifiers/sygus/enum_stream_substitution.cpp
@@ -29,7 +29,7 @@ namespace theory {
 namespace quantifiers {
 
 EnumStreamPermutation::EnumStreamPermutation(quantifiers::TermDbSygus* tds)
-    : d_tds(tds)
+    : d_tds(tds), d_first(true), d_curr_ind(0)
 {
 }
 
@@ -323,7 +323,7 @@ bool EnumStreamPermutation::PermutationState::getNextPermutation()
 }
 
 EnumStreamSubstitution::EnumStreamSubstitution(quantifiers::TermDbSygus* tds)
-    : d_tds(tds), d_stream_permutations(tds)
+    : d_tds(tds), d_stream_permutations(tds), d_curr_ind(0)
 {
 }