mirror/coreutils
1
0
Fork 0
mirror of https://https.git.savannah.gnu.org/git/coreutils.git synced 2026-01-26 07:27:53 +00:00
Code Issues Packages Projects Releases Wiki Activity

factor: omit incorrect affirms in mulredc2

Browse Source 
* 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.
This commit is contained in:
Paul Eggert 2025-05-11 17:25:30 -07:00
parent 4ebc75a36f
commit 4274ff6eee
1 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/factor.c
View 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}