From eb6c4057e730f80e6d2a66983e24e89846483d95 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Wed, 29 Apr 2026 21:07:16 +0000
Subject: [PATCH] Reorder null check before side effect in mam.cpp

Move the best == nullptr check before marking best_j as processed.
This avoids an unnecessary write when best is null and makes the
control flow clearer: guard the side effect with the null check.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
---
 src/smt/mam.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/smt/mam.cpp b/src/smt/mam.cpp
index a647a2a71..006cb2697 100644
--- a/src/smt/mam.cpp
+++ b/src/smt/mam.cpp
@@ -1114,9 +1114,9 @@ namespace {
                         best_j         = j;
                     }
                 }
-                m_mp_already_processed[best_j] = true;
                 if (best == nullptr)
                     continue;
+                m_mp_already_processed[best_j] = true;
                 app * p                 = best;
                 func_decl * lbl         = p->get_decl();
                 unsigned short num_args = p->get_num_args();