diff options
| author | Florian Dold <florian.dold@gmail.com> | 2020-01-19 01:42:48 +0100 |
|---|---|---|
| committer | Florian Dold <florian.dold@gmail.com> | 2020-01-19 01:42:48 +0100 |
| commit | b683fd114ac1ce65cbe480bd8319f513e08fe893 (patch) | |
| tree | 183e5ddef5a0aecef46addd3518e7980bb6f08a7 /src/util | |
| parent | 447ae4da0bdd07e2b52470676b87658f1572f43e (diff) | |
remove unused/undocumented valgraind suppression file
Diffstat (limited to 'src/util')
| -rw-r--r-- | src/util/misc.supp | 28 |
1 files changed, 0 insertions, 28 deletions
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 @@ -{ - <gnunet_gcrypt_init> - Memcheck:Leak - match-leak-kinds:reachable - ... - fun:GNUNET_CRYPTO_random_init - fun:call_init.part.0 - ... -} - -{ - <mpi_ec_new> - Memcheck:Leak - match-leak-kinds:reachable - ... - fun:point_from_keyparam - fun:_gcry_mpi_ec_new - ... -} - -{ - <gnunet_log_setup> - Memcheck:Leak - match-leak-kinds:reachable - ... - fun:GNUNET_log_setup - ... -}
\ No newline at end of file |