diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-08-27 22:41:50 -0500 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-08-27 20:41:50 -0700 |
| commit | 3cf5492a8943b71bb4021f1a78cf28cdfafa4289 (patch) | |
| tree | 8beca43fc5c5c085d20afc3c68c8dd829fa1ef57 /src/theory/quantifiers/ematching | |
| parent | 240c3b41f7f1b907e006a12465037278df05ade1 (diff) | |
Address more coverity warnings (#2394)
Diffstat (limited to 'src/theory/quantifiers/ematching')
| -rw-r--r-- | src/theory/quantifiers/ematching/candidate_generator.cpp | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/theory/quantifiers/ematching/candidate_generator.cpp b/src/theory/quantifiers/ematching/candidate_generator.cpp index 6ea6e50b3..3f404c17f 100644 --- a/src/theory/quantifiers/ematching/candidate_generator.cpp +++ b/src/theory/quantifiers/ematching/candidate_generator.cpp @@ -34,7 +34,10 @@ bool CandidateGenerator::isLegalCandidate( Node n ){ } CandidateGeneratorQE::CandidateGeneratorQE(QuantifiersEngine* qe, Node pat) - : CandidateGenerator(qe), d_term_iter(-1), d_term_iter_limit(0) + : CandidateGenerator(qe), + d_term_iter(-1), + d_term_iter_limit(0), + d_mode(cand_term_none) { d_op = qe->getTermDatabase()->getMatchOperator( pat ); Assert( !d_op.isNull() ); |