On Wed, 2019-08-21 at 14:44 +0200, Philippe Waroquiers wrote: > On Mon, 2019-08-12 at 15:15 +0300, Michael Widenius wrote: > > Something like the following would be very useful: > > VALGRIND_IGNORE_LEAKS(VALGRIND_LEAK_INDIRECT | VALGRIND_LEAK_DEFINITE...) > See patch attached to https://bugs.kde.org/show_bug.cgi?id=411134 > This patch allows to change various command line options after > startup, including the options telling if/how to do a leak search. Patch pushed today to the Valgrind git repository as 3a803036.
Philippe _______________________________________________ Valgrind-users mailing list Valgrind-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/valgrind-users
