1 # Copyright 2008, 2009, 2010 Free Software Foundation, Inc.
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.
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.
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/>.
16 # This file is part of the GDB testsuite. It tests reverse debugging
19 if ![target_info exists gdb,can_reverse] {
23 set testfile "break-reverse"
24 set srcfile ${testfile}.c
26 if { [prepare_for_testing $testfile.exp $testfile $srcfile] } {
30 set foo_location [gdb_get_line_number "break in foo" ]
31 set bar_location [gdb_get_line_number "break in bar" ]
32 set main_location [gdb_get_line_number "break in main"]
33 set end_location [gdb_get_line_number "end of main" ]
37 if [target_info exists gdb,use_precord] {
38 # Activate process record/replay
39 gdb_test "record" "" "Turn on process record"
40 # FIXME: command ought to acknowledge, so we can test if it succeeded.
43 gdb_test "break foo" \
44 "Breakpoint $decimal at .* line $foo_location\." \
45 "set breakpoint on foo"
47 gdb_test "break bar" \
48 "Breakpoint $decimal at .* line $bar_location\." \
49 "set breakpoint on bar"
51 gdb_test "break $end_location" \
52 "Breakpoint $decimal at .* line $end_location\." \
53 set breakpoint at end of main"
55 gdb_continue_to_breakpoint "foo" ".*/$srcfile:$foo_location.*"
56 gdb_continue_to_breakpoint "bar" ".*/$srcfile:$bar_location.*"
57 gdb_continue_to_breakpoint "end" ".*/$srcfile:$end_location.*"
59 # FIXME 'set exec-dir' command should give some output so we can test.
60 gdb_test "set exec-direction reverse" "" "set reverse"
62 gdb_continue_to_breakpoint "bar backward" ".*/$srcfile:$bar_location.*"
63 gdb_continue_to_breakpoint "foo backward" ".*/$srcfile:$foo_location.*"
65 gdb_test_multiple "continue" "main backward" {
66 -re ".*Breakpoint $decimal,.*/$srcfile:$main_location.*$gdb_prompt $" {
69 -re "No more reverse-execution history.* break in main .*$gdb_prompt $" {
74 gdb_test "set exec-direction forward" "" "set forward"
76 gdb_continue_to_breakpoint "foo" ".*/$srcfile:$foo_location.*"
77 gdb_continue_to_breakpoint "bar" ".*/$srcfile:$bar_location.*"
79 gdb_test_multiple "continue" "end of record log" {
80 -re ".*Breakpoint $decimal,.*/$srcfile:$end_location.*$gdb_prompt $" {
81 pass "end of record log"
83 -re "No more reverse-execution history.* end of main .*$gdb_prompt $" {
84 pass "end of record log"