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
4 files changed