Kaveh R. Ghazi writes: > 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.
Because it's not a bug? You're changing the code to silence a false negative, which this is what we here in England call "putting the cart before the horse." If we clean up all the memory regions on closedown we'll be wasting CPU time. And for what? Andrew. -- Red Hat UK Ltd, Amberley Place, 107-111 Peascod Street, Windsor, Berkshire, SL4 1TE, UK Registered in England and Wales No. 3798903