diff options
Diffstat (limited to 'build-aux')
| -rw-r--r-- | build-aux/Linux.valgrind | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/build-aux/Linux.valgrind b/build-aux/Linux.valgrind index a40719fb..e9cb906c 100644 --- a/build-aux/Linux.valgrind +++ b/build-aux/Linux.valgrind @@ -15,6 +15,19 @@ # Valgrind suppression file for Bison. +# Travis Trusty, 2018-09-07. +{ + libstdcxx_init + Memcheck:Leak + match-leak-kinds: reachable + fun:malloc + obj:/usr/lib/x86_64-linux-gnu/libstdc++.so.6.0.25 + fun:call_init.part.0 + fun:call_init + fun:_dl_init + obj:/lib/x86_64-linux-gnu/ld-2.19.so +} + # Linux prague 4.1.2-2-ARCH #1 SMP PREEMPT Wed Jul 15 08:30:32 UTC 2015 # x86_64 GNU/Linux { |