diff options
Diffstat (limited to '')
| -rw-r--r-- | MCServer/hg | 7 | ||||
| -rw-r--r-- | MCServer/hg.supp | 22 |
2 files changed, 29 insertions, 0 deletions
diff --git a/MCServer/hg b/MCServer/hg new file mode 100644 index 000000000..93593de8d --- /dev/null +++ b/MCServer/hg @@ -0,0 +1,7 @@ +#! /bin/bash + +# This script runs MCServer under helgrind +# It expects valgrind to be normally installed and available +# Note that this is for Linux only and debug-only, since it slows down MCS way too much + +valgrind --log-file=helgrind.log --suppressions=hg.supp --gen-suppressions=all --tool=helgrind -v ./MCServer
\ No newline at end of file diff --git a/MCServer/hg.supp b/MCServer/hg.supp new file mode 100644 index 000000000..048f1382f --- /dev/null +++ b/MCServer/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
+}
+
+
+
+
|