470e2f4e30
tests. FAIL: gdb.reverse/consecutive-precsave.exp: reload precord save file FAIL: gdb.reverse/finish-precsave.exp: reload precord save file FAIL: gdb.reverse/until-precsave.exp: reload core file FAIL: gdb.reverse/watch-precsave.exp: reload core file FAIL: gdb.reverse/step-precsave.exp: reload core file FAIL: gdb.reverse/break-precsave.exp: reload precord save file FAIL: gdb.reverse/sigall-precsave.exp: reload precord save file They happen for two reasons. - mingw32 does not define SIGTRAP, so upon recording a core file, the signal information will be missing, which in turn causes GDB to not display the stopping signal when it loads the same core file. An earlier message warns about this: "warning: Signal SIGTRAP does not exist on this system." - The testcase is crafted in a way that expects a pattern of the stopping signal message instead of a successful core file read message. The following patch fixes this by changing the old pattern to a more reasonable one, while still ignoring the fact that mingw32-based GDB does not record a SIGTRAP in a core file because it does not define it. gdb/testsuite/ 2014-11-18 Luis Machado <lgustavo@codesourcery.com> * gdb.reverse/break-precsave: Expect completion message for core file reads. * gdb.reverse/consecutive-precsave.exp: Likewise. * gdb.reverse/finish-precsave.exp: Likewise. * gdb.reverse/i386-precsave.exp: Likewise. * gdb.reverse/machinestate-precsave.exp: Likewise. * gdb.reverse/sigall-precsave.exp: Likewise. * gdb.reverse/solib-precsave.exp: Likewise. * gdb.reverse/step-precsave.exp: Likewise. * gdb.reverse/until-precsave.exp: Likewise. * gdb.reverse/watch-precsave.exp: Likewise.
255 lines
9.1 KiB
Text
255 lines
9.1 KiB
Text
# Copyright 2008-2014 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.
|
|
# This test tests the restoration of various kinds of machine state
|
|
# to their original values with a process record log. We will execute
|
|
# the program forward while it changes various types of data, and
|
|
# then execute it backward to see if their values get restored.
|
|
#
|
|
# The types of machine state (data) that are tested are:
|
|
# register variable
|
|
# auto variable
|
|
# function static variable
|
|
# module static variable
|
|
# module global variable
|
|
#
|
|
# TODO:
|
|
# various, possibly including...
|
|
# .bss variable, .data variable, ...
|
|
# shared library variable
|
|
# heap variable (pointer)...
|
|
# overlay variables...
|
|
# Test forward replay
|
|
#
|
|
|
|
# This test suitable only for process record-replay
|
|
if ![supports_process_record] {
|
|
return
|
|
}
|
|
|
|
standard_testfile machinestate.c ms1.c
|
|
set precsave [standard_output_file machinestate.precsave]
|
|
|
|
if { [prepare_for_testing $testfile.exp $testfile \
|
|
[list $srcfile $srcfile2]] } {
|
|
return -1
|
|
}
|
|
|
|
set newline "\[\r\n\]+"
|
|
|
|
set beginmain [gdb_get_line_number " begin main " $srcfile]
|
|
set endmain [gdb_get_line_number " end main " $srcfile]
|
|
|
|
# Test begins
|
|
|
|
runto main
|
|
|
|
if [supports_process_record] {
|
|
# Activate process record/replay
|
|
gdb_test_no_output "record" "Turn on process record"
|
|
}
|
|
|
|
gdb_test "break $endmain" \
|
|
"Breakpoint $decimal at .*$srcfile, line $endmain\." \
|
|
"BP at end of main"
|
|
|
|
gdb_test "continue" "Breakpoint .* end main .*" "run to end of main"
|
|
|
|
gdb_test "record save $precsave" \
|
|
"Saved core file $precsave with execution log\." \
|
|
"save process recfile"
|
|
|
|
gdb_test "kill" "" "Kill process, prepare to debug log file" \
|
|
"Kill the program being debugged\\? \\(y or n\\) " "y"
|
|
|
|
gdb_test "record restore $precsave" \
|
|
"Restored records from core file .*" \
|
|
"reload prec save file"
|
|
|
|
# Proceed to end of main
|
|
|
|
gdb_test "break $endmain" \
|
|
"Breakpoint.* file .*$srcfile, line $endmain.*" ""
|
|
|
|
gdb_test_multiple "continue" "go to end of main forward" {
|
|
-re ".*Breakpoint $decimal,.*$srcfile:$endmain.*$gdb_prompt $" {
|
|
pass "go to end of main forward"
|
|
}
|
|
-re "No more reverse-execution history.* end main .*$gdb_prompt $" {
|
|
pass "go to end of main forward"
|
|
}
|
|
}
|
|
|
|
###
|
|
###
|
|
###
|
|
|
|
# Now run backward to each of several points where data is changed.
|
|
#
|
|
|
|
# Module global variable, reverse
|
|
|
|
set breakloc [gdb_get_line_number \
|
|
"module_global_state: set breakpoint here" $srcfile]
|
|
|
|
gdb_test "tbreak $breakloc" ".*$srcfile, line $breakloc.*" ""
|
|
gdb_test "reverse-continue" ".*$srcfile:$breakloc.*" "reverse to $breakloc"
|
|
|
|
gdb_test "print aglobal" ".* = 0$newline" "module global reverse-breakpoint"
|
|
gdb_test "step" ".* module global post-change .*" ""
|
|
gdb_test "print aglobal" ".* = 1$newline" "module global forward past bp"
|
|
gdb_test "reverse-step" ".*$newline$breakloc.*" ""
|
|
gdb_test "print aglobal" ".* = 0$newline" "module global reverse-step to bp"
|
|
|
|
|
|
# Module static variable, reverse
|
|
|
|
set breakloc [gdb_get_line_number \
|
|
"module_static_state: set breakpoint here" $srcfile]
|
|
|
|
gdb_test "tbreak $breakloc" ".*$srcfile, line $breakloc.*" ""
|
|
gdb_test "reverse-continue" ".*$srcfile:$breakloc.*" "reverse to $breakloc"
|
|
|
|
gdb_test "print astatic" ".* = 0$newline" "module static reverse-breakpoint"
|
|
gdb_test "step" ".* module static post-change .*" ""
|
|
gdb_test "print astatic" ".* = 1$newline" "module static forward"
|
|
gdb_test "reverse-step" ".*$newline$breakloc.*" ""
|
|
gdb_test "print astatic" ".* = 0$newline" "module static reverse-step"
|
|
|
|
# Function static variable, reverse
|
|
|
|
set breakloc [gdb_get_line_number \
|
|
"function_static_state: set breakpoint here" $srcfile]
|
|
|
|
gdb_test "tbreak $breakloc" ".*$srcfile, line $breakloc.*" ""
|
|
gdb_test "reverse-continue" ".*$srcfile:$breakloc.*" "reverse to $breakloc"
|
|
|
|
gdb_test "print a" ".* = 0$newline" "function static reverse-breakpoint"
|
|
gdb_test "step" ".* function static post-change .*" ""
|
|
gdb_test "print a" ".* = 1$newline" "function static forward"
|
|
gdb_test "reverse-step" ".*$newline$breakloc.*" ""
|
|
gdb_test "print a" ".* = 0$newline" "function static reverse-step"
|
|
|
|
# Auto variable, reverse
|
|
|
|
set breakloc [gdb_get_line_number \
|
|
"auto_state: set breakpoint here" $srcfile]
|
|
|
|
gdb_test "tbreak $breakloc" ".*$srcfile, line $breakloc.*" ""
|
|
gdb_test "reverse-continue" ".*$srcfile:$breakloc.*" "reverse to $breakloc"
|
|
|
|
gdb_test "print a" ".* = 0$newline" "auto var reverse-breakpoint"
|
|
gdb_test "step" ".* auto post-change .*" ""
|
|
gdb_test "print a" ".* = 1$newline" "auto var forward"
|
|
gdb_test "reverse-step" ".*$newline$breakloc.*" ""
|
|
gdb_test "print a" ".* = 0$newline" "auto var reverse-step"
|
|
|
|
# Register variable, reverse
|
|
|
|
set breakloc [gdb_get_line_number \
|
|
"register_state: set breakpoint here" $srcfile]
|
|
|
|
gdb_test "tbreak $breakloc" ".*$srcfile, line $breakloc.*" ""
|
|
gdb_test "reverse-continue" ".*$srcfile:$breakloc.*" "reverse to $breakloc"
|
|
|
|
gdb_test "print a" ".* = 0$newline" "register var reverse-breakpoint"
|
|
gdb_test "step" ".* register post-change .*" ""
|
|
gdb_test "print a" ".* = 1$newline" "register var step post-change"
|
|
gdb_test "reverse-step" ".*$newline$breakloc.*" ""
|
|
gdb_test "print a" ".* = 0$newline" "register var reverse step-to"
|
|
|
|
# Proceed to beginning of main
|
|
|
|
gdb_test "tbreak $beginmain" ".*$srcfile, line $beginmain.*" ""
|
|
gdb_test "reverse-continue" ".*$srcfile:$beginmain.*" "reverse to main"
|
|
|
|
# Now repeat tests while replaying forward.
|
|
|
|
# Register variable, forward
|
|
|
|
set breakloc [gdb_get_line_number \
|
|
"register_state: set breakpoint here" $srcfile]
|
|
|
|
gdb_test "tbreak $breakloc" ".*$srcfile, line $breakloc.*" ""
|
|
gdb_test "continue" ".*$srcfile:$breakloc.*" "forward to $breakloc"
|
|
|
|
gdb_test "print a" ".* = 0$newline" "register var forward-breakpoint"
|
|
gdb_test "reverse-step" ".*hide.*" ""
|
|
gdb_test "step" ".*$newline$breakloc.*" ""
|
|
gdb_test "print a" ".* = 0$newline" "register var forward step-to"
|
|
gdb_test "step" ".* register post-change .*" ""
|
|
gdb_test "print a" ".* = 1$newline" "register var step post-change"
|
|
|
|
# Auto variable, forward
|
|
|
|
set breakloc [gdb_get_line_number \
|
|
"auto_state: set breakpoint here" $srcfile]
|
|
|
|
gdb_test "tbreak $breakloc" ".*$srcfile, line $breakloc.*" ""
|
|
gdb_test "continue" ".*$srcfile:$breakloc.*" "forward to $breakloc"
|
|
|
|
gdb_test "print a" ".* = 0$newline" "auto var forward-breakpoint"
|
|
gdb_test "reverse-step" ".*hide.*" ""
|
|
gdb_test "step" ".*$newline$breakloc.*" ""
|
|
gdb_test "print a" ".* = 0$newline" "auto var forward step-to"
|
|
gdb_test "step" ".* auto post-change .*" ""
|
|
gdb_test "print a" ".* = 1$newline" "auto var step post-change"
|
|
|
|
# Function static variable, forward
|
|
|
|
set breakloc [gdb_get_line_number \
|
|
"function_static_state: set breakpoint here" $srcfile]
|
|
|
|
gdb_test "tbreak $breakloc" ".*$srcfile, line $breakloc.*" ""
|
|
gdb_test "continue" ".*$srcfile:$breakloc.*" "forward to $breakloc"
|
|
|
|
gdb_test "print a" ".* = 0$newline" "function static forward-breakpoint"
|
|
gdb_test "reverse-step" ".*hide.*" ""
|
|
gdb_test "step" ".*$newline$breakloc.*" ""
|
|
gdb_test "print a" ".* = 0$newline" "function static forward step-to"
|
|
gdb_test "step" ".* function static post-change .*" ""
|
|
gdb_test "print a" ".* = 1$newline" "function static step post-change"
|
|
|
|
# Module static variable, forward
|
|
|
|
set breakloc [gdb_get_line_number \
|
|
"module_static_state: set breakpoint here" $srcfile]
|
|
|
|
gdb_test "tbreak $breakloc" ".*$srcfile, line $breakloc.*" ""
|
|
gdb_test "continue" ".*$srcfile:$breakloc.*" "forward to $breakloc"
|
|
|
|
gdb_test "print astatic" ".* = 0$newline" "module static forward-breakpoint"
|
|
gdb_test "reverse-step" ".*hide.*" ""
|
|
gdb_test "step" ".*$newline$breakloc.*" ""
|
|
gdb_test "print astatic" ".* = 0$newline" "module static forward step-to"
|
|
gdb_test "step" ".* module static post-change .*" ""
|
|
gdb_test "print astatic" ".* = 1$newline" "module static step post-change"
|
|
|
|
# Module global variable, forward
|
|
|
|
set breakloc [gdb_get_line_number \
|
|
"module_global_state: set breakpoint here" $srcfile]
|
|
|
|
gdb_test "tbreak $breakloc" ".*$srcfile, line $breakloc.*" ""
|
|
gdb_test "continue" ".*$srcfile:$breakloc.*" "forward to $breakloc"
|
|
|
|
gdb_test "print aglobal" ".* = 0$newline" "module global forward-breakpoint"
|
|
gdb_test "reverse-step" ".*hide.*" ""
|
|
gdb_test "step" ".*$newline$breakloc.*" ""
|
|
gdb_test "print aglobal" ".* = 0$newline" "module global forward step-to"
|
|
gdb_test "step" ".* module global post-change .*" ""
|
|
gdb_test "print aglobal" ".* = 1$newline" "module global step post-change"
|
|
|