diff options
-rw-r--r-- | src/api/cvc4cpp.cpp | 6 | ||||
-rw-r--r-- | src/theory/arith/nl/nl_monomial.cpp | 2 |
2 files changed, 4 insertions, 4 deletions
diff --git a/src/api/cvc4cpp.cpp b/src/api/cvc4cpp.cpp index 88974dc69..325da8cdb 100644 --- a/src/api/cvc4cpp.cpp +++ b/src/api/cvc4cpp.cpp @@ -1119,7 +1119,7 @@ size_t SortHashFunction::operator()(const Sort& s) const /* Op */ /* -------------------------------------------------------------------------- */ -Op::Op() : d_kind(NULL_EXPR), d_expr(new CVC4::Expr()) {} +Op::Op() : d_solver(nullptr), d_kind(NULL_EXPR), d_expr(new CVC4::Expr()) {} Op::Op(const Solver* slv, const Kind k) : d_solver(slv), d_kind(k), d_expr(new CVC4::Expr()) @@ -1628,7 +1628,7 @@ Term::const_iterator::const_iterator(const Solver* slv, } Term::const_iterator::const_iterator(const const_iterator& it) - : d_orig_expr(nullptr) + : d_solver(nullptr), d_orig_expr(nullptr) { if (it.d_orig_expr != nullptr) { @@ -1920,7 +1920,7 @@ std::ostream& operator<<(std::ostream& out, const DatatypeDecl& dtdecl) /* DatatypeSelector --------------------------------------------------------- */ -DatatypeSelector::DatatypeSelector() { d_stor = nullptr; } +DatatypeSelector::DatatypeSelector() : d_solver(nullptr), d_stor(nullptr) {} DatatypeSelector::DatatypeSelector(const Solver* slv, const CVC4::DatatypeConstructorArg& stor) diff --git a/src/theory/arith/nl/nl_monomial.cpp b/src/theory/arith/nl/nl_monomial.cpp index e8e7aceba..678a94819 100644 --- a/src/theory/arith/nl/nl_monomial.cpp +++ b/src/theory/arith/nl/nl_monomial.cpp @@ -276,7 +276,7 @@ Node MonomialDb::getContainsDiff(Node a, Node b) const { std::map<Node, std::map<Node, Node> >::const_iterator it = d_m_contain_mult.find(a); - if (it == d_m_contain_umult.end()) + if (it == d_m_contain_mult.end()) { return Node::null(); } |