commit | a72032508d826f53df7e1211327f5321d9fba56f | [log] [tgz] |
---|---|---|
author | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Fri Nov 26 19:17:47 2004 +0000 |
committer | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Fri Nov 26 19:17:47 2004 +0000 |
tree | 5651c098eae35c26c4c89d0c82596b774fb2017e | |
parent | a1d1a64a8c1ed1fe6071cacf11bd461636e37862 [diff] |
When doing pessimistic lazy propagation through a dirty helper call, do not consider inputs from those parts of the guest state marked as read (or modified) which which are declared to be always-defined, and dually do write outputs to those parts of the guest state written (or modified) which are declared to be always-defined. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3119 a5019735-40e9-0310-863c-91ae7b9d1cf9