]> git.ipfire.org Git - thirdparty/coreutils.git/commitdiff
factor: omit incorrect affirms in mulredc2
authorPaul Eggert <eggert@cs.ucla.edu>
Mon, 12 May 2025 00:25:30 +0000 (17:25 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Mon, 12 May 2025 08:28:48 +0000 (01:28 -0700)
* 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

index 1f43ccafe8198a62ff4db37622db7ad109ee2d36..d07ab9419c29572770b5218a87d15f2b557f5ea0 100644 (file)
@@ -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}