]> git.ipfire.org Git - thirdparty/valgrind.git/commit
projects / thirdparty / valgrind.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a0b0f8b) | patch
Fixed bug in vector clock updating for semaphores with non-zero initial value.
authorBart Van Assche <bvanassche@acm.org>
Sun, 21 Dec 2008 17:20:22 +0000 (17:20 +0000)
committerBart Van Assche <bvanassche@acm.org>
Sun, 21 Dec 2008 17:20:22 +0000 (17:20 +0000)
commita040d2e7b4d28eaf9b67b758c8c8b7e15c0a7458
tree2ca2696c9f89b1ca7b729e591e51516d677af3e0tree
parenta0b0f8bf1e0322ce49658f0ab62bccae8e99dba1commit | diff
Fixed bug in vector clock updating for semaphores with non-zero initial value.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@8854
drd/drd_clientobj.h diff | blob | blame | history
drd/drd_semaphore.c diff | blob | blame | history
Mirror of https://sourceware.org/git/valgrind.git