possible bug in mpz_init with conditional compilation __CHECKER__ enabled

[Niels Möller]

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] = 0; as it appears in source file
> mpz/init2.c

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.

Regards,
/Niels

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