diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-08-24 18:49:22 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-08-24 18:49:22 -0500 |
| commit | 1802e870876d0595d8f6e1f8f283cc6d1f03f13d (patch) | |
| tree | bcd98e19562f530877f7e178f5f8b0a615f3dbf8 /src/theory/quantifiers/ematching | |
| parent | b15739e75b2b6b7c0cc2ac31c92ece3e6aae71be (diff) | |
Fix more simple coverity warnings (#2372)
Diffstat (limited to 'src/theory/quantifiers/ematching')
| -rw-r--r-- | src/theory/quantifiers/ematching/candidate_generator.cpp | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/theory/quantifiers/ematching/candidate_generator.cpp b/src/theory/quantifiers/ematching/candidate_generator.cpp index 4208b11ae..6ea6e50b3 100644 --- a/src/theory/quantifiers/ematching/candidate_generator.cpp +++ b/src/theory/quantifiers/ematching/candidate_generator.cpp @@ -33,8 +33,9 @@ bool CandidateGenerator::isLegalCandidate( Node n ){ return d_qe->getTermDatabase()->isTermActive( n ) && ( !options::cbqi() || !quantifiers::TermUtil::hasInstConstAttr(n) ); } -CandidateGeneratorQE::CandidateGeneratorQE( QuantifiersEngine* qe, Node pat ) : -CandidateGenerator( qe ), d_term_iter( -1 ){ +CandidateGeneratorQE::CandidateGeneratorQE(QuantifiersEngine* qe, Node pat) + : CandidateGenerator(qe), d_term_iter(-1), d_term_iter_limit(0) +{ d_op = qe->getTermDatabase()->getMatchOperator( pat ); Assert( !d_op.isNull() ); } |