From 4274ff6eee1bd49352e4381cf8e50b3ea2006013 Mon Sep 17 00:00:00 2001
From: Paul Eggert <eggert@cs.ucla.edu>
Date: Sun, 11 May 2025 17:25:30 -0700
Subject: [PATCH] factor: omit incorrect affirms in mulredc2
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

* src/factor.c (mulredc2): Remove two ‘affirm’ calls that didn’t
match the accompanying comment, and one of which has a false
positive if UINTMAX_WIDTH == 128 and we factor 2**128 + 1.
---
 src/factor.c | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/factor.c b/src/factor.c
index 1f43ccafe8..d07ab9419c 100644
--- a/src/factor.c
+++ b/src/factor.c
@@ -975,8 +975,6 @@ mulredc2 (uintmax_t *r1p,
   uintmax_t r1, r0, q, p1, t1, t0, s1, s0;
   MAYBE_UNUSED uintmax_t p0;
   mi = -mi;
-  affirm ((a1 >> (W_TYPE_SIZE - 1)) == 0);
-  affirm ((b1 >> (W_TYPE_SIZE - 1)) == 0);
   affirm ((m1 >> (W_TYPE_SIZE - 1)) == 0);
 
   /* First compute a0 * <b1, b0> B^{-1}
-- 
2.47.3