Re: [RFC] testing specifically for process record

Michael Snyder
2009-10-22T19:45:27Z

[-- Attachment #1: Type: text/plain, Size: 829 bytes --]

Michael Snyder wrote:
> There are a number of commands specific to process record,
> as opposed to reverse debugging, which we don't have tests
> for yet. For instance,
>
> set/show insn-number-max
> set/show stop-at-limit
> info record
> record delete
> record stop
>
> Plus, there is the behavior of the execution log that should
> be tested under various combinations of those settings.
>
> Here is an attempt that I've started on. I'd appreciate any
> suggestions, especially with respect to other tests that you
> think should be added. The more things we test, the more
> corner cases we can find and fix. (there are a couple of
> failures already in there due to corner cases and spellings).
>
> And Hui -- I'd be delighted if you would take over the
> ownership of this test! ;-)

Updated versions.

[-- Attachment #2: precord.c --]
[-- Type: text/x-csrc, Size: 894 bytes --]

/* This testcase is part of GDB, the GNU debugger.

Copyright 2009 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/>. */

main()
{
unsigned long long foo = 0;

do {
foo++;
} while (foo);/* Loop for a very long time. */
return foo; /* Should be zero. */
}

[-- Attachment #3: precord.exp --]
[-- Type: text/plain, Size: 4145 bytes --]

# Copyright 2009 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.

# Test precord commands.

set testfile "precord"
set srcfile ${testfile}.c

if { [prepare_for_testing $testfile.exp $testfile $srcfile] } {
return -1
}

#
# Test "show record insn-number-max"
#

gdb_test "show record insn-number-max" \
"Record/replay buffer limit is .*" "Show record insn-number-max"

gdb_test "set record insn-number-max 0" \
"" "Set insn-number-max to unlimited"

gdb_test "show record insn-number-max" \
"Record/replay buffer limit is unlimited\." \
"Show insn-number-max unlimited"

gdb_test "set record insn-number-max 100000" \
"" "Set insn-number-max to 100000"

gdb_test "show record insn-number-max" \
"Record/replay buffer limit is 100000\." "Show insn-number-max 100000"

#
# Test "show record stop-at-limit"
#

gdb_test "show record stop-at-limit" \
"Whether record/replay stops when record/replay buffer becomes full is.*" \
"Show record stop-at-limit"

set main_location [gdb_get_line_number "break in main"]

runto main

gdb_test "record" "" "Turn on process record"
# FIXME: command ought to acknowledge, so we can test if it succeeded.

#
# Test "Do you want to auto delete previous execution log entries"
#

gdb_test "continue" "" "Continue until buffer full" \
"Do you want to auto delete .* or n. " \
"n"

gdb_test "info record" "Log contains 100000 instructions.*" \
"verify buffer is full"

gdb_test "set record insn-number-max 200000" \
"" "increase insn-number-max to 200000"

gdb_test "continue" "" "Continue until buffer full again" \
"Do you want to auto delete .* or n. " \
"n"

gdb_test "info record" "Log contains 200000 instructions.*" \
"verify buffer full again"

gdb_test "set record insn-number-max 100000" \
"" \
"decrease insn-number-max to 100000"

gdb_test "set record stop-at-limit off" "" "set stop-at-limit off"

gdb_test "info record" "Log contains 100000 instructions.*" \
"info record before stepi"

gdb_test "stepi"

gdb_test "info record" "Log contains 100000 instructions.*" \
"info record after stepi"

gdb_test "set record insn-number-max 200000" \
"" "Increase insn-number-max again"

gdb_test "reverse-continue" "No more reverse-execution history.*" \
"reverse-continue to start of log"

gdb_test "info record" "Current instruction number is 0\..*" \
"verify back at beginning of log"

gdb_test "continue" "No more reverse-execution history.*" \
"continue to end of log"

gdb_test "info record" \
"Lowest recorded .*\[\r\n\]+Highest recorded .* 200000\..*" \
"info record at end of log"

gdb_test "stepi" "" "stepi past end of log in record mode"

gdb_test "info record" \
"Lowest recorded .*\[\r\n\]+Highest recorded .* 200002\..*" \
"info record past end of log"

gdb_test "reverse-stepi 50000" "" "Back up 50000 instructions"

gdb_test "info record" \
"Current instruction number is 150002\..*" \
"info record in middle of execution log"

gdb_test "record delete" "" "record delete test" \
"Delete the log from this point forward .*..y or n. " "yes"

gdb_test "info record" \
"Highest recorded .* is 150002.*Log contains 50001 instructions.*" \
"info record after delete"

gdb_test "record stop" \
"Process record is stopped and all execution logs are deleted." \
"record stop"

gdb_test "info record" \
"target record is not active.*" \
"info record after stop"

gdb_test "frame" "" ""