diff options
Diffstat (limited to '')
| -rw-r--r-- | src/valgrind-suppressions | 11 | ||||
| -rw-r--r-- | src/valgrind-suppressions.revisit | 17 |
2 files changed, 28 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 diff --git a/src/valgrind-suppressions.revisit b/src/valgrind-suppressions.revisit new file mode 100644 index 0000000..8b4a8c7 --- /dev/null +++ b/src/valgrind-suppressions.revisit @@ -0,0 +1,17 @@ +# Place temporary suppressions that we want to revisit in the future +# into this file. For permanent suppressions that we don't want to look +# at again, use valgrind-suppressions. +# +# 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.revisit + +############################################################################ +#### beginning of suppressions for existing issues that we want to fix. #### + + +####### end of suppressions for existing issues that we want to fix. ####### +############################################################################ |