# This testcase is part of GDB, the GNU debugger.
|
# This testcase is part of GDB, the GNU debugger.
|
|
|
# Copyright 1997, 1998, 1999, 2000, 2002, 2001, 2003, 2004, 2007, 2008, 2009,
|
# Copyright 1997, 1998, 1999, 2000, 2002, 2001, 2003, 2004, 2007, 2008, 2009,
|
# 2010 Free Software Foundation, Inc.
|
# 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 . */
|
# step-test.exp -- Expect script to test stepping in gdb
|
# step-test.exp -- Expect script to test stepping in gdb
|
|
|
if $tracelevel then {
|
if $tracelevel then {
|
strace $tracelevel
|
strace $tracelevel
|
}
|
}
|
|
|
set testfile step-test
|
set testfile step-test
|
set srcfile ${testfile}.c
|
set srcfile ${testfile}.c
|
set binfile ${objdir}/${subdir}/${testfile}
|
set binfile ${objdir}/${subdir}/${testfile}
|
|
|
remote_exec build "rm -f ${binfile}"
|
remote_exec build "rm -f ${binfile}"
|
if { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}" executable {debug}] != "" } {
|
if { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}" executable {debug}] != "" } {
|
untested step-test.exp
|
untested step-test.exp
|
return -1
|
return -1
|
}
|
}
|
|
|
gdb_exit
|
gdb_exit
|
gdb_start
|
gdb_start
|
gdb_reinitialize_dir $srcdir/$subdir
|
gdb_reinitialize_dir $srcdir/$subdir
|
gdb_load ${binfile}
|
gdb_load ${binfile}
|
|
|
if ![runto_main] then {
|
if ![runto_main] then {
|
fail "Can't run to main"
|
fail "Can't run to main"
|
return 0
|
return 0
|
}
|
}
|
|
|
# Set a breakpoint at line 45, if stepi then finish fails, we would
|
# Set a breakpoint at line 45, if stepi then finish fails, we would
|
# run to the end of the program, which would mess up the rest of the tests.
|
# run to the end of the program, which would mess up the rest of the tests.
|
|
|
# Vanilla step/next
|
# Vanilla step/next
|
#
|
#
|
gdb_test "next" ".*${decimal}.*x = 1;.*" "next 1"
|
gdb_test "next" ".*${decimal}.*x = 1;.*" "next 1"
|
gdb_test "step" ".*${decimal}.*y = 2;.*" "step 1"
|
gdb_test "step" ".*${decimal}.*y = 2;.*" "step 1"
|
|
|
# With count
|
# With count
|
#
|
#
|
gdb_test "next 2" ".*${decimal}.*w = w.*2;.*" "next 2"
|
gdb_test "next 2" ".*${decimal}.*w = w.*2;.*" "next 2"
|
gdb_test "step 3" ".*${decimal}.*z = z.*5;.*" "step 3"
|
gdb_test "step 3" ".*${decimal}.*z = z.*5;.*" "step 3"
|
gdb_test "next" ".*${decimal}.*callee.*OVER.*" "next 3"
|
gdb_test "next" ".*${decimal}.*callee.*OVER.*" "next 3"
|
|
|
# Step over call
|
# Step over call
|
#
|
#
|
gdb_test "next" ".*${decimal}.*callee.*INTO.*" "next over"
|
gdb_test "next" ".*${decimal}.*callee.*INTO.*" "next over"
|
|
|
# Step into call
|
# Step into call
|
#
|
#
|
gdb_test "step" ".*${decimal}.*myglob.*" "step into"
|
gdb_test "step" ".*${decimal}.*myglob.*" "step into"
|
|
|
# Step out of call
|
# Step out of call
|
#
|
#
|
# I wonder if this is really portable. Are there any caller-saves
|
# I wonder if this is really portable. Are there any caller-saves
|
# platforms, on which `finish' will return you to some kind of pop
|
# platforms, on which `finish' will return you to some kind of pop
|
# instruction, which is attributed to the line containing the function
|
# instruction, which is attributed to the line containing the function
|
# call?
|
# call?
|
|
|
# On PA64, we end up at a different instruction than PA32.
|
# On PA64, we end up at a different instruction than PA32.
|
# On IA-64, we also end up on callee instead of on the next line due
|
# On IA-64, we also end up on callee instead of on the next line due
|
# to the restoration of the global pointer (which is a caller-save).
|
# to the restoration of the global pointer (which is a caller-save).
|
# Similarly on MIPS PIC targets.
|
# Similarly on MIPS PIC targets.
|
set test "step out"
|
set test "step out"
|
if { [istarget "hppa2.0w-hp-hpux*"] || [istarget "ia64-*-*"] || [istarget "mips*-*-*"]} {
|
if { [istarget "hppa2.0w-hp-hpux*"] || [istarget "ia64-*-*"] || [istarget "mips*-*-*"]} {
|
gdb_test_multiple "finish" "$test" {
|
gdb_test_multiple "finish" "$test" {
|
-re ".*${decimal}.*a.*5.*= a.*3.*$gdb_prompt $" {
|
-re ".*${decimal}.*a.*5.*= a.*3.*$gdb_prompt $" {
|
pass "$test"
|
pass "$test"
|
}
|
}
|
-re ".*${decimal}.*callee.*INTO.*$gdb_prompt $" {
|
-re ".*${decimal}.*callee.*INTO.*$gdb_prompt $" {
|
pass "$test"
|
pass "$test"
|
}
|
}
|
}
|
}
|
} else {
|
} else {
|
gdb_test "finish" ".*${decimal}.*a.*5.*= a.*3.*" "step out"
|
gdb_test "finish" ".*${decimal}.*a.*5.*= a.*3.*" "step out"
|
}
|
}
|
|
|
### Testing nexti and stepi.
|
### Testing nexti and stepi.
|
###
|
###
|
### test_i NAME COMMAND HERE THERE
|
### test_i NAME COMMAND HERE THERE
|
###
|
###
|
### Send COMMAND to gdb over and over, while the output matches the
|
### Send COMMAND to gdb over and over, while the output matches the
|
### regexp HERE, followed by the gdb prompt. Pass if the output
|
### regexp HERE, followed by the gdb prompt. Pass if the output
|
### eventually matches the regexp THERE, followed by the gdb prompt;
|
### eventually matches the regexp THERE, followed by the gdb prompt;
|
### fail if we have to iterate more than a hundred times, we time out
|
### fail if we have to iterate more than a hundred times, we time out
|
### talking to gdb, or we get output which is neither HERE nor THERE. :)
|
### talking to gdb, or we get output which is neither HERE nor THERE. :)
|
###
|
###
|
### Use NAME as the name of the test.
|
### Use NAME as the name of the test.
|
###
|
###
|
### The exact regexps used are "$HERE.*$gdb_prompt $"
|
### The exact regexps used are "$HERE.*$gdb_prompt $"
|
### and "$THERE.*$gdb_prompt $"
|
### and "$THERE.*$gdb_prompt $"
|
###
|
###
|
proc test_i {name command here there} {
|
proc test_i {name command here there} {
|
global gdb_prompt
|
global gdb_prompt
|
|
|
set i 0
|
set i 0
|
gdb_test_multiple "$command" "$name" {
|
gdb_test_multiple "$command" "$name" {
|
-re "$here.*$gdb_prompt $" {
|
-re "$here.*$gdb_prompt $" {
|
# Have we gone for too many steps without seeing any progress?
|
# Have we gone for too many steps without seeing any progress?
|
if {[incr i] >= 100} {
|
if {[incr i] >= 100} {
|
fail "$name (no progress after 100 steps)"
|
fail "$name (no progress after 100 steps)"
|
return
|
return
|
}
|
}
|
send_gdb "$command\n"
|
send_gdb "$command\n"
|
exp_continue
|
exp_continue
|
}
|
}
|
-re "$there.*$gdb_prompt $" {
|
-re "$there.*$gdb_prompt $" {
|
# We've reached the next line. Rah.
|
# We've reached the next line. Rah.
|
pass "$name"
|
pass "$name"
|
return
|
return
|
}
|
}
|
}
|
}
|
}
|
}
|
|
|
test_i "stepi to next line" "stepi" \
|
test_i "stepi to next line" "stepi" \
|
".*${decimal}.*a.*5.* = a.*3" \
|
".*${decimal}.*a.*5.* = a.*3" \
|
".*${decimal}.*callee.*STEPI"
|
".*${decimal}.*callee.*STEPI"
|
|
|
# Continue to step until we enter the function. Also keep stepping
|
# Continue to step until we enter the function. Also keep stepping
|
# if this passes through a (useless) PLT entry.
|
# if this passes through a (useless) PLT entry.
|
test_i "stepi into function" "stepi" \
|
test_i "stepi into function" "stepi" \
|
"(.*${decimal}.*callee.*STEPI|.* in callee@plt)" \
|
"(.*${decimal}.*callee.*STEPI|.* in callee@plt)" \
|
".*callee \\(\\) at .*step-test\\.c"
|
".*callee \\(\\) at .*step-test\\.c"
|
|
|
# Continue to step until we reach the function's body. This makes it
|
# Continue to step until we reach the function's body. This makes it
|
# more likely that we've actually completed the prologue, so "finish"
|
# more likely that we've actually completed the prologue, so "finish"
|
# will work.
|
# will work.
|
test_i "stepi into function's first source line" "stepi" \
|
test_i "stepi into function's first source line" "stepi" \
|
".*${decimal}.*int callee" \
|
".*${decimal}.*int callee" \
|
".*${decimal}.*myglob.*; return 0;"
|
".*${decimal}.*myglob.*; return 0;"
|
|
|
# Have to be careful here, if the finish does not work,
|
# Have to be careful here, if the finish does not work,
|
# then we may run to the end of the program, which
|
# then we may run to the end of the program, which
|
# will cause erroneous failures in the rest of the tests
|
# will cause erroneous failures in the rest of the tests
|
set test "stepi: finish call"
|
set test "stepi: finish call"
|
gdb_test_multiple "finish" "$test" {
|
gdb_test_multiple "finish" "$test" {
|
-re ".*${decimal}.*callee.*NEXTI.*$gdb_prompt $" {
|
-re ".*${decimal}.*callee.*NEXTI.*$gdb_prompt $" {
|
pass "$test"
|
pass "$test"
|
}
|
}
|
-re ".*(Program received|Program exited).*$gdb_prompt $" {
|
-re ".*(Program received|Program exited).*$gdb_prompt $" {
|
# Oops... We ran to the end of the program... Better reset
|
# Oops... We ran to the end of the program... Better reset
|
if {![runto_main]} then {
|
if {![runto_main]} then {
|
fail "$test (Can't run to main)"
|
fail "$test (Can't run to main)"
|
return 0
|
return 0
|
}
|
}
|
if {![runto step-test.c:45]} {
|
if {![runto step-test.c:45]} {
|
fail "$test (Can't run to line 45)"
|
fail "$test (Can't run to line 45)"
|
return 0
|
return 0
|
}
|
}
|
fail "$test"
|
fail "$test"
|
}
|
}
|
-re ".*${decimal}.*callee.*STEPI.*$gdb_prompt $" {
|
-re ".*${decimal}.*callee.*STEPI.*$gdb_prompt $" {
|
# On PA64, we end up at a different instruction than PA32.
|
# On PA64, we end up at a different instruction than PA32.
|
# On IA-64, we end up on callee instead of on the following line due
|
# On IA-64, we end up on callee instead of on the following line due
|
# to the restoration of the global pointer.
|
# to the restoration of the global pointer.
|
# Similarly on MIPS PIC targets.
|
# Similarly on MIPS PIC targets.
|
if { [istarget "hppa2.0w-hp-hpux*"] || [istarget "ia64-*-*"] || [istarget "mips*-*-*"] } {
|
if { [istarget "hppa2.0w-hp-hpux*"] || [istarget "ia64-*-*"] || [istarget "mips*-*-*"] } {
|
test_i "$test" "stepi" \
|
test_i "$test" "stepi" \
|
".*${decimal}.*callee.*STEPI" ".*${decimal}.*callee.*NEXTI"
|
".*${decimal}.*callee.*STEPI" ".*${decimal}.*callee.*NEXTI"
|
} else {
|
} else {
|
fail "$test"
|
fail "$test"
|
}
|
}
|
}
|
}
|
}
|
}
|
|
|
test_i "nexti over function" "nexti" \
|
test_i "nexti over function" "nexti" \
|
".*${decimal}.*callee.*NEXTI" \
|
".*${decimal}.*callee.*NEXTI" \
|
".*${decimal}.*y = w \\+ z;"
|
".*${decimal}.*y = w \\+ z;"
|
|
|
# On some platforms, if we try to step into a function call that
|
# On some platforms, if we try to step into a function call that
|
# passes a large structure by value, then we actually end up stepping
|
# passes a large structure by value, then we actually end up stepping
|
# into memcpy, bcopy, or some such --- GCC emits the call to pass the
|
# into memcpy, bcopy, or some such --- GCC emits the call to pass the
|
# argument. Opinion is bitterly divided about whether this is the
|
# argument. Opinion is bitterly divided about whether this is the
|
# right behavior for GDB or not, but we'll catch it here, so folks
|
# right behavior for GDB or not, but we'll catch it here, so folks
|
# won't forget about it.
|
# won't forget about it.
|
# Update 4/4/2002 - Regardless of which opinion you have, you would
|
# Update 4/4/2002 - Regardless of which opinion you have, you would
|
# probably have to agree that gdb is currently behaving as designed,
|
# probably have to agree that gdb is currently behaving as designed,
|
# in the absence of additional code to not stop in functions used
|
# in the absence of additional code to not stop in functions used
|
# internally by the compiler. Since the testsuite should be checking
|
# internally by the compiler. Since the testsuite should be checking
|
# for conformance to the design, the correct behavior is to accept the
|
# for conformance to the design, the correct behavior is to accept the
|
# cases where gdb stops in memcpy/bcopy.
|
# cases where gdb stops in memcpy/bcopy.
|
|
|
gdb_test \
|
gdb_test \
|
"break [gdb_get_line_number "step-test.exp: large struct by value"]" \
|
"break [gdb_get_line_number "step-test.exp: large struct by value"]" \
|
".*Breakpoint.* at .*" \
|
".*Breakpoint.* at .*" \
|
"set breakpoint at call to large_struct_by_value"
|
"set breakpoint at call to large_struct_by_value"
|
gdb_test "continue" \
|
gdb_test "continue" \
|
".*Breakpoint ${decimal},.*large_struct_by_value.*" \
|
".*Breakpoint ${decimal},.*large_struct_by_value.*" \
|
"run to pass large struct"
|
"run to pass large struct"
|
set test "large struct by value"
|
set test "large struct by value"
|
gdb_test_multiple "step" "$test" {
|
gdb_test_multiple "step" "$test" {
|
-re ".*step-test.exp: arrive here 1.*$gdb_prompt $" {
|
-re ".*step-test.exp: arrive here 1.*$gdb_prompt $" {
|
pass "$test"
|
pass "$test"
|
}
|
}
|
-re ".*(memcpy|bcopy).*$gdb_prompt $" {
|
-re ".*(memcpy|bcopy).*$gdb_prompt $" {
|
send_gdb "finish\n" ; gdb_expect -re "$gdb_prompt $"
|
send_gdb "finish\n" ; gdb_expect -re "$gdb_prompt $"
|
send_gdb "step\n"
|
send_gdb "step\n"
|
exp_continue
|
exp_continue
|
}
|
}
|
}
|
}
|
|
|
gdb_continue_to_end "step-test.exp"
|
gdb_continue_to_end "step-test.exp"
|
|
|
return 0
|
return 0
|
|
|
