]> git.ipfire.org Git - thirdparty/valgrind.git/commit
projects / thirdparty / valgrind.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f701e93) | patch
Change the semantics of ANNOTATE_HAPPENS_BEFORE from 'overwrite' to
authorJulian Seward <jseward@acm.org>
Fri, 11 Mar 2011 18:38:12 +0000 (18:38 +0000)
committerJulian Seward <jseward@acm.org>
Fri, 11 Mar 2011 18:38:12 +0000 (18:38 +0000)
commit3cc6fcac8c47289f0c39dc673f5ad43b26b5546f
tree221a6a826b766514e2730fab7152bdf8d07d3c9etree
parentf701e93f04a9001b1f6aa26c2868ab782ab6e4eccommit | diff
Change the semantics of ANNOTATE_HAPPENS_BEFORE from 'overwrite' to
'add' behaviour, w.r.t. any h-b edges associated with the
synchronisation object prior to the call.  This brings the behaviour
into line with DRD and TSan, and is required for correct annotation of
thread safe reference counting.  It fixes #243935 -- at least, the
original bug as discussed in comments 0 and 2.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11624
helgrind/helgrind.h diff | blob | blame | history
helgrind/hg_main.c diff | blob | blame | history
Mirror of https://sourceware.org/git/valgrind.git