tree 07e61b2c6b2e0a90763ff2a7fa1e60b4b38e9ffc
parent 6f00ae96d4dcab1f35efe4cc875837089e6d8f72
author sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1404806144 +0000
committer sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1404806144 +0000

OSX 10.9/10.8: Debuginfo reading FSM: enable recording of r-- mappings
so as to enable arrival at acceptance states via calls to
VG_(di_notify_vm_protect).


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@14139 a5019735-40e9-0310-863c-91ae7b9d1cf9