fix #6085

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Jun 6, 2022 · bb6c274 · bb6c274
1 parent dca1dcc
commit bb6c274
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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, "");