From: "Tom Tromey" <[EMAIL PROTECTED]>

"Kaveh" == Kaveh R GHAZI <[EMAIL PROTECTED]> writes:

Kaveh> +  mpfr_free_cache ();

Why not just add a valgrind suppression for this?
There's little point in freeing things just before exit.
Tom

A valgrind suppression only silences the error for valgrind. What if someone uses another memory checking tool? Better to fix it for real IMHO.

       --Kaveh
--
Kaveh R. Ghazi

Reply via email to