# Copyright 2004, 2007, 2008, 2009, 2010 Free Software Foundation, Inc.
|
# Copyright 2004, 2007, 2008, 2009, 2010 Free Software Foundation, Inc.
|
|
|
# This program is free software; you can redistribute it and/or modify
|
# 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
|
# it under the terms of the GNU General Public License as published by
|
# the Free Software Foundation; either version 3 of the License, or
|
# the Free Software Foundation; either version 3 of the License, or
|
# (at your option) any later version.
|
# (at your option) any later version.
|
#
|
#
|
# This program is distributed in the hope that it will be useful,
|
# This program is distributed in the hope that it will be useful,
|
# but WITHOUT ANY WARRANTY; without even the implied warranty of
|
# but WITHOUT ANY WARRANTY; without even the implied warranty of
|
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
# GNU General Public License for more details.
|
# GNU General Public License for more details.
|
#
|
#
|
# You should have received a copy of the GNU General Public License
|
# You should have received a copy of the GNU General Public License
|
# along with this program. If not, see .
|
# along with this program. If not, see .
|
|
|
# This test is to check that a frame's "info frame", especially the
|
# This test is to check that a frame's "info frame", especially the
|
# saved registers list, doesn't change while that frame isn't current.
|
# saved registers list, doesn't change while that frame isn't current.
|
|
|
# It uses the program savedregs.c to construct a somewhat warped
|
# It uses the program savedregs.c to construct a somewhat warped
|
# backtrace (contains both signal and dummy frames) and then, at each
|
# backtrace (contains both signal and dummy frames) and then, at each
|
# step checks that non-inner frames have consistent "info frame"
|
# step checks that non-inner frames have consistent "info frame"
|
# output. Note that a frame's "info frame" can only be captured after
|
# output. Note that a frame's "info frame" can only be captured after
|
# it is non-current (made a call, interrupted, ...), this is because
|
# it is non-current (made a call, interrupted, ...), this is because
|
# instructions executed to perform the call may affect "info frame"
|
# instructions executed to perform the call may affect "info frame"
|
# output.
|
# output.
|
|
|
if [target_info exists gdb,nosignals] {
|
if [target_info exists gdb,nosignals] {
|
verbose "Skipping savedregs.exp because of nosignals."
|
verbose "Skipping savedregs.exp because of nosignals."
|
continue
|
continue
|
}
|
}
|
|
|
if $tracelevel then {
|
if $tracelevel then {
|
strace $tracelevel
|
strace $tracelevel
|
}
|
}
|
|
|
set prms_id 0
|
set prms_id 0
|
set bug_id 0
|
set bug_id 0
|
|
|
set testfile savedregs
|
set testfile savedregs
|
set srcfile ${testfile}.c
|
set srcfile ${testfile}.c
|
set binfile ${objdir}/${subdir}/${testfile}
|
set binfile ${objdir}/${subdir}/${testfile}
|
if { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}" executable {debug}] != "" } {
|
if { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}" executable {debug}] != "" } {
|
untested "Couldn't compile ${module}.c"
|
untested "Couldn't compile ${module}.c"
|
return -1
|
return -1
|
}
|
}
|
|
|
# get things started
|
# get things started
|
gdb_exit
|
gdb_exit
|
gdb_start
|
gdb_start
|
gdb_reinitialize_dir $srcdir/$subdir
|
gdb_reinitialize_dir $srcdir/$subdir
|
gdb_load ${binfile}
|
gdb_load ${binfile}
|
|
|
# Advance to main
|
# Advance to main
|
if { ![runto_main] } {
|
if { ![runto_main] } {
|
gdb_suppress_tests;
|
gdb_suppress_tests;
|
}
|
}
|
|
|
proc process_saved_regs { current inner outer } {
|
proc process_saved_regs { current inner outer } {
|
global gdb_prompt
|
global gdb_prompt
|
global expect_out
|
global expect_out
|
global saved_regs
|
global saved_regs
|
|
|
# Skip the CURRENT frame.
|
# Skip the CURRENT frame.
|
|
|
set level 1
|
set level 1
|
|
|
# Run over the list of INNER frames capturing the "info frame"
|
# Run over the list of INNER frames capturing the "info frame"
|
# output for each. Both dummy and sigtramp frames need to be
|
# output for each. Both dummy and sigtramp frames need to be
|
# handled specially: they do not yet have correct function names;
|
# handled specially: they do not yet have correct function names;
|
# and for dummy frames won't have saved registers. If there's a
|
# and for dummy frames won't have saved registers. If there's a
|
# problem, fail but capture the output anyway, hopefully later
|
# problem, fail but capture the output anyway, hopefully later
|
# "info frame" requests for that same frame will at least fail in
|
# "info frame" requests for that same frame will at least fail in
|
# a consistent manner (stops propogated fails).
|
# a consistent manner (stops propogated fails).
|
|
|
foreach func $inner {
|
foreach func $inner {
|
set saved_regs($func) "error"
|
set saved_regs($func) "error"
|
set test "Get $func info frame"
|
set test "Get $func info frame"
|
# Both dummy and sigtramp frames have problems.
|
# Both dummy and sigtramp frames have problems.
|
switch $func {
|
switch $func {
|
dummy {
|
dummy {
|
# Dummy frame's do not have saved registers, and do
|
# Dummy frame's do not have saved registers, and do
|
# not print .
|
# not print .
|
set pat "Stack frame at .*"
|
set pat "Stack frame at .*"
|
}
|
}
|
sigtramp {
|
sigtramp {
|
# Sigtramp frames don't yet print .
|
# Sigtramp frames don't yet print .
|
set pat "Stack frame at .* Saved registers:.*"
|
set pat "Stack frame at .* Saved registers:.*"
|
}
|
}
|
default {
|
default {
|
set pat "Stack frame at .* in $func .* Saved registers:.*"
|
set pat "Stack frame at .* in $func .* Saved registers:.*"
|
}
|
}
|
}
|
}
|
# If the "info frame" barf, capture the output anyway so that
|
# If the "info frame" barf, capture the output anyway so that
|
# it does not cascade further failures.
|
# it does not cascade further failures.
|
gdb_test_multiple "info frame $level" "$test" {
|
gdb_test_multiple "info frame $level" "$test" {
|
-re "($pat)$gdb_prompt " {
|
-re "($pat)$gdb_prompt " {
|
set saved_regs($func) "$expect_out(1,string)"
|
set saved_regs($func) "$expect_out(1,string)"
|
pass "$test"
|
pass "$test"
|
}
|
}
|
-re "(Stack frame at .*)$gdb_prompt " {
|
-re "(Stack frame at .*)$gdb_prompt " {
|
set saved_regs($func) "$expect_out(1,string)"
|
set saved_regs($func) "$expect_out(1,string)"
|
fail "$test"
|
fail "$test"
|
}
|
}
|
-re "(Cannot access .*)$gdb_prompt " {
|
-re "(Cannot access .*)$gdb_prompt " {
|
set saved_regs($func) "$expect_out(1,string)"
|
set saved_regs($func) "$expect_out(1,string)"
|
fail "$test"
|
fail "$test"
|
}
|
}
|
}
|
}
|
incr level
|
incr level
|
}
|
}
|
|
|
# Now iterate through the list of OUTER frames checking that the
|
# Now iterate through the list of OUTER frames checking that the
|
# "info frame" output from each still matches what was captured
|
# "info frame" output from each still matches what was captured
|
# during an early query. To avoid cascading failures, checking is
|
# during an early query. To avoid cascading failures, checking is
|
# abandoned after the first failure. The assumption is that,
|
# abandoned after the first failure. The assumption is that,
|
# since frames outer to the botched frame rely on the botched
|
# since frames outer to the botched frame rely on the botched
|
# frame's info, those more outer frames are also botched. Besides
|
# frame's info, those more outer frames are also botched. Besides
|
# we've got the failure we're after.
|
# we've got the failure we're after.
|
|
|
set ok 1
|
set ok 1
|
foreach func $outer {
|
foreach func $outer {
|
set test [concat "Check $func info frame; stack contains" \
|
set test [concat "Check $func info frame; stack contains" \
|
$current $inner $outer]
|
$current $inner $outer]
|
if $ok {
|
if $ok {
|
set ok 0
|
set ok 0
|
set pat [string_to_regexp "$saved_regs($func)"]
|
set pat [string_to_regexp "$saved_regs($func)"]
|
gdb_test_multiple "info frame $level" "$test" {
|
gdb_test_multiple "info frame $level" "$test" {
|
-re "$pat$gdb_prompt " {
|
-re "$pat$gdb_prompt " {
|
pass "$test"
|
pass "$test"
|
set ok 1
|
set ok 1
|
}
|
}
|
}
|
}
|
} {
|
} {
|
pass "$test (skipped)"
|
pass "$test (skipped)"
|
}
|
}
|
incr level
|
incr level
|
}
|
}
|
}
|
}
|
|
|
|
|
# Continue to the signal thrower, capture main's saved-reg info.
|
# Continue to the signal thrower, capture main's saved-reg info.
|
gdb_test "advance thrower" "thrower .* at .*"
|
gdb_test "advance thrower" "thrower .* at .*"
|
process_saved_regs thrower { main } { }
|
process_saved_regs thrower { main } { }
|
|
|
# Continue to the signal catcher, check main's saved-reg info, capture
|
# Continue to the signal catcher, check main's saved-reg info, capture
|
# catcher's saved-reg info.
|
# catcher's saved-reg info.
|
gdb_test "handle SIGSEGV pass print nostop"
|
gdb_test "handle SIGSEGV pass print nostop"
|
gdb_test "advance catcher" "catcher .* at .*"
|
gdb_test "advance catcher" "catcher .* at .*"
|
process_saved_regs catcher { sigtramp thrower } { main }
|
process_saved_regs catcher { sigtramp thrower } { main }
|
|
|
# Breakpoint at and call the caller function, saved-regs of main and
|
# Breakpoint at and call the caller function, saved-regs of main and
|
# catcher, capture caller's registers.
|
# catcher, capture caller's registers.
|
gdb_test "break caller"
|
gdb_test "break caller"
|
gdb_test "call caller (1,2,3,4,5,6,7,8)"
|
gdb_test "call caller (1,2,3,4,5,6,7,8)"
|
process_saved_regs caller { dummy catcher } { sigtramp thrower main }
|
process_saved_regs caller { dummy catcher } { sigtramp thrower main }
|
|
|
# Run to callee, again check everything.
|
# Run to callee, again check everything.
|
gdb_test "advance callee" "callee .* at .*"
|
gdb_test "advance callee" "callee .* at .*"
|
process_saved_regs callee { caller } { dummy catcher sigtramp thrower main }
|
process_saved_regs callee { caller } { dummy catcher sigtramp thrower main }
|
|
|
