From 2fd3a28b5890c40fc9d2fac7dabc367160f6f028 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Wed, 15 Jul 2026 06:06:48 +0000
Subject: [PATCH] Handle mpz shared-self assignment in set

---
 src/util/mpz.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/mpz.h b/src/util/mpz.h
index 136066e6eb..ff9a3f3306 100644
--- a/src/util/mpz.h
+++ b/src/util/mpz.h
@@ -593,7 +593,7 @@ public:
     void bitwise_not(unsigned sz, mpz const & a, mpz & c);
 
     void set(mpz & target, mpz const & source) {
-        if (&target == &source) {
+        if (&target == &source || (target.has_ptr() && source.has_ptr() && target.ptr() == source.ptr())) {
             return;
         }
         if (is_small(source)) {