]> git.ipfire.org Git - thirdparty/valgrind.git/commit
projects / thirdparty / valgrind.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b2bd92d) | patch
Don't put raced-on locations in an (E)rror state; instead leave them
authorJulian Seward <jseward@acm.org>
Wed, 19 Nov 2008 16:35:15 +0000 (16:35 +0000)
committerJulian Seward <jseward@acm.org>
Wed, 19 Nov 2008 16:35:15 +0000 (16:35 +0000)
commit9398b50c4a939873e8ba7f419aa6bfa37ebee93d
tree8731e61f7ab721cd6160986008dc35755e849581tree | snapshot
parentb2bd92dc6e2d0747ecb35042db38b4a9d5447f11commit | diff
Don't put raced-on locations in an (E)rror state; instead leave them
in a (C)onstraint state.  The former approach can cause races to be
missed.  Also, update state machine slightly following re-analysis
thereof.

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