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

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