diff options
Diffstat (limited to 'Server/hg.supp')
| -rw-r--r-- | Server/hg.supp | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/Server/hg.supp b/Server/hg.supp new file mode 100644 index 000000000..27eb8c27a --- /dev/null +++ b/Server/hg.supp @@ -0,0 +1,22 @@ +# This is a valgrind suppressions file for running helgrind on MCServer +# Use by adding "--suppressions=hg.supp" to the helgrind commandline + + + + + + +# This covers GCC bug 40518, http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40518 +# "Erasing an empty string causes a global value write / race condition warning in helgrind" +# Original suppression authored by Jonathan Wakely: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40518#c20 +# Modified by Mattes to match the mangled function name used on Ubuntu + +{ + libstdcxx_std_string_race_pr40518 + Helgrind:Race + fun:_ZNSs9_M_mutateEjjj +} + + + + |