http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50066
--- Comment #6 from joseph at codesourcery dot com <joseph at codesourcery dot
com> 2011-08-13 15:28:22 UTC ---
On Sat, 13 Aug 2011, hjl.tools at gmail dot com wrote:
> --- Comment #4 from H.J. Lu <hjl.tools at gmail dot com> 2011-08-13 12:09:16
> UTC ---
> This code comes from mpz/set_si.c in gmp:
>
> void
> mpz_set_si (mpz_ptr dest, signed long int val)
> {
> mp_size_t size;
> mp_limb_t vl;
>
> vl = (mp_limb_t) (unsigned long int) (val >= 0 ? val : -val);
So that GMP code is buggy. Change it to
vl = (mp_limb_t) (val >= 0 ? (unsigned long int) val : -(unsigned long int)
val);
and it will be valid.
