From 4b4e61b82ecc0e3194be764a89c29057a27678db Mon Sep 17 00:00:00 2001 From: =?utf8?q?Mattias=20Engdeg=C3=A5rd?= Date: Sat, 27 Jul 2024 13:38:57 +0200 Subject: [PATCH] * src/data.c (arithcompare): Simplify fixnum/bignum comparisons. Noticed by Pip Cet. (cherry picked from commit e5a94491170bdde62c1afa19ec86e16a07429395) --- src/data.c | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/data.c b/src/data.c index b4d08a3ff06..40b5a42b65b 100644 --- a/src/data.c +++ b/src/data.c @@ -2768,7 +2768,8 @@ arithcompare (Lisp_Object num1, Lisp_Object num2) else { int sgn = mpz_sgn (*xbignum_val (num2)); - eq = sgn == 0; + eassume (sgn != 0); + eq = false; lt = sgn > 0; gt = sgn < 0; } @@ -2789,7 +2790,8 @@ arithcompare (Lisp_Object num1, Lisp_Object num2) else if (FIXNUMP (num2)) { int sgn = mpz_sgn (*xbignum_val (num1)); - eq = sgn == 0; + eassume (sgn != 0); + eq = false; lt = sgn < 0; gt = sgn > 0; } -- 2.39.5