Roberto Bagnara <bagnara at cs.unipr.it> writes:
Good to know: I did not find any mention of that in GMP's documentation.
Perhaps a note should be added to the Valgrind section in
http://gmplib.org/manual/Debugging.html
Will fix.
--
Torbjörn