From: Bart Van Assche <bvanassche@acm.org>
Date: Sun, 16 Mar 2008 10:04:58 +0000 (+0000)
Subject: An error message is now printed if DRD is started with a client program that loads... 
X-Git-Tag: svn/VALGRIND_3_4_0~862
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=41ea38fc7ca28b57dced01df2fa809b8a0f8172c;p=thirdparty%2Fvalgrind.git

An error message is now printed if DRD is started with a client program that loads a version of libgomp.so that has been compiled with --enable-linux-futex.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7702
---

diff --git a/exp-drd/drd_barrier.c b/exp-drd/drd_barrier.c
index dc7b46ddef..0d5f053cfa 100644
--- a/exp-drd/drd_barrier.c
+++ b/exp-drd/drd_barrier.c
@@ -261,6 +261,16 @@ void barrier_pre_wait(const DrdThreadId tid, const Addr barrier,
   const UWord word_tid = tid;
 
   p = barrier_get(barrier);
+  if (p == 0 && barrier_type == gomp_barrier)
+  {
+    VG_(message)(Vg_UserMsg, "");
+    VG_(message)(Vg_UserMsg,
+                 "Please verify whether gcc has been configured"
+                 " with option --disable-linux-futex.");
+    VG_(message)(Vg_UserMsg,
+                 "See also the section about OpenMP in the DRD manual.");
+    VG_(message)(Vg_UserMsg, "");
+  }
   tl_assert(p);
 
   if (s_trace_barrier)