commit | 078ab86e795ff4862417e19df175ce23b995b65f | [log] [tgz] |
---|---|---|
author | philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Sun Oct 13 18:38:30 2013 +0000 |
committer | philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Sun Oct 13 18:38:30 2013 +0000 |
tree | 7be4f6ed7c822319e74eec12087bc79216291308 | |
parent | b2db2783d7c77676220b7729d8f8c685e28b03fc [diff] |
Add definedness checking when dereferencing ptr during heuristic reachedness Patch ensures that no heuristic reachedness is obtained with undefined data. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13635 a5019735-40e9-0310-863c-91ae7b9d1cf9