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

Fix memory leak in bv2fpa_converter

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2019-10-28 11:31:23 +00:00
parent 2308d8af09
commit 4faaff5b76
No known key found for this signature in database
GPG key ID: BCF6360F86294467
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/ast/fpa/bv2fpa_converter.cpp
View file

@ -474,6 +474,8 @@ void bv2fpa_converter::convert_uf2bvuf(model_core * mc, model_core * target_mode
func_interp *fi = convert_func_interp(mc, f, f_uf);
if (fi->num_entries() > 0 || fi->get_else() != nullptr)
target_model->register_decl(f, fi);
else
dealloc(fi);
}
}