commit 8c50d3c9fda51e7597194a1fd0f962610eb7c48f
author sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> Fri Mar 11 18:38:12 2011 +0000
committer sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> Fri Mar 11 18:38:12 2011 +0000
tree 221a6a826b766514e2730fab7152bdf8d07d3c9e
parent 0b20a15992b304fa652bb84ee4c3b63ff1eeef84

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 a5019735-40e9-0310-863c-91ae7b9d1cf9