Undefined-behavior overflows in GMP?

[Vincent Lefevre]

On 2012-11-20 10:26:31 +0100, Torbjorn Granlund wrote:
> Here:
> http://gmplib.org/list-archives/gmp-bugs/2010-August/002019.html

Concerning the mul_i.h problem, it was fixed there, AFAIK:

2012-02-09  Marc Glisse  <marc.glisse at inria.fr>

        * gmp-impl.h (ABS_CAST): New macro.
        * mpf/cmp_si.c: Use ABS_CAST.
        * mpf/get_si.c: Use ABS_CAST.
        * mpf/iset_si.c: Use ABS_CAST.
        * mpf/set_si.c: Use ABS_CAST.
        * mpq/set_si.c: Use ABS_CAST.
        * mpz/cmp_si.c: Use ABS_CAST.
        * mpz/get_si.c: Use ABS_CAST.
        * mpz/iset_si.c: Use ABS_CAST.
        * mpz/mul_i.h: Use ABS_CAST.
        * mpz/set_si.c: Use ABS_CAST.

-- 
Vincent Lefèvre <vincent at vinc17.net> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)