| # Copyright 2011-2018 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." \ | |
| "delete mem 2-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" | |
| } |