gdb/testsuite/gdb.reverse/step-indirect-call-thunk.exp

   1 # Copyright 2018-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 if { ![supports_reverse] } {
  17     untested "target does not support record"
  18     return -1
  19 }
  20
  21 standard_testfile
  22
  23 set cflags {}
  24 lappend cflags debug
  25 lappend cflags additional_flags=-mindirect-branch=thunk
  26 lappend cflags additional_flags=-mfunction-return=thunk
  27
  28 set fcf_protection_none additional_flags=-fcf-protection=none
  29 if { [gdb_can_simple_compile fcf-protection-none {int main () { return 0; }} \
  30           executable $fcf_protection_none] } {
  31     lappend cflags $fcf_protection_none
  32 }
  33
  34 if { [prepare_for_testing "failed to prepare" $testfile $srcfile $cflags] } {
  35     return -1
  36 }
  37
  38 if { ![runto_main] } {
  39     return -1
  40 }
  41
  42 # Do repeated stepping COMMANDs in order to reach TARGET from CURRENT
  43 #
  44 #  COMMAND is a stepping command
  45 #  CURRENT is a string matching the current location
  46 #  TARGET  is a string matching the target location
  47 #  TEST    is the test name
  48 #
  49 # The function issues repeated COMMANDs as long as the location matches
  50 # CURRENT up to a maximum of 100 steps.
  51 #
  52 # TEST passes if the resulting location matches TARGET and fails
  53 # otherwise.
  54 #
  55 proc step_until { command current target test } {
  56     global gdb_prompt
  57
  58     set count 0
  59     gdb_test_multiple "$command" "$test" {
  60         -re "$current.*$gdb_prompt $" {
  61             incr count
  62             if { $count < 100 } {
  63                 send_gdb "$command\n"
  64                 exp_continue
  65             } else {
  66                 fail "$test"
  67             }
  68         }
  69         -re "$target.*$gdb_prompt $" {
  70             pass "$test"
  71         }
  72     }
  73 }
  74
  75 gdb_test_no_output "record"
  76 gdb_test "next" ".*" "record trace"
  77
  78 # Normal stepping steps through all thunks.
  79 gdb_test "reverse-step" "apply\.3.*" "reverse-step into apply"
  80 gdb_test "reverse-step" "inc\.3.*" "reverse-step into inc"
  81 gdb_test "reverse-step" "inc\.2.*" "reverse-step inside inc"
  82 gdb_test "reverse-step" "apply\.2.*" \
  83     "reverse-step through call thunk into apply, first time"
  84 gdb_test "reverse-step" "main\.2.*" "reverse-step into main"
  85 gdb_test "step" "apply\.2.*" "step into apply"
  86 gdb_test "step" "inc\.2.*" "step through call thunk into inc"
  87 gdb_test "reverse-step" "apply\.2.*" \
  88     "reverse-step through call thunk into apply, second time"
  89 gdb_test "next" "apply\.3.*" "step through thunks and over inc"
  90 gdb_test "reverse-next" "apply\.2.*" \
  91     "reverse-step through thunks and over inc"
  92
  93 # We can use instruction stepping to step into thunks.
  94 step_until "stepi" "apply\.2" "indirect_thunk" "stepi into call thunk"
  95 step_until "stepi" "indirect_thunk" "inc" \
  96     "stepi out of call thunk into inc"
  97 set alphanum_re "\[a-zA-Z0-9\]"
  98 set pic_thunk_re  "__$alphanum_re*\\.get_pc_thunk\\.$alphanum_re* \\(\\)"
  99 step_until "stepi" "(inc|$pic_thunk_re)" "return_thunk" "stepi into return thunk"
 100 step_until "stepi" "return_thunk" "apply" \
 101     "stepi out of return thunk back into apply"
 102
 103 step_until "reverse-stepi" "apply" "return_thunk" \
 104     "reverse-stepi into return thunk"
 105 step_until "reverse-stepi" "return_thunk" "inc" \
 106     "reverse-stepi out of return thunk into inc"
 107 step_until "reverse-stepi" "(inc|$pic_thunk_re)" "indirect_thunk" \
 108     "reverse-stepi into call thunk"
 109 step_until "reverse-stepi" "indirect_thunk" "apply" \
 110     "reverse-stepi out of call thunk into apply"