Index: tools/valgrind/valgrind.sh |
=================================================================== |
--- tools/valgrind/valgrind.sh (revision 126142) |
+++ tools/valgrind/valgrind.sh (working copy) |
@@ -25,6 +25,8 @@ |
# Prompt to attach gdb when there was an error detected. |
DEFAULT_TOOL_FLAGS=("--db-command=$GDB -nw %f %p" "--db-attach=yes" \ |
+ # Keep the registers in gdb in sync with the code. |
+ "--vex-iropt-precise-memory-exns=yes" \ |
# Overwrite newly allocated or freed objects |
# with 0x41 to catch inproper use. |
"--malloc-fill=41" "--free-fill=41" \ |