Julian Seward 47680cfc98 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
2007-11-30 11:11:02 +00:00
..