mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-06 06:03:23 +00:00
Code Activity

fix null pointer dereference

Browse source
This commit is contained in:
Murphy Berzish 2018-01-19 14:56:06 -05:00
parent a9fda81d03
commit 2065ea88ee
1 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/smt/theory_str.cpp
View file

@ -10372,7 +10372,9 @@ namespace smt {
} }
} }
} // foreach(entry in intersect_constraints) } // foreach(entry in intersect_constraints)
aut_inter->compress(); if (aut_inter != NULL) {
aut_inter->compress();
}
TRACE("str", tout << "intersected " << used_intersect_constraints.size() << " constraints" << std::endl;); TRACE("str", tout << "intersected " << used_intersect_constraints.size() << " constraints" << std::endl;);
expr_ref_vector conflict_terms(m); expr_ref_vector conflict_terms(m);