gdb/testsuite/gdb.reverse/solib-reverse.exp

   1 # Copyright 2009-2023 Free Software Foundation, Inc.
   2
   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.
   7 #
   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.
  12 #
  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/>.
  15
  16 # This file is part of the GDB testsuite.  It tests reverse debugging
  17 # with shared libraries.
  18
  19 if ![supports_reverse] {
  20     return
  21 }
  22 if {[skip_shlib_tests]} {
  23     return
  24 }
  25
  26 standard_testfile
  27 set lib1file "shr1"
  28 set lib1src  ${lib1file}.c
  29 set library1 [standard_output_file ${lib1file}.sl]
  30 set lib2file "shr2"
  31 set lib2src  ${lib2file}.c
  32 set library2 [standard_output_file ${lib2file}.sl]
  33
  34 # Compile the first without debug info so that
  35 # stepping and reverse stepping doesn't end up inside them.
  36 if { [gdb_compile_shlib ${srcdir}/${subdir}/${lib1src} ${library1} ""] != "" } {
  37     untested "failed to compile shared library 1"
  38     return -1
  39 }
  40
  41 if { [gdb_compile_shlib ${srcdir}/${subdir}/${lib2src} ${library2} "debug"] != "" } {
  42     untested "failed to compile shared library 2"
  43     return -1
  44 }
  45
  46 set exec_opts [list debug shlib=${library1} shlib=${library2}]
  47
  48 if { [gdb_compile ${srcdir}/${subdir}/${srcfile} ${binfile} executable $exec_opts] != "" } {
  49     untested "failed to compile"
  50     return -1
  51 }
  52
  53 # Start with a fresh gdb.
  54
  55 gdb_exit
  56 gdb_start
  57
  58 # Note: The test previously did "set debug-file-directory" to (try to)
  59 # ensure the debug info for the dynamic loader and libc weren't found.
  60 # This doesn't work if the debug info is in the .debug subdirectory.
  61 # Avoiding debug info for system libraries is not germaine to this test
  62 # and is no longer attempted.  Instead, the test does not make assumptions
  63 # about whether the debug info is present or not.
  64
  65 gdb_reinitialize_dir $srcdir/$subdir
  66 gdb_load ${binfile}
  67 gdb_load_shlib $library1
  68 gdb_load_shlib $library2
  69
  70 runto_main
  71
  72 if [supports_process_record] {
  73     # Activate process record/replay
  74     gdb_test_no_output "record" "turn on process record"
  75 }
  76
  77 #
  78 # Test reverse-step over undebuggable solib functions.
  79 #
  80
  81 # Run forward past some solib function calls.
  82
  83 set end_part_one [gdb_get_line_number " end part one" "$srcfile"]
  84 set end_part_two [gdb_get_line_number " end part two" "$srcfile"]
  85 gdb_test_multiple "until $end_part_one" "run until end part one" {
  86     -wrap -re " end part one.*" {
  87         pass $gdb_test_name
  88     }
  89     -wrap -re "Process record does not support instruction 0xfae64 at.*" {
  90         kfail "gdb/25038" $gdb_test_name
  91         return -1
  92     }
  93 }
  94
  95 gdb_test "reverse-step" " shr1 three .*" "reverse-step third shr1"
  96 gdb_test "reverse-step" " shr1 two .*"   "reverse-step second shr1"
  97 gdb_test "reverse-step" " shr1 one .*"   "reverse-step first shr1"
  98
  99 gdb_test "reverse-step" " generic statement.*" "reverse-step generic"
 100
 101
 102 #
 103 # Test reverse-next over undebuggable solib functions.
 104 #
 105
 106 # Run forward again...
 107
 108 gdb_test "until $end_part_one" " end part one.*" "forward to end part one"
 109
 110 gdb_test "reverse-next" " shr1 three .*" "reverse-next third shr1"
 111 gdb_test "reverse-next" " shr1 two .*"   "reverse-next second shr1"
 112 gdb_test "reverse-next" " shr1 one .*"   "reverse-next first shr1"
 113
 114 gdb_test "reverse-next" " generic statement.*" "reverse-next generic"
 115
 116
 117 #
 118 # Test reverse-step into debuggable solib function
 119 #
 120
 121 gdb_test_multiple "reverse-step" "reverse-step into solib function one" {
 122     -re -wrap "middle part two.*" {
 123         send_gdb "reverse-step\n"
 124         exp_continue
 125     }
 126     -re -wrap "${lib2src}.*" {
 127         pass $gdb_test_name
 128     }
 129 }
 130 gdb_test "reverse-step" "return 2.x.*" "reverse-step within solib function one"
 131 gdb_test "reverse-step" " middle part two.*" "reverse-step back to main one"
 132
 133 gdb_test_multiple "reverse-step" "reverse-step into solib function two" {
 134     -re -wrap "begin part two.*" {
 135         send_gdb "reverse-step\n"
 136         exp_continue
 137     }
 138     -re -wrap "${lib2src}.*" {
 139         pass $gdb_test_name
 140     }
 141 }
 142 gdb_test "reverse-step" "return 2.x.*" "reverse-step within solib function two"
 143 gdb_test "reverse-step" " begin part two.*" "reverse-step back to main two"
 144
 145 #
 146 # Test reverse-next over debuggable solib function
 147 #
 148
 149 gdb_test "until $end_part_two" " end part two.*" "run until end part two"
 150
 151 gdb_test "reverse-next" " middle part two.*" "reverse-next over solib function one"
 152 gdb_test_multiple "reverse-next" "reverse-next over solib function two" {
 153     -re -wrap "middle part two.*" {
 154         send_gdb "reverse-next\n"
 155         exp_continue
 156     }
 157     -re -wrap " begin part two.*" {
 158         pass $gdb_test_name
 159     }
 160 }