diff options
Diffstat (limited to 'src/valgrind-suppressions')
| -rw-r--r-- | src/valgrind-suppressions | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/valgrind-suppressions b/src/valgrind-suppressions new file mode 100644 index 0000000..06257e5 --- /dev/null +++ b/src/valgrind-suppressions @@ -0,0 +1,11 @@ +# Valgrind suppressions file. Place permanent suppressions that we never +# want to reconsider again into this file. For temporary suppressions +# that we want to revisit in the future, use +# valgrind-suppressions.revisit. +# +# Don't add any "obj:" lines in suppressions as these are likely +# site-specific. Use "..." instead to match these. Look at the other +# suppressions as examples. +# +# In case you want to make sense of the following symbols, demangle them +# with a command like: c++filt < valgrind-suppressions |