| # Copyright 2011-2021 Free Software Foundation, Inc. |
| |
| # This program is free software; you can redistribute it and/or modify |
| # it under the terms of the GNU General Public License as published by |
| # the Free Software Foundation; either version 3 of the License, or |
| # (at your option) any later version. |
| # |
| # This program is distributed in the hope that it will be useful, |
| # but WITHOUT ANY WARRANTY; without even the implied warranty of |
| # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| # GNU General Public License for more details. |
| # |
| # You should have received a copy of the GNU General Public License |
| # along with this program. If not, see <http://www.gnu.org/licenses/>. |
| |
| # This file is part of the gdb testsuite |
| |
| # Test the memory attribute commands. |
| |
| standard_testfile .c |
| |
| if { [prepare_for_testing "failed to prepare" $testfile $srcfile] } { |
| return -1 |
| } |
| |
| runto_main |
| |
| # Delete all target-supplied memory regions. |
| delete_memory_regions |
| |
| set mem1start -1 |
| set mem2start -1 |
| set mem3start -1 |
| set mem4start -1 |
| set mem5start -1 |
| |
| set mem1end -1 |
| set mem2end -1 |
| set mem3end -1 |
| set mem4end -1 |
| set mem5end -1 |
| |
| |
| gdb_test_multiple "info address mem1" "get address of mem1" { |
| -re "Symbol \"mem1\" is static storage at address ($hex).*$gdb_prompt $" { |
| set mem1start $expect_out(1,string) |
| } |
| } |
| |
| gdb_test_multiple "info address mem2" "get address of mem2" { |
| -re "Symbol \"mem2\" is static storage at address ($hex).*$gdb_prompt $" { |
| set mem2start $expect_out(1,string) |
| } |
| } |
| |
| gdb_test_multiple "info address mem3" "get address of mem3" { |
| -re "Symbol \"mem3\" is static storage at address ($hex).*$gdb_prompt $" { |
| set mem3start $expect_out(1,string) |
| } |
| } |
| |
| gdb_test_multiple "info address mem4" "get address of mem4" { |
| -re "Symbol \"mem4\" is static storage at address ($hex).*$gdb_prompt $" { |
| set mem4start $expect_out(1,string) |
| } |
| } |
| |
| gdb_test_multiple "info address mem5" "get address of mem5" { |
| -re "Symbol \"mem5\" is static storage at address ($hex).*$gdb_prompt $" { |
| set mem5start $expect_out(1,string) |
| } |
| } |
| |
| gdb_test_multiple "print &mem1\[64\]" "get end of mem1" { |
| -re "$decimal = .* ($hex).*$gdb_prompt $" { |
| set mem1end $expect_out(1,string) |
| } |
| } |
| |
| gdb_test_multiple "print &mem2\[64\]" "get end of mem2" { |
| -re "$decimal = .* ($hex).*$gdb_prompt $" { |
| set mem2end $expect_out(1,string) |
| } |
| } |
| |
| gdb_test_multiple "print &mem3\[64\]" "get end of mem3" { |
| -re "$decimal = .* ($hex).*$gdb_prompt $" { |
| set mem3end $expect_out(1,string) |
| } |
| } |
| |
| gdb_test_multiple "print &mem4\[64\]" "get end of mem4" { |
| -re "$decimal = .* ($hex).*$gdb_prompt $" { |
| set mem4end $expect_out(1,string) |
| } |
| } |
| |
| gdb_test_multiple "print &mem5\[64\]" "get end of mem5" { |
| -re "$decimal = .* ($hex).*$gdb_prompt $" { |
| set mem5end $expect_out(1,string) |
| } |
| } |
| |
| gdb_test_no_output "mem $mem1start $mem1end wo" "create mem region 1" |
| gdb_test_no_output "mem $mem2start $mem2end ro" "create mem region 2" |
| gdb_test_no_output "mem $mem3start $mem3end rw" "create mem region 3" |
| gdb_test_no_output "mem $mem4start $mem4end rw" "create mem region 4" |
| gdb_test_no_output "mem $mem5start $mem5end rw" "create mem region 5" |
| |
| set see1 0 |
| set see2 0 |
| set see3 0 |
| set see4 0 |
| set see5 0 |
| |
| set info_mem_header_pattern \ |
| "info mem.*Num\[ \t\]+Enb\[ \t\]+Low\[ \t\]+Addr\[ \t\]+High\[ \t\]+Addr\[ \t\]+Attrs\[^\r\n\]*\r\n" |
| |
| gdb_test_multiple "info mem" "info mem(1)" { |
| -re ${info_mem_header_pattern} { |
| # Discard the header. |
| exp_continue |
| } |
| -re "^1 y \[ \t\]+$hex $hex wo nocache \[^\r\n\]*\r\n" { |
| set see1 1 |
| exp_continue |
| } |
| -re "^2 y \[ \t\]+$hex $hex ro nocache \[^\r\n\]*\r\n" { |
| set see2 1 |
| exp_continue |
| } |
| -re "^3 y \[ \t\]+$hex $hex rw nocache \[^\r\n\]*\r\n" { |
| set see3 1 |
| exp_continue |
| } |
| -re "^4 y \[ \t\]+$hex $hex rw nocache \[^\r\n\]*\r\n" { |
| set see4 1 |
| exp_continue |
| } |
| -re "^5 y \[ \t\]+$hex $hex rw nocache \[^\r\n\]*\r\n" { |
| set see5 1 |
| exp_continue |
| } |
| -re "$gdb_prompt $" { |
| if { $see1 && $see2 && $see3 && $see4 && $see5 } then { |
| pass "info mem (1)" |
| } else { |
| fail "info mem (1)" |
| } |
| } |
| } |
| |
| # |
| # Test read-only, write-only |
| # |
| |
| # mem1 is write only: read should fail. |
| gdb_test "print mem1\[1\]" \ |
| "Cannot access memory at address $hex" \ |
| "mem1 cannot be read" |
| |
| gdb_test "print mem1\[1\] = 9" \ |
| "$decimal = 9" \ |
| "mem1 can be written" |
| |
| # mem2 is read only: write should fail. |
| gdb_test "print mem2\[1\] = 9" \ |
| "Cannot access memory at address $hex" \ |
| "mem2 cannot be written" |
| |
| gdb_test "print mem2\[1\]" \ |
| "$decimal = 0" \ |
| "mem2 can be read" |
| |
| # |
| # Test disable and enable |
| # |
| |
| gdb_test_no_output "disable mem 1" "disable mem 1" |
| gdb_test "info mem" "1 n .*" "mem 1 was disabled" |
| |
| gdb_test_no_output "enable mem 1" "enable mem 1" |
| gdb_test "info mem" "1 y .*" "mem 1 was enabled" |
| |
| gdb_test_no_output "disable mem 2 4" |
| |
| set see1 0 |
| set see2 0 |
| set see3 0 |
| set see4 0 |
| set see5 0 |
| |
| gdb_test_multiple "info mem" "mem 2 and 4 were disabled" { |
| -re ${info_mem_header_pattern} { |
| # Discard the header. |
| exp_continue |
| } |
| -re "^1 y \[ \t\]+$hex $hex wo nocache \[^\r\n\]*.." { |
| set see1 1 |
| exp_continue |
| } |
| -re "^2 n \[ \t\]+$hex $hex ro nocache \[^\r\n\]*.." { |
| set see2 1 |
| exp_continue |
| } |
| -re "^3 y \[ \t\]+$hex $hex rw nocache \[^\r\n\]*.." { |
| set see3 1 |
| exp_continue |
| } |
| -re "^4 n \[ \t\]+$hex $hex rw nocache \[^\r\n\]*.." { |
| set see4 1 |
| exp_continue |
| } |
| -re "^5 y \[ \t\]+$hex $hex rw nocache \[^\r\n\]*.." { |
| set see5 1 |
| exp_continue |
| } |
| -re "$gdb_prompt $" { |
| if { $see1 && $see2 && $see3 && $see4 && $see5 } then { |
| pass "mem 2 and 4 were disabled" |
| } else { |
| fail "mem 2 and 4 were disabled" |
| } |
| } |
| } |
| |
| gdb_test_no_output "enable mem 2-4" "enable mem 2-4" |
| |
| set see1 0 |
| set see2 0 |
| set see3 0 |
| set see4 0 |
| set see5 0 |
| |
| gdb_test_multiple "info mem" "mem 2-4 were enabled" { |
| -re ${info_mem_header_pattern} { |
| # Discard the header. |
| exp_continue |
| } |
| -re "^1 y \[ \t\]+$hex $hex wo nocache \[^\r\n\]*.." { |
| set see1 1 |
| exp_continue |
| } |
| -re "^2 y \[ \t\]+$hex $hex ro nocache \[^\r\n\]*.." { |
| set see2 1 |
| exp_continue |
| } |
| -re "^3 y \[ \t\]+$hex $hex rw nocache \[^\r\n\]*.." { |
| set see3 1 |
| exp_continue |
| } |
| -re "^4 y \[ \t\]+$hex $hex rw nocache \[^\r\n\]*.." { |
| set see4 1 |
| exp_continue |
| } |
| -re "^5 y \[ \t\]+$hex $hex rw nocache \[^\r\n\]*.." { |
| set see5 1 |
| exp_continue |
| } |
| -re "$gdb_prompt $" { |
| if { $see1 && $see2 && $see3 && $see4 && $see5 } then { |
| pass "mem 2-4 were enabled" |
| } else { |
| fail "mem 2-4 were enabled" |
| } |
| } |
| } |
| |
| gdb_test_no_output "disable mem" "disable mem" |
| |
| set see1 0 |
| set see2 0 |
| set see3 0 |
| set see4 0 |
| set see5 0 |
| |
| gdb_test_multiple "info mem" "mem 1 to 5 were disabled" { |
| -re ${info_mem_header_pattern} { |
| # Discard the header. |
| exp_continue |
| } |
| -re "^1 n \[ \t\]+$hex $hex wo nocache \[^\r\n\]*.." { |
| set see1 1 |
| exp_continue |
| } |
| -re "^2 n \[ \t\]+$hex $hex ro nocache \[^\r\n\]*.." { |
| set see2 1 |
| exp_continue |
| } |
| -re "^3 n \[ \t\]+$hex $hex rw nocache \[^\r\n\]*.." { |
| set see3 1 |
| exp_continue |
| } |
| -re "^4 n \[ \t\]+$hex $hex rw nocache \[^\r\n\]*.." { |
| set see4 1 |
| exp_continue |
| } |
| -re "^5 n \[ \t\]+$hex $hex rw nocache \[^\r\n\]*.." { |
| set see5 1 |
| exp_continue |
| } |
| -re "$gdb_prompt $" { |
| if { $see1 && $see2 && $see3 && $see4 && $see5 } then { |
| pass "mem 1 to 5 were disabled" |
| } else { |
| fail "mem 1 to 5 were disabled" |
| } |
| } |
| } |
| |
| gdb_test_no_output "enable mem" "enable mem" |
| |
| set see1 0 |
| set see2 0 |
| set see3 0 |
| set see4 0 |
| set see5 0 |
| |
| gdb_test_multiple "info mem" "mem 1 to 5 were enabled" { |
| -re ${info_mem_header_pattern} { |
| # Discard the header. |
| exp_continue |
| } |
| -re "^1 y \[ \t\]+$hex $hex wo nocache \[^\r\n\]*.." { |
| set see1 1 |
| exp_continue |
| } |
| -re "^2 y \[ \t\]+$hex $hex ro nocache \[^\r\n\]*.." { |
| set see2 1 |
| exp_continue |
| } |
| -re "^3 y \[ \t\]+$hex $hex rw nocache \[^\r\n\]*.." { |
| set see3 1 |
| exp_continue |
| } |
| -re "^4 y \[ \t\]+$hex $hex rw nocache \[^\r\n\]*.." { |
| set see4 1 |
| exp_continue |
| } |
| -re "^5 y \[ \t\]+$hex $hex rw nocache \[^\r\n\]*.." { |
| set see5 1 |
| exp_continue |
| } |
| -re "$gdb_prompt $" { |
| if { $see1 && $see2 && $see3 && $see4 && $see5 } then { |
| pass "mem 1 to 5 were enabled" |
| } else { |
| fail "mem 1 to 5 were enabled" |
| } |
| } |
| } |
| |
| gdb_test "disable mem 7 8" \ |
| "No memory region number 7.*No memory region number 8." \ |
| "disable non-existant regions" |
| |
| # |
| # Test delete |
| # |
| |
| set see1 0 |
| set see2 0 |
| set see3 0 |
| set see4 0 |
| set see5 0 |
| |
| gdb_test_no_output "delete mem 1" "delete mem 1" |
| gdb_test_multiple "info mem" "mem 1 was deleted" { |
| -re ${info_mem_header_pattern} { |
| # Discard the header. |
| exp_continue |
| } |
| -re "^1 y \[ \t\]+$hex $hex wo nocache \[^\r\n\]*.." { |
| set see1 1 |
| exp_continue |
| } |
| -re "^2 y \[ \t\]+$hex $hex ro nocache \[^\r\n\]*.." { |
| set see2 1 |
| exp_continue |
| } |
| -re "^3 y \[ \t\]+$hex $hex rw nocache \[^\r\n\]*.." { |
| set see3 1 |
| exp_continue |
| } |
| -re "^4 y \[ \t\]+$hex $hex rw nocache \[^\r\n\]*.." { |
| set see4 1 |
| exp_continue |
| } |
| -re "^5 y \[ \t\]+$hex $hex rw nocache \[^\r\n\]*.." { |
| set see5 1 |
| exp_continue |
| } |
| -re "$gdb_prompt $" { |
| if { !$see1 && $see2 && $see3 && $see4 && $see5 } then { |
| pass "mem 1 was deleted" |
| } else { |
| fail "mem 1 was deleted" |
| } |
| } |
| } |
| |
| set see1 0 |
| set see2 0 |
| set see3 0 |
| set see4 0 |
| set see5 0 |
| |
| gdb_test_no_output "delete mem 2 4" "delete mem 2 4" |
| gdb_test_multiple "info mem" "mem 2 and 4 were deleted" { |
| -re ${info_mem_header_pattern} { |
| # Discard the header. |
| exp_continue |
| } |
| -re "^1 y \[ \t\]+$hex $hex wo nocache \[^\r\n\]*.." { |
| set see1 1 |
| exp_continue |
| } |
| -re "^2 y \[ \t\]+$hex $hex ro nocache \[^\r\n\]*.." { |
| set see2 1 |
| exp_continue |
| } |
| -re "^3 y \[ \t\]+$hex $hex rw nocache \[^\r\n\]*.." { |
| set see3 1 |
| exp_continue |
| } |
| -re "^4 y \[ \t\]+$hex $hex rw nocache \[^\r\n\]*.." { |
| set see4 1 |
| exp_continue |
| } |
| -re "^5 y \[ \t\]+$hex $hex rw nocache \[^\r\n\]*.." { |
| set see5 1 |
| exp_continue |
| } |
| -re "$gdb_prompt $" { |
| if { !$see1 && !$see2 && $see3 && !$see4 && $see5 } then { |
| pass "mem 2 and 4 were deleted" |
| } else { |
| fail "mem 2 and 4 were deleted" |
| } |
| } |
| } |
| |
| set see1 0 |
| set see2 0 |
| set see3 0 |
| set see4 0 |
| set see5 0 |
| |
| gdb_test "delete mem 2-4" \ |
| "No memory region number 2.*No memory region number 4." |
| gdb_test_multiple "info mem" "mem 2-4 were deleted" { |
| -re ${info_mem_header_pattern} { |
| # Discard the header. |
| exp_continue |
| } |
| -re "^1 y \[ \t\]+$hex $hex wo nocache \[^\r\n\]*.." { |
| set see1 1 |
| exp_continue |
| } |
| -re "^2 y \[ \t\]+$hex $hex ro nocache \[^\r\n\]*.." { |
| set see2 1 |
| exp_continue |
| } |
| -re "^3 y \[ \t\]+$hex $hex rw nocache \[^\r\n\]*.." { |
| set see3 1 |
| exp_continue |
| } |
| -re "^4 y \[ \t\]+$hex $hex rw nocache \[^\r\n\]*.." { |
| set see4 1 |
| exp_continue |
| } |
| -re "^5 y \[ \t\]+$hex $hex rw nocache \[^\r\n\]*.." { |
| set see5 1 |
| exp_continue |
| } |
| -re "$gdb_prompt $" { |
| if { !$see1 && !$see2 && !$see3 && !$see4 && $see5 } then { |
| pass "mem 2-4 were deleted" |
| } else { |
| fail "mem 2-4 were deleted" |
| } |
| } |
| } |
| |
| gdb_test "delete mem 8" "No memory region number 8." \ |
| "delete non-existant region" |
| |
| # |
| # Test overlapping checking |
| # |
| |
| # Create a region that doesn't overlap (a PASS in the table). |
| |
| proc region_pass { region } { |
| gdb_test_no_output "mem $region ro" "$region: no-overlap" |
| } |
| |
| # Try to create a region that overlaps (a FAIL in the table). |
| |
| proc region_fail { region } { |
| gdb_test "mem $region ro" "overlapping memory region" "$region: overlap" |
| } |
| |
| # Test normal case (upper != 0) |
| # |
| # lo' hi' |
| # |--------| |
| # 10 20 30 40 50 60 70 80 90 |
| # |-----| FAIL |
| # |--| FAIL |
| # |--| FAIL |
| # |--| FAIL |
| # |-----| FAIL |
| # |--------| FAIL |
| # |--------------| FAIL |
| # |--------------------- FAIL |
| # |------------------ FAIL |
| # |--------------- FAIL |
| # |--| PASS |
| # |--| PASS |
| # |--- PASS |
| |
| # Clear the memory regions list. |
| delete_memory_regions |
| gdb_test_no_output "mem 0x30 0x60 ro" |
| with_test_prefix "0x30 0x60" { |
| region_fail "0x20 0x40" |
| region_fail "0x30 0x40" |
| region_fail "0x40 0x50" |
| region_fail "0x50 0x60" |
| region_fail "0x50 0x70" |
| region_fail "0x30 0x60" |
| region_fail "0x20 0x70" |
| region_fail "0x20 0x0" |
| region_fail "0x30 0x0" |
| region_fail "0x40 0x0" |
| region_pass "0x20 0x30" |
| region_pass "0x60 0x70" |
| region_pass "0x80 0x0" |
| } |
| |
| # Test special case (upper == 0) |
| # |
| # lo' hi' |
| # |--------------- |
| # 00 10 20 30 40 50 60 70 80 |
| # |--------| FAIL |
| # |-----| FAIL |
| # |--| FAIL |
| # |------------------ FAIL |
| # |--------------- FAIL |
| # |------------ FAIL |
| # |--| PASS |
| # |--| PASS |
| |
| # Clear the memory regions list. |
| delete_memory_regions |
| gdb_test_no_output "mem 0x30 0x0 ro" |
| with_test_prefix "0x30 0x0" { |
| region_fail "0x20 0x50" |
| region_fail "0x30 0x50" |
| region_fail "0x40 0x50" |
| region_fail "0x20 0x0" |
| region_fail "0x30 0x0" |
| region_fail "0x40 0x0" |
| region_pass "0x20 0x30" |
| region_pass "0x00 0x10" |
| } |
