commit 11e352f44852ea8fd5e3f65bf424528040ab7e0f
author sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> Fri Nov 30 11:11:02 2007 +0000
committer sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> Fri Nov 30 11:11:02 2007 +0000
tree 53153d1770bb20eac3950912cab4fe2a363dbdb8
parent 721ad7b378df34e704213da113668a8046710b20

Correctly handle semaphores with nonzero initial values.  Fixes bug
observed by Matthieu Castet.  Also, add another sanity-check flag.



git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7253 a5019735-40e9-0310-863c-91ae7b9d1cf9

helgrind/helgrind.h

diff --git a/helgrind/helgrind.h b/helgrind/helgrind.h
index b2f6ed3..c81ad8f 100644
--- a/helgrind/helgrind.h
+++ b/helgrind/helgrind.h
@@ -88,9 +88,10 @@
       _VG_USERREQ__HG_PTHREAD_RWLOCK_LOCK_POST,   /* pth_rwlk_t*, long isW */
       _VG_USERREQ__HG_PTHREAD_RWLOCK_UNLOCK_PRE,  /* pth_rwlk_t* */
       _VG_USERREQ__HG_PTHREAD_RWLOCK_UNLOCK_POST, /* pth_rwlk_t* */
-      _VG_USERREQ__HG_POSIX_SEMPOST_PRE,          /* sem_t* */
-      _VG_USERREQ__HG_POSIX_SEMWAIT_POST,         /* sem_t* */
-      _VG_USERREQ__HG_POSIX_SEM_ZAPSTACK,         /* sem_t* */
+      _VG_USERREQ__HG_POSIX_SEM_INIT_POST,        /* sem_t*, ulong value */
+      _VG_USERREQ__HG_POSIX_SEM_DESTROY_PRE,      /* sem_t* */
+      _VG_USERREQ__HG_POSIX_SEM_POST_PRE,         /* sem_t* */
+      _VG_USERREQ__HG_POSIX_SEM_WAIT_POST,        /* sem_t* */
       _VG_USERREQ__HG_GET_MY_SEGMENT              /* -> Segment* */
    } Vg_TCheckClientRequest;