From 245c117aba4a01204e5b11461eede16161843314 Mon Sep 17 00:00:00 2001 From: Copilot <198982749+Copilot@users.noreply.github.com> Date: Sun, 26 Apr 2026 22:21:02 +0200 Subject: [PATCH] simplify: replace ad-hoc reset_unsafe RAII with on_scope_exit in solve_eqs::reduce() (#9383) * Initial plan * simplify: replace reset_unsafe RAII struct with on_scope_exit in solve_eqs::reduce() Agent-Logs-Url: https://github.com/Z3Prover/z3/sessions/ff5650aa-02db-4a71-976f-845debd7222f Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> --------- Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com> Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> --- src/ast/simplifiers/solve_eqs.cpp | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) diff --git a/src/ast/simplifiers/solve_eqs.cpp b/src/ast/simplifiers/solve_eqs.cpp index ccbfb550a..0cdb5de69 100644 --- a/src/ast/simplifiers/solve_eqs.cpp +++ b/src/ast/simplifiers/solve_eqs.cpp @@ -244,12 +244,7 @@ namespace euf { unsigned count = 0; vector old_fmls; dep_eq_vector eqs; - struct reset_unsafe { - solve_eqs& s; - reset_unsafe(solve_eqs& s): s(s) {} - ~reset_unsafe() { s.m_unsafe_vars.reset(); } - }; - reset_unsafe ru(*this); + auto _reset_unsafe = on_scope_exit([&]() { m_unsafe_vars.reset(); }); do { old_fmls.reset(); m_subst_ids.reset();