| commit | b0e009d5c2607eb66d99d75683187f45db6e30db | [log] [tgz] |
|---|---|---|
| author | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Wed Nov 19 16:35:15 2008 +0000 |
| committer | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Wed Nov 19 16:35:15 2008 +0000 |
| tree | 8731e61f7ab721cd6160986008dc35755e849581 | |
| parent | b80f0c91bdc40a7014264377ee26962d94ead6f0 [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 a5019735-40e9-0310-863c-91ae7b9d1cf9