Re: gmp 4.1: assert triggered in test t-cong on alphaev6-dec-osf4.0e

[Kevin Ryde]

Christoph Ludwig <address@hidden> writes:
>
>   mode1o.c:108: GNU MP assertion failed: c < d

Thanks.

I think the code is ok, but the asserts are bogus.  When the initial c
is c>=d, the return value is only <=d not <d (see comments in
mpn/generic/mode1o.c).

So I think you can either delete that assert (maybe the "x < d" one
too, have to think about that), or change them to "<=".  The same for
mpn/generic/mode1o.c I suspect.

--enable-assert does get used regularly, but usually only in 32-bits.
Not sure why the problem only shows up in 64 bits.  Have to add more
test cases :-).