From 218379aacac3e1309ce1f8c6fa7997fa8dc6f145 Mon Sep 17 00:00:00 2001 From: Copilot <198982749+Copilot@users.noreply.github.com> Date: Fri, 20 Jun 2025 20:26:43 -0700 Subject: [PATCH] [WIP] Leaks (#7691) * Initial plan for issue * Initial analysis of memory leak issue Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> * Fix memory leak in lar_solver by adding var_register cleanup Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> * Complete memory leak fix: add dealloc(m_imp) to lar_solver destructor Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> * Delete leak.smt2 * Update lar_solver.cpp --------- Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com> Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> Co-authored-by: Nikolaj Bjorner --- src/math/lp/lar_solver.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/src/math/lp/lar_solver.cpp b/src/math/lp/lar_solver.cpp index 0fd257685..14faba63c 100644 --- a/src/math/lp/lar_solver.cpp +++ b/src/math/lp/lar_solver.cpp @@ -231,6 +231,7 @@ namespace lp { lar_solver::~lar_solver() { for (auto t : m_imp->m_terms) delete t; + dealloc(m_imp); } void lar_solver::clear_columns_with_changed_bounds() { m_imp->m_columns_with_changed_bounds.reset(); }