possible bug in mpz_init with conditional compilation __CHECKER__ enabled
nisse at lysator.liu.se
Wed Mar 12 09:18:25 UTC 2014
Vicente Benjumea <vicente at lcc.uma.es> writes:
> in GMP gmp-5.1.3, in source file mpz/init.c, the last sentence of the
> mpz_init function says (under conditional compilation): PTR(x) = 0;
> where probably should say PTR(x) = 0; as it appears in source file
I think you're right. Good catch.
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.
Checking with valgrind, which I think is the preferred memory checker
these days, should work fine without these extra initializations.
Niels Möller. PGP-encrypted email is preferred. Keyid C0B98E26.
Internet email is subject to wholesale government surveillance.
More information about the gmp-bugs