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