gdb_exit
gdb_start
gdb_reinitialize_dir $srcdir/$subdir
+
+gdb_test "dump mem /dev/null 0x10 0x20" "Cannot access memory at address 0x10" \
+ "inaccessible memory is reported"
+
gdb_load ${binfile}
# Clean up any stale output files from previous test runs