summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--MCServer/hg7
-rw-r--r--MCServer/hg.supp22
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
+}
+
+
+
+