gdb/testsuite/gdb.threads/watchpoint-fork.exp

   1 # Copyright 2012-2022 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 # Test case for forgotten hw-watchpoints after fork()-off of a process.
  17
  18 set testfile watchpoint-fork
  19
  20 # Set DEBUG to 0 or 1 in sources
  21 set debug 0
  22
  23 proc test {type symbol} {
  24     global debug
  25     with_test_prefix "$type" {
  26         global testfile subdir srcdir gdb_prompt
  27
  28         set srcfile_type ${srcdir}/${subdir}/${testfile}-${type}.c
  29
  30         # no threads
  31
  32         with_test_prefix "singlethreaded" {
  33             set executable ${testfile}-${type}-st
  34             set srcfile_main ${testfile}-st.c
  35             if {[build_executable $testfile.exp $executable \
  36                      [list $srcfile_main ${testfile}-${type}.c] \
  37                      [list debug additional_flags=-D$symbol \
  38                           additional_flags=-DDEBUG=$debug]] == -1} {
  39                 return -1
  40             }
  41
  42             clean_restart $executable
  43
  44             if [target_info exists gdb,no_hardware_watchpoints] {
  45                 # The software watchpoint functionality is in GDB an unrelated test.
  46                 gdb_test_no_output "set can-use-hw-watchpoints 0"
  47                 # Software watchpoints can be quite slow on remote targets
  48                 # on this test because it ends up single-stepping through
  49                 # code to initialize dynamic libraries, etc.
  50                 set factor 20
  51             } else {
  52                 set factor 1
  53             }
  54
  55             gdb_test "show detach-on-fork" "Whether gdb will detach the child of a fork is on\\."
  56             gdb_test_no_output "set follow-fork-mode $type"
  57             gdb_test "show follow-fork-mode" "Debugger response to a program call of fork or vfork is \"$type\"\\."
  58             # Testcase uses it for the `follow-fork-mode child' type.
  59             gdb_test "handle SIGUSR1 nostop noprint pass" "No\[ \t\]+No\[ \t\]+Yes.*"
  60
  61             if ![runto_main] {
  62                 return
  63             }
  64
  65             gdb_test "watch var" "atchpoint \[0-9\]+: var" "set the watchpoint"
  66
  67             # It is never hit but it should not be left over in the fork()ed-off child.
  68             if [skip_hw_breakpoint_tests] {
  69                 set hbreak "break"
  70             } else {
  71                 set hbreak "hbreak"
  72             }
  73             gdb_test "$hbreak marker"
  74
  75             gdb_breakpoint "mark_exit"
  76
  77             with_timeout_factor $factor {
  78                 gdb_test "continue" \
  79                     "reakpoint \[0-9\]+, marker.*" "hardware breakpoints work"
  80                 gdb_test "continue" \
  81                     "atchpoint \[0-9\]+: var.*Old value = 0.*New value = 1.*forkoff *\\(1\\).*" "watchpoints work"
  82                 gdb_test "continue" \
  83                     "reakpoint \[0-9\]+, marker.*" "breakpoint after the first fork"
  84                 gdb_test "continue" \
  85                     "atchpoint \[0-9\]+: var.*Old value = 1.*New value = 2.*forkoff *\\(2\\).*" "watchpoint after the first fork"
  86                 gdb_test "continue" \
  87                     "reakpoint \[0-9\]+, marker.*" "breakpoint after the second fork"
  88                 gdb_test "continue" \
  89                     "atchpoint \[0-9\]+: var.*Old value = 2.*New value = 3.*mark_exit \\(\\);" "watchpoint after the second fork"
  90                 gdb_test "continue" "Continuing\\..*\r\n(Thread .* hit )?Breakpoint \[0-9\]+, mark_exit .*" "finish"
  91             }
  92         }
  93
  94         # threads
  95
  96         if [target_info exists gdb,no_hardware_watchpoints] {
  97             # Watchpoint hits would get detected in unexpected threads.
  98             return
  99         }
 100
 101         with_test_prefix "multithreaded" {
 102             set executable ${testfile}-${type}-mt
 103             set srcfile_main ${srcdir}/${subdir}/${testfile}-mt.c
 104             if { [gdb_compile_pthreads "${srcfile_main} ${srcfile_type}" \
 105                       [standard_output_file ${executable}] executable \
 106                       [list debug "additional_flags=-D$symbol" \
 107                            "additional_flags=-DDEBUG=$debug" \
 108                            "-DTHREAD"]] != "" } {
 109                 untested "failed to compile"
 110                 return
 111             }
 112             clean_restart $executable
 113
 114             gdb_test_no_output "set follow-fork-mode $type"
 115             # Testcase uses it for the `follow-fork-mode child' type.
 116             gdb_test "handle SIGUSR1 nostop noprint pass" "No\[ \t\]+No\[ \t\]+Yes.*"
 117
 118             if ![runto_main] {
 119                 return
 120             }
 121
 122             gdb_test "watch var" "atchpoint \[0-9\]+: var" "set the watchpoint"
 123
 124             # It should not be left over in the fork()ed-off child.
 125             gdb_test "$hbreak marker" {reakpoint [0-9]+.*}
 126
 127             gdb_breakpoint "mark_exit"
 128
 129             gdb_test "continue" \
 130                 "reakpoint \[0-9\]+, marker.*" "hardware breakpoints work"
 131             gdb_test "continue" \
 132                 "atchpoint \[0-9\]+: var.*Old value = 0.*New value = 1.*validity-first.*" "singlethread watchpoints work"
 133             gdb_test "continue" \
 134                 "atchpoint \[0-9\]+: var.*Old value = 1.*New value = 2.*validity-thread-A.*" "multithreaded watchpoints work at A"
 135             gdb_test "continue" \
 136                 "atchpoint \[0-9\]+: var.*Old value = 2.*New value = 3.*validity-thread-B.*" "multithreaded watchpoints work at B"
 137             gdb_test "continue" \
 138                 "reakpoint \[0-9\]+, marker.*" "breakpoint (A) after the first fork"
 139             gdb_test "continue" \
 140                 "atchpoint \[0-9\]+: var.*Old value = 3.*New value = 4.*after-fork1-A.*" "watchpoint A after the first fork"
 141             gdb_test "continue" \
 142                 "atchpoint \[0-9\]+: var.*Old value = 4.*New value = 5.*after-fork1-B.*" "watchpoint B after the first fork"
 143             gdb_test "continue" \
 144                 "reakpoint \[0-9\]+, marker.*" "breakpoint (A) after the second fork"
 145             gdb_test "continue" \
 146                 "atchpoint \[0-9\]+: var.*Old value = 5.*New value = 6.*after-fork2-A.*" "watchpoint A after the second fork"
 147             gdb_test "continue" \
 148                 "atchpoint \[0-9\]+: var.*Old value = 6.*New value = 7.*after-fork2-B.*" "watchpoint B after the second fork"
 149             gdb_test "continue" "Continuing\\..*\r\nThread .* hit Breakpoint \[0-9\]+, mark_exit .*" "finish"
 150         }
 151     }
 152 }
 153
 154 test parent FOLLOW_PARENT
 155
 156 # Only GNU/Linux is known to support `set follow-fork-mode child'.
 157 if [istarget "*-*-linux*"] {
 158     test child FOLLOW_CHILD
 159 } else {
 160     untested "${testfile}: child"
 161 }