Add a test case for semaphores with nonzero initial values.

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

diff --git a/helgrind/tests/Makefile.am b/helgrind/tests/Makefile.am
index ac84a9672148f583219e23ae4997359d6f23e9de..dac727c3abd6b9ad56b7abaae1cefb3cb539f0a7 100644 (file)
--- a/helgrind/tests/Makefile.am
+++ b/helgrind/tests/Makefile.am
@@ -81,7 +81,9 @@ EXTRA_DIST = $(noinst_SCRIPTS) \
                tc22_exit_w_lock.stderr.exp-glibc25-x86 \
        tc23_bogus_condwait.vgtest tc23_bogus_condwait.stdout.exp \
                tc23_bogus_condwait.stderr.exp-glibc25-amd64 \
-               tc23_bogus_condwait.stderr.exp-glibc25-x86
+               tc23_bogus_condwait.stderr.exp-glibc25-x86 \
+       tc24_nonzero_sem.vgtest tc24_nonzero_sem.stdout.exp \
+               tc24_nonzero_sem.stderr.exp-glibc25-amd64
 
 check_PROGRAMS = \
        hg01_all_ok \
@@ -112,7 +114,8 @@ check_PROGRAMS = \
        tc20_verifywrap \
        tc21_pthonce \
        tc22_exit_w_lock \
-       tc23_bogus_condwait
+       tc23_bogus_condwait \
+       tc24_nonzero_sem
 
 AM_CPPFLAGS = -I$(top_srcdir) -I$(top_srcdir)/include \
                 -I$(top_srcdir)/coregrind -I$(top_builddir)/include \

diff --git a/helgrind/tests/tc24_nonzero_sem.c b/helgrind/tests/tc24_nonzero_sem.c
new file mode 100644 (file)
index 0000000..01c23e8
--- /dev/null
+++ b/helgrind/tests/tc24_nonzero_sem.c
@@ -0,0 +1,41 @@
+
+/* Check that Helgrind does not complain about semaphores with a
+   nonzero initial value, when said semaphores are correctly used.
+   Also useful for generating VCG of simple semaphore activity, for
+   inspection. */
+
+#include <pthread.h>
+#include <semaphore.h>
+#include <assert.h>
+
+#define N_THREADS 3
+
+void* child_fn ( void* semV )
+{
+   int r;
+   sem_t* sem = (sem_t*)semV;
+   r= sem_wait(sem); assert(!r);
+   return NULL;
+}
+
+int main ( void )
+{
+   int r, i;
+   sem_t sem;
+   pthread_t child[N_THREADS];
+
+   r= sem_init(&sem, 0, N_THREADS); assert(!r);
+
+   for (i = 0; i < N_THREADS; i++) {
+      r= pthread_create( &child[i], NULL, child_fn, (void*)&sem );
+      assert(!r);
+   }
+
+   for (i = 0; i < N_THREADS; i++) {
+      r= pthread_join( child[i], NULL );
+      assert(!r);
+   }
+
+   sem_destroy(&sem);
+   return 0;
+}

diff --git a/helgrind/tests/tc24_nonzero_sem.stderr.exp-glibc25-amd64 b/helgrind/tests/tc24_nonzero_sem.stderr.exp-glibc25-amd64
new file mode 100644 (file)
index 0000000..d18786f
--- /dev/null
+++ b/helgrind/tests/tc24_nonzero_sem.stderr.exp-glibc25-amd64
@@ -0,0 +1,3 @@
+
+
+ERROR SUMMARY: 0 errors from 0 contexts (suppressed: 0 from 0)

diff --git a/helgrind/tests/tc24_nonzero_sem.stdout.exp b/helgrind/tests/tc24_nonzero_sem.stdout.exp
new file mode 100644 (file)
index 0000000..e69de29

diff --git a/helgrind/tests/tc24_nonzero_sem.vgtest b/helgrind/tests/tc24_nonzero_sem.vgtest
new file mode 100644 (file)
index 0000000..1a43121
--- /dev/null
+++ b/helgrind/tests/tc24_nonzero_sem.vgtest
@@ -0,0 +1,2 @@
+prog: tc24_nonzero_sem
+vgopts: --hg-sanity-flags=111111