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