| commit | 1c466b7770d6ef6f5c3306e349add84ebc45d668 | [log] [tgz] |
|---|---|---|
| author | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Wed Nov 19 11:52:14 2008 +0000 |
| committer | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Wed Nov 19 11:52:14 2008 +0000 |
| tree | e527c7812216dfaed8f4e89d836b654cb802e237 | |
| parent | 0f7a0298b000f1ea49c45d8f5c0dd179b5ff8388 [diff] |
Add informal correctness argument for the logic in evh__HG_PTHREAD_BARRIER_WAIT_PRE, as it is somewhat subtle. Also, free the SO after use, else there's a space leak. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@8786 a5019735-40e9-0310-863c-91ae7b9d1cf9