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,

I think this can be deleted.


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