mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-19 04:13:38 +00:00
Code Activity

fix memleak

Browse source
This commit is contained in:
Simon Cruanes 2017-12-25 22:48:37 +01:00
parent 35c802d869
commit f7e5977b9e
3 changed files with 8 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/ast/recfun_decl_plugin.cpp
View file

@ -342,6 +342,12 @@ namespace recfun {
m_plugin = dynamic_cast<decl::plugin*>(m.get_plugin(m_family_id)); m_plugin = dynamic_cast<decl::plugin*>(m.get_plugin(m_family_id));
} }
util::~util() {
for (auto & kv : m_dlimit_map) {
dealloc(kv.m_value);
}
}
def * util::decl_fun(symbol const& name, unsigned n, sort *const * domain, sort * range) { def * util::decl_fun(symbol const& name, unsigned n, sort *const * domain, sort * range) {
return alloc(def, m(), m_family_id, name, n, domain, range); return alloc(def, m(), m_family_id, name, n, domain, range);
} }

1
src/ast/recfun_decl_plugin.h
View file

@ -233,6 +233,7 @@ namespace recfun {
void set_definition(promise_def & d, unsigned n_vars, var * const * vars, expr * rhs); void set_definition(promise_def & d, unsigned n_vars, var * const * vars, expr * rhs);
public: public:
util(ast_manager &m, family_id); util(ast_manager &m, family_id);
virtual ~util();
ast_manager & m() { return m_manager; } ast_manager & m() { return m_manager; }
th_rewriter & get_th_rewriter() { return m_th_rw; } th_rewriter & get_th_rewriter() { return m_th_rw; }