From b683fd114ac1ce65cbe480bd8319f513e08fe893 Mon Sep 17 00:00:00 2001 From: Florian Dold Date: Sun, 19 Jan 2020 01:42:48 +0100 Subject: remove unused/undocumented valgraind suppression file --- src/util/misc.supp | 28 ---------------------------- 1 file changed, 28 deletions(-) delete mode 100644 src/util/misc.supp (limited to 'src/util') diff --git a/src/util/misc.supp b/src/util/misc.supp deleted file mode 100644 index afcac6128..000000000 --- a/src/util/misc.supp +++ /dev/null @@ -1,28 +0,0 @@ -{ - - Memcheck:Leak - match-leak-kinds:reachable - ... - fun:GNUNET_CRYPTO_random_init - fun:call_init.part.0 - ... -} - -{ - - Memcheck:Leak - match-leak-kinds:reachable - ... - fun:point_from_keyparam - fun:_gcry_mpi_ec_new - ... -} - -{ - - Memcheck:Leak - match-leak-kinds:reachable - ... - fun:GNUNET_log_setup - ... -} \ No newline at end of file -- cgit v1.2.3