From bb6c274ad3c09b6c1a1a3ed1bc98ca49c85013d4 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 6 Jun 2022 10:00:08 -0700
Subject: [PATCH] fix #6085

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/util/mpz.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/mpz.cpp b/src/util/mpz.cpp
index 159fc0ed8..c07235ab1 100644
--- a/src/util/mpz.cpp
+++ b/src/util/mpz.cpp
@@ -2248,7 +2248,7 @@ template<bool SYNCH>
 unsigned mpz_manager<SYNCH>::mlog2(mpz const & a) {
     if (is_nonneg(a))
         return 0;
-    if (is_small(a))
+    if (is_small(a) && a.m_val > INT_MIN)
         return ::log2((unsigned)-a.m_val);
 #ifndef _MP_GMP
     static_assert(sizeof(digit_t) == 8 || sizeof(digit_t) == 4, "");