Semaphore and barrier reinitialization are now reported.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@8297 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/exp-drd/drd_barrier.c b/exp-drd/drd_barrier.c
index a7cd281..d9c3ebb 100644
--- a/exp-drd/drd_barrier.c
+++ b/exp-drd/drd_barrier.c
@@ -184,6 +184,19 @@
tl_assert(barrier_type == pthread_barrier || barrier_type == gomp_barrier);
+ if (! reinitialization && barrier_type == pthread_barrier)
+ {
+ p = barrier_get(barrier);
+ if (p)
+ {
+ BarrierErrInfo bei = { barrier };
+ VG_(maybe_record_error)(VG_(get_running_tid)(),
+ BarrierErr,
+ VG_(get_IP)(VG_(get_running_tid)()),
+ "Barrier reinitializatoin",
+ &bei);
+ }
+ }
p = barrier_get_or_allocate(barrier, barrier_type, count);
if (s_trace_barrier)