From 4faaff5b7619703da5cb2d8c3df8e4a02861c2c3 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Mon, 28 Oct 2019 11:31:23 +0000 Subject: [PATCH] Fix memory leak in bv2fpa_converter --- src/ast/fpa/bv2fpa_converter.cpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/ast/fpa/bv2fpa_converter.cpp b/src/ast/fpa/bv2fpa_converter.cpp index 3e8376c25..a98564ae7 100644 --- a/src/ast/fpa/bv2fpa_converter.cpp +++ b/src/ast/fpa/bv2fpa_converter.cpp @@ -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); } }