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
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;