| commit | 55663012533f310964e5dd89d1468a61df856224 | [log] [tgz] |
|---|---|---|
| author | philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Wed Feb 12 20:41:58 2014 +0000 |
| committer | philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Wed Feb 12 20:41:58 2014 +0000 |
| tree | c413007030460e96a52a998d1e977a6e96f72a86 | |
| parent | 3ef45ebbe75df4595cc612be0119bbf1c5ee3e9a [diff] |
No need to discard translation in gdbserver when --vgdb=full is given, as all instructions are in any case instrumented when full is given. This is (slightly) more efficient for full, and allows to bypass the arm64 discard_translation problem caused by unchain missing git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13802 a5019735-40e9-0310-863c-91ae7b9d1cf9