1 1.1 christos # This testcase is part of GDB, the GNU debugger. 2 1.1 christos 3 1.11 christos # Copyright 2004-2024 Free Software Foundation, Inc. 4 1.1 christos 5 1.1 christos # This program is free software; you can redistribute it and/or modify 6 1.1 christos # it under the terms of the GNU General Public License as published by 7 1.1 christos # the Free Software Foundation; either version 3 of the License, or 8 1.1 christos # (at your option) any later version. 9 1.1 christos # 10 1.1 christos # This program is distributed in the hope that it will be useful, 11 1.1 christos # but WITHOUT ANY WARRANTY; without even the implied warranty of 12 1.1 christos # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 13 1.1 christos # GNU General Public License for more details. 14 1.1 christos # 15 1.1 christos # You should have received a copy of the GNU General Public License 16 1.1 christos # along with this program. If not, see <http://www.gnu.org/licenses/>. 17 1.1 christos 18 1.1 christos # Check that GDB can and only executes single instructions when 19 1.1 christos # stepping through a sequence of breakpoints interleaved by a signal 20 1.1 christos # handler. 21 1.1 christos 22 1.1 christos # This test is known to tickle the following problems: kernel letting 23 1.1 christos # the inferior execute both the system call, and the instruction 24 1.1 christos # following, when single-stepping a system call; kernel failing to 25 1.12 christos # propagate the single-step state when single-stepping the sigreturn 26 1.1 christos # system call, instead resuming the inferior at full speed; GDB 27 1.1 christos # doesn't know how to software single-step across a sigreturn 28 1.1 christos # instruction. Since the kernel problems can be "fixed" using 29 1.1 christos # software single-step this is KFAILed rather than XFAILed. 30 1.1 christos 31 1.11 christos require {!target_info exists gdb,nosignals} 32 1.1 christos 33 1.1 christos 34 1.1 christos standard_testfile 35 1.1 christos 36 1.7 christos if {[prepare_for_testing "failed to prepare" $testfile $srcfile debug]} { 37 1.1 christos return -1 38 1.1 christos } 39 1.1 christos 40 1.1 christos # 41 1.1 christos # Run to `main' where we begin our tests. 42 1.1 christos # 43 1.1 christos 44 1.10 christos if {![runto_main]} { 45 1.8 christos return 0 46 1.1 christos } 47 1.1 christos 48 1.1 christos # If we can examine what's at memory address 0, it is possible that we 49 1.1 christos # could also execute it. This could probably make us run away, 50 1.1 christos # executing random code, which could have all sorts of ill effects, 51 1.1 christos # especially on targets without an MMU. Don't run the tests in that 52 1.1 christos # case. 53 1.1 christos 54 1.3 christos if { [is_address_zero_readable] } { 55 1.7 christos untested "memory at address 0 is possibly executable" 56 1.3 christos return 57 1.1 christos } 58 1.1 christos 59 1.1 christos gdb_test "break keeper" 60 1.1 christos 61 1.1 christos # Run to bowler, and then single step until there's a SIGSEGV. Record 62 1.1 christos # the address of each single-step instruction (up to and including the 63 1.1 christos # instruction that causes the SIGSEGV) in bowler_addrs, and the address 64 1.1 christos # of the actual SIGSEGV in segv_addr. 65 1.1 christos # Note: this test detects which signal is received. Usually it is SIGSEGV 66 1.1 christos # (and we use SIGSEGV in comments) but on Darwin it is SIGBUS. 67 1.1 christos 68 1.1 christos set bowler_addrs bowler 69 1.1 christos set segv_addr none 70 1.1 christos gdb_test {display/i $pc} 71 1.3 christos gdb_test "advance bowler" "bowler.*" "advance to the bowler" 72 1.1 christos set test "stepping to fault" 73 1.1 christos set signame "SIGSEGV" 74 1.1 christos gdb_test_multiple "stepi" "$test" { 75 1.1 christos -re "Program received signal (SIGBUS|SIGSEGV).*pc(\r\n| *) *=> (0x\[0-9a-f\]*).*$gdb_prompt $" { 76 1.1 christos set signame $expect_out(1,string) 77 1.1 christos set segv_addr $expect_out(3,string) 78 1.1 christos pass "$test" 79 1.1 christos } 80 1.1 christos -re " .*pc(\r\n| *)=> (0x\[0-9a-f\]*).*bowler.*$gdb_prompt $" { 81 1.1 christos set bowler_addrs [concat $expect_out(2,string) $bowler_addrs] 82 1.1 christos send_gdb "stepi\n" 83 1.1 christos exp_continue 84 1.1 christos } 85 1.1 christos } 86 1.1 christos 87 1.1 christos # Now record the address of the instruction following the faulting 88 1.1 christos # instruction in bowler_addrs. 89 1.1 christos 90 1.1 christos set test "get insn after fault" 91 1.1 christos gdb_test_multiple {x/2i $pc} "$test" { 92 1.1 christos -re "=> (0x\[0-9a-f\]*).*bowler.*(0x\[0-9a-f\]*).*bowler.*$gdb_prompt $" { 93 1.1 christos set bowler_addrs [concat $expect_out(2,string) $bowler_addrs] 94 1.1 christos pass "$test" 95 1.1 christos } 96 1.1 christos } 97 1.1 christos 98 1.1 christos # Procedures for returning the address of the instruction before, at 99 1.1 christos # and after, the faulting instruction. 100 1.1 christos 101 1.1 christos proc before_segv { } { 102 1.1 christos global bowler_addrs 103 1.1 christos return [lindex $bowler_addrs 2] 104 1.1 christos } 105 1.1 christos 106 1.1 christos proc at_segv { } { 107 1.1 christos global bowler_addrs 108 1.1 christos return [lindex $bowler_addrs 1] 109 1.1 christos } 110 1.1 christos 111 1.1 christos proc after_segv { } { 112 1.1 christos global bowler_addrs 113 1.1 christos return [lindex $bowler_addrs 0] 114 1.1 christos } 115 1.1 christos 116 1.1 christos # Check that the address table and SIGSEGV correspond. 117 1.1 christos 118 1.7 christos set test "verify that ${signame} occurs at the last STEPI insn" 119 1.1 christos if {[string compare $segv_addr [at_segv]] == 0} { 120 1.1 christos pass "$test" 121 1.1 christos } else { 122 1.1 christos fail "$test ($segv_addr [at_segv])" 123 1.1 christos } 124 1.1 christos 125 1.1 christos # Check that the inferior is correctly single stepped all the way back 126 1.1 christos # to a faulting instruction. 127 1.1 christos 128 1.1 christos proc stepi_out { name args } { 129 1.1 christos global gdb_prompt 130 1.1 christos global signame 131 1.1 christos 132 1.1 christos # Set SIGSEGV to pass+nostop and then run the inferior all the way 133 1.1 christos # through to the signal handler. With the handler is reached, 134 1.1 christos # disable SIGSEGV, ensuring that further signals stop the 135 1.1 christos # inferior. Stops a SIGSEGV infinite loop when a broke system 136 1.1 christos # keeps re-executing the faulting instruction. 137 1.9 christos with_test_prefix $name { 138 1.9 christos rerun_to_main 139 1.9 christos } 140 1.1 christos gdb_test "handle ${signame} nostop print pass" ".*" "${name}; pass ${signame}" 141 1.1 christos gdb_test "continue" "keeper.*" "${name}; continue to keeper" 142 1.1 christos gdb_test "handle ${signame} stop print nopass" ".*" "${name}; nopass ${signame}" 143 1.1 christos 144 1.1 christos # Insert all the breakpoints. To avoid the need to step over 145 1.1 christos # these instructions, this is delayed until after the keeper has 146 1.1 christos # been reached. 147 1.1 christos for {set i 0} {$i < [llength $args]} {incr i} { 148 1.1 christos gdb_test "break [lindex $args $i]" "Breakpoint.*" \ 149 1.1 christos "${name}; set breakpoint $i of [llength $args]" 150 1.1 christos } 151 1.1 christos 152 1.1 christos # Single step our way out of the keeper, through the signal 153 1.1 christos # trampoline, and back to the instruction that faulted. 154 1.1 christos set test "${name}; stepi out of handler" 155 1.1 christos gdb_test_multiple "stepi" "$test" { 156 1.1 christos -re "Could not insert single-step breakpoint.*$gdb_prompt $" { 157 1.3 christos setup_kfail gdb/8841 "sparc*-*-openbsd*" 158 1.1 christos fail "$test (could not insert single-step breakpoint)" 159 1.1 christos } 160 1.6 christos -re "Cannot insert breakpoint.*Cannot access memory.*$gdb_prompt $" { 161 1.6 christos fail "$test (could not insert single-step breakpoint)" 162 1.6 christos } 163 1.1 christos -re "keeper.*$gdb_prompt $" { 164 1.1 christos send_gdb "stepi\n" 165 1.1 christos exp_continue 166 1.1 christos } 167 1.1 christos -re "signal handler.*$gdb_prompt $" { 168 1.1 christos send_gdb "stepi\n" 169 1.1 christos exp_continue 170 1.1 christos } 171 1.1 christos -re "Program received signal SIGSEGV.*$gdb_prompt $" { 172 1.3 christos kfail gdb/8807 "$test (executed fault insn)" 173 1.1 christos } 174 1.1 christos -re "Breakpoint.*pc(\r\n| *)[at_segv] .*bowler.*$gdb_prompt $" { 175 1.1 christos pass "$test (at breakpoint)" 176 1.1 christos } 177 1.1 christos -re "Breakpoint.*pc(\r\n| *)[after_segv] .*bowler.*$gdb_prompt $" { 178 1.3 christos kfail gdb/8807 "$test (executed breakpoint)" 179 1.1 christos } 180 1.1 christos -re "pc(\r\n| *)[at_segv] .*bowler.*$gdb_prompt $" { 181 1.1 christos pass "$test" 182 1.1 christos } 183 1.1 christos -re "pc(\r\n| *)[after_segv] .*bowler.*$gdb_prompt $" { 184 1.3 christos kfail gdb/8807 "$test (skipped fault insn)" 185 1.1 christos } 186 1.1 christos -re "pc(\r\n| *)=> 0x\[a-z0-9\]* .*bowler.*$gdb_prompt $" { 187 1.3 christos kfail gdb/8807 "$test (corrupt pc)" 188 1.1 christos } 189 1.1 christos } 190 1.1 christos 191 1.1 christos # Clear any breakpoints 192 1.1 christos for {set i 0} {$i < [llength $args]} {incr i} { 193 1.1 christos gdb_test "clear [lindex $args $i]" "Deleted .*" \ 194 1.1 christos "${name}; clear breakpoint $i of [llength $args]" 195 1.1 christos } 196 1.1 christos } 197 1.1 christos 198 1.1 christos # Let a signal handler exit, returning to a breakpoint instruction 199 1.1 christos # inserted at the original fault instruction. Check that the 200 1.1 christos # breakpoint is hit, and that single stepping off that breakpoint 201 1.1 christos # executes the underlying fault instruction causing a SIGSEGV. 202 1.1 christos 203 1.1 christos proc cont_out { name args } { 204 1.1 christos global gdb_prompt 205 1.1 christos global signame 206 1.1 christos 207 1.1 christos # Set SIGSEGV to pass+nostop and then run the inferior all the way 208 1.1 christos # through to the signal handler. With the handler is reached, 209 1.1 christos # disable SIGSEGV, ensuring that further signals stop the 210 1.1 christos # inferior. Stops a SIGSEGV infinite loop when a broke system 211 1.1 christos # keeps re-executing the faulting instruction. 212 1.9 christos with_test_prefix $name { 213 1.9 christos rerun_to_main 214 1.9 christos } 215 1.1 christos gdb_test "handle ${signame} nostop print pass" ".*" "${name}; pass ${signame}" 216 1.1 christos gdb_test "continue" "keeper.*" "${name}; continue to keeper" 217 1.1 christos gdb_test "handle ${signame} stop print nopass" ".*" "${name}; nopass ${signame}" 218 1.1 christos 219 1.1 christos # Insert all the breakpoints. To avoid the need to step over 220 1.1 christos # these instructions, this is delayed until after the keeper has 221 1.1 christos # been reached. Always set a breakpoint at the signal trampoline 222 1.1 christos # instruction. 223 1.1 christos set args [concat $args "*[at_segv]"] 224 1.1 christos for {set i 0} {$i < [llength $args]} {incr i} { 225 1.1 christos gdb_test "break [lindex $args $i]" "Breakpoint.*" \ 226 1.1 christos "${name}; set breakpoint $i of [llength $args]" 227 1.1 christos } 228 1.1 christos 229 1.1 christos # Let the handler return, it should "appear to hit" the breakpoint 230 1.1 christos # inserted at the faulting instruction. Note that the breakpoint 231 1.1 christos # instruction wasn't executed, rather the inferior was SIGTRAPed 232 1.1 christos # with the PC at the breakpoint. 233 1.1 christos gdb_test "continue" "Breakpoint.*pc(\r\n| *)=> [at_segv] .*" \ 234 1.1 christos "${name}; continue to breakpoint at fault" 235 1.1 christos 236 1.1 christos # Now single step the faulted instrction at that breakpoint. 237 1.1 christos gdb_test "stepi" \ 238 1.1 christos "Program received signal ${signame}.*pc(\r\n| *)=> [at_segv] .*" \ 239 1.1 christos "${name}; stepi fault" 240 1.1 christos 241 1.1 christos # Clear any breakpoints 242 1.1 christos for {set i 0} {$i < [llength $args]} {incr i} { 243 1.1 christos gdb_test "clear [lindex $args $i]" "Deleted .*" \ 244 1.1 christos "${name}; clear breakpoint $i of [llength $args]" 245 1.1 christos } 246 1.1 christos 247 1.1 christos } 248 1.1 christos 249 1.1 christos 250 1.1 christos 251 1.1 christos # Try to confuse DECR_PC_AFTER_BREAK architectures by scattering 252 1.1 christos # breakpoints around the faulting address. In all cases the inferior 253 1.1 christos # should single-step out of the signal trampoline halting (but not 254 1.1 christos # executing) the fault instruction. 255 1.1 christos 256 1.1 christos stepi_out "stepi" 257 1.1 christos stepi_out "stepi bp before segv" "*[before_segv]" 258 1.1 christos stepi_out "stepi bp at segv" "*[at_segv]" 259 1.1 christos stepi_out "stepi bp before and at segv" "*[at_segv]" "*[before_segv]" 260 1.1 christos 261 1.1 christos 262 1.1 christos # Try to confuse DECR_PC_AFTER_BREAK architectures by scattering 263 1.1 christos # breakpoints around the faulting address. In all cases the inferior 264 1.1 christos # should exit the signal trampoline halting at the breakpoint that 265 1.1 christos # replaced the fault instruction. 266 1.1 christos cont_out "cont" 267 1.1 christos cont_out "cont bp after segv" "*[before_segv]" 268 1.1 christos cont_out "cont bp before and after segv" "*[before_segv]" "*[after_segv]" 269