1# Copyright 2004, 2007, 2008, 2009, 2010, 2011 Free Software Foundation, Inc. 2 3# This program is free software; you can redistribute it and/or modify 4# it under the terms of the GNU General Public License as published by 5# the Free Software Foundation; either version 3 of the License, or 6# (at your option) any later version. 7# 8# This program is distributed in the hope that it will be useful, 9# but WITHOUT ANY WARRANTY; without even the implied warranty of 10# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 11# GNU General Public License for more details. 12# 13# You should have received a copy of the GNU General Public License 14# along with this program. If not, see <http://www.gnu.org/licenses/>. 15 16# This test is to check that a frame's "info frame", especially the 17# saved registers list, doesn't change while that frame isn't current. 18 19# It uses the program savedregs.c to construct a somewhat warped 20# backtrace (contains both signal and dummy frames) and then, at each 21# step checks that non-inner frames have consistent "info frame" 22# output. Note that a frame's "info frame" can only be captured after 23# it is non-current (made a call, interrupted, ...), this is because 24# instructions executed to perform the call may affect "info frame" 25# output. 26 27if [target_info exists gdb,nosignals] { 28 verbose "Skipping savedregs.exp because of nosignals." 29 continue 30} 31 32if $tracelevel then { 33 strace $tracelevel 34} 35 36 37set testfile savedregs 38set srcfile ${testfile}.c 39set binfile ${objdir}/${subdir}/${testfile} 40if { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}" executable {debug}] != "" } { 41 untested "Couldn't compile ${module}.c" 42 return -1 43} 44 45# get things started 46gdb_exit 47gdb_start 48gdb_reinitialize_dir $srcdir/$subdir 49gdb_load ${binfile} 50 51# Advance to main 52if { ![runto_main] } { 53 gdb_suppress_tests; 54} 55 56proc process_saved_regs { current inner outer } { 57 global gdb_prompt 58 global expect_out 59 global saved_regs 60 61 # Skip the CURRENT frame. 62 63 set level 1 64 65 # Run over the list of INNER frames capturing the "info frame" 66 # output for each. Both dummy and sigtramp frames need to be 67 # handled specially: they do not yet have correct function names; 68 # and for dummy frames won't have saved registers. If there's a 69 # problem, fail but capture the output anyway, hopefully later 70 # "info frame" requests for that same frame will at least fail in 71 # a consistent manner (stops propogated fails). 72 73 foreach func $inner { 74 set saved_regs($func) "error" 75 set test "Get $func info frame" 76 # Both dummy and sigtramp frames have problems. 77 switch $func { 78 dummy { 79 # Dummy frame's do not have saved registers, and do 80 # not print <dummy>. 81 set pat "Stack frame at .*" 82 } 83 sigtramp { 84 # Sigtramp frames don't yet print <signal trampoline>. 85 set pat "Stack frame at .* Saved registers:.*" 86 } 87 default { 88 set pat "Stack frame at .* in $func .* Saved registers:.*" 89 } 90 } 91 # If the "info frame" barf, capture the output anyway so that 92 # it does not cascade further failures. 93 gdb_test_multiple "info frame $level" "$test" { 94 -re "($pat)$gdb_prompt " { 95 set saved_regs($func) "$expect_out(1,string)" 96 pass "$test" 97 } 98 -re "(Stack frame at .*)$gdb_prompt " { 99 set saved_regs($func) "$expect_out(1,string)" 100 fail "$test" 101 } 102 -re "(Cannot access .*)$gdb_prompt " { 103 set saved_regs($func) "$expect_out(1,string)" 104 fail "$test" 105 } 106 } 107 incr level 108 } 109 110 # Now iterate through the list of OUTER frames checking that the 111 # "info frame" output from each still matches what was captured 112 # during an early query. To avoid cascading failures, checking is 113 # abandoned after the first failure. The assumption is that, 114 # since frames outer to the botched frame rely on the botched 115 # frame's info, those more outer frames are also botched. Besides 116 # we've got the failure we're after. 117 118 set ok 1 119 foreach func $outer { 120 set test [concat "Check $func info frame; stack contains" \ 121 $current $inner $outer] 122 if $ok { 123 set ok 0 124 set pat [string_to_regexp "$saved_regs($func)"] 125 gdb_test_multiple "info frame $level" "$test" { 126 -re "$pat$gdb_prompt " { 127 pass "$test" 128 set ok 1 129 } 130 } 131 } { 132 pass "$test (skipped)" 133 } 134 incr level 135 } 136} 137 138 139# Continue to the signal thrower, capture main's saved-reg info. 140gdb_test "advance thrower" "thrower .* at .*" 141process_saved_regs thrower { main } { } 142 143# Continue to the signal catcher, check main's saved-reg info, capture 144# catcher's saved-reg info. 145gdb_test "handle SIGSEGV pass print nostop" 146gdb_test "advance catcher" "catcher .* at .*" 147process_saved_regs catcher { sigtramp thrower } { main } 148 149# Breakpoint at and call the caller function, saved-regs of main and 150# catcher, capture caller's registers. 151gdb_test "break caller" 152gdb_test "call caller (1,2,3,4,5,6,7,8)" 153process_saved_regs caller { dummy catcher } { sigtramp thrower main } 154 155# Run to callee, again check everything. 156gdb_test "advance callee" "callee .* at .*" 157process_saved_regs callee { caller } { dummy catcher sigtramp thrower main } 158