possible bug in mpz_init with conditional compilation __CHECKER__ enabled

Niels Möller nisse at lysator.liu.se
Wed Mar 12 09:43:16 UTC 2014


nisse at lysator.liu.se (Niels Möller) writes:

> An alternative to fixing this as you suggest, is to delete all code
> related to __CHECKER__. Does anyone know what tool that is intended for?
> It seems this was added by Kevin back in 2002.

Hmm, most likely the decomissioned GNU checker,
http://www.gnu.org/software/checker/checker.html.

I think this can be deleted.

Regards,
/Niels

-- 
Niels Möller. PGP-encrypted email is preferred. Keyid C0B98E26.
Internet email is subject to wholesale government surveillance.


More information about the gmp-bugs mailing list