From 1786e0d5490aeaa96cef1447e10a3595c512d4bb Mon Sep 17 00:00:00 2001 From: Andri Yngvason Date: Mon, 6 Jul 2020 17:37:45 +0000 Subject: [PATCH] util: Add valgrind suppressions and a helper script --- util/valgrind.sh | 6 ++++++ util/valgrind.supp | 7 +++++++ 2 files changed, 13 insertions(+) create mode 100755 util/valgrind.sh create mode 100644 util/valgrind.supp diff --git a/util/valgrind.sh b/util/valgrind.sh new file mode 100755 index 0000000..b62d157 --- /dev/null +++ b/util/valgrind.sh @@ -0,0 +1,6 @@ +#!/bin/sh + +valgrind --leak-check=full \ + --show-leak-kinds=all \ + --suppressions=util/valgrind.supp \ + $@ diff --git a/util/valgrind.supp b/util/valgrind.supp new file mode 100644 index 0000000..941114c --- /dev/null +++ b/util/valgrind.supp @@ -0,0 +1,7 @@ +{ + Ignore dlopen bug. + Memcheck:Leak + ... + fun:_dl_* + ... +}