gdb/testsuite/gdb.base/condbreak.exp

   1 # Copyright 1997, 1998, 1999, 2000, 2001, 2003, 2007, 2008, 2009, 2010
   2 # Free Software Foundation, Inc.
   3
   4 # This program is free software; you can redistribute it and/or modify
   5 # it under the terms of the GNU General Public License as published by
   6 # the Free Software Foundation; either version 3 of the License, or
   7 # (at your option) any later version.
   8 #
   9 # This program is distributed in the hope that it will be useful,
  10 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  11 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  12 # GNU General Public License for more details.
  13 #
  14 # You should have received a copy of the GNU General Public License
  15 # along with this program.  If not, see <http://www.gnu.org/licenses/>.
  16
  17 # This test was written by Rich Title.
  18 # Purpose is to test conditional breakpoints.
  19 # Modeled after "break.exp".
  20
  21 if $tracelevel then {
  22         strace $tracelevel
  23         }
  24
  25 global usestubs
  26
  27 #
  28 # test running programs
  29 #
  30 set prms_id 0
  31 set bug_id 0
  32
  33 set testfile "break"
  34 set srcfile ${testfile}.c
  35 set srcfile1 ${testfile}1.c
  36 set binfile ${objdir}/${subdir}/${testfile}
  37
  38 if  { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}0.o" object {debug nowarnings}] != "" } {
  39      untested condbreak.exp
  40      return -1
  41 }
  42
  43 if  { [gdb_compile "${srcdir}/${subdir}/${srcfile1}" "${binfile}1.o" object {debug nowarnings}] != "" } {
  44      untested condbreak.exp
  45      return -1
  46 }
  47
  48 if  { [gdb_compile "${binfile}0.o ${binfile}1.o" "${binfile}" executable {debug nowarnings}] != "" } {
  49      untested condbreak.exp
  50      return -1
  51 }
  52
  53 if [get_compiler_info ${binfile}] {
  54     return -1;
  55 }
  56
  57 gdb_exit
  58 gdb_start
  59 gdb_reinitialize_dir $srcdir/$subdir
  60 gdb_load ${binfile}
  61
  62
  63 if [target_info exists gdb_stub] {
  64     gdb_step_for_stub;
  65 }
  66
  67 set bp_location1  [gdb_get_line_number "set breakpoint 1 here"]
  68 set bp_location6  [gdb_get_line_number "set breakpoint 6 here"]
  69 set bp_location8  [gdb_get_line_number "set breakpoint 8 here" $srcfile1]
  70 set bp_location9  [gdb_get_line_number "set breakpoint 9 here" $srcfile1]
  71 set bp_location13 [gdb_get_line_number "set breakpoint 13 here" $srcfile1]
  72 set bp_location14 [gdb_get_line_number "set breakpoint 14 here" $srcfile1]
  73 set bp_location15 [gdb_get_line_number "set breakpoint 15 here" $srcfile1]
  74 set bp_location16 [gdb_get_line_number "set breakpoint 16 here" $srcfile1]
  75 set bp_location17 [gdb_get_line_number "set breakpoint 17 here" $srcfile1]
  76 set bp_location18 [gdb_get_line_number "set breakpoint 18 here" $srcfile1]
  77
  78 #
  79 # test break at function
  80 #
  81 gdb_test "break main" \
  82     "Breakpoint.*at.* file .*$srcfile, line.*" \
  83     "breakpoint function"
  84
  85 #
  86 # test conditional break at function
  87 #
  88 gdb_test "break marker1 if 1==1" \
  89     "Breakpoint.*at.* file .*$srcfile1, line.*"
  90
  91 gdb_test "delete 2" ""
  92
  93 #
  94 # test conditional break at line number
  95 #
  96 gdb_test "break $srcfile:$bp_location1 if 1==1" \
  97     "Breakpoint.*at.* file .*$srcfile, line $bp_location1\\."
  98
  99 gdb_test "delete 3" ""
 100
 101 #
 102 # test conditional break at function
 103 #
 104 gdb_test "break marker1 if (1==1)" \
 105     "Breakpoint.*at.* file .*$srcfile1, line.*"
 106
 107 #
 108 # test conditional break at line number
 109 #
 110 gdb_test "break $srcfile:$bp_location1 if (1==1)" \
 111     "Breakpoint.*at.* file .*$srcfile, line $bp_location1\\."
 112
 113 gdb_test "break marker2 if (a==43)" \
 114     "Breakpoint.*at.* file .*$srcfile1, line.*"
 115
 116 #
 117 # Check break involving inferior function call.
 118 # Ensure there is at least one additional breakpoint with higher VMA.
 119 #
 120 gdb_test "break marker3 if (multi_line_if_conditional(1,1,1)==0)" \
 121     "Breakpoint.*at.* file .*$srcfile1, line.*"
 122 gdb_test "break marker4" \
 123     "Breakpoint.*at.* file .*$srcfile1, line.*"
 124
 125 #
 126 # check to see what breakpoints are set
 127 #
 128
 129 if {$hp_aCC_compiler} {
 130     set marker1_proto "\\(void\\)"
 131     set marker2_proto "\\(int\\)"
 132     # Not checked.
 133     set marker3_proto "\\(char \\*, char \\*\\)"
 134     set marker4_proto "\\(long\\)"
 135 } else {
 136     set marker1_proto ""
 137     set marker2_proto ""
 138     set marker3_proto ""
 139     set marker4_proto ""
 140 }
 141
 142 gdb_test "info break" \
 143     "Num     Type\[ \]+Disp Enb Address\[ \]+What.*
 144 \[0-9\]+\[\t \]+breakpoint     keep y.* in main at .*$srcfile:$bp_location6.*
 145 \[0-9\]+\[\t \]+breakpoint     keep y.* in marker1$marker1_proto at .*$srcfile1:($bp_location15|$bp_location16).*
 146 \[\t \]+stop only if \\(1==1\\).*
 147 \[0-9\]+\[\t \]+breakpoint     keep y.* in main at .*$srcfile:$bp_location1.*
 148 \[\t \]+stop only if \\(1==1\\).*
 149 \[0-9\]+\[\t \]+breakpoint     keep y.* in marker2$marker2_proto at .*$srcfile1:($bp_location8|$bp_location9).*
 150 \[\t \]+stop only if \\(a==43\\).*
 151 \[0-9\]+\[\t \]+breakpoint     keep y.* in marker3$marker3_proto at .*$srcfile1:($bp_location17|$bp_location18).*
 152 \[\t \]+stop only if \\(multi_line_if_conditional\\(1,1,1\\)==0\\).*
 153 \[0-9\]+\[\t \]+breakpoint     keep y.* in marker4$marker4_proto at .*$srcfile1:($bp_location13|$bp_location14).*" \
 154     "breakpoint info"
 155
 156
 157 #
 158 # run until the breakpoint at main is hit.
 159 #
 160
 161
 162 rerun_to_main
 163
 164 #
 165 # run until the breakpoint at a line number
 166 #
 167 gdb_test "continue" "Continuing\\..*Breakpoint \[0-9\]+, main \\(argc=.*, argv=.*, envp=.*\\) at .*$srcfile:$bp_location1.*$bp_location1\[\t \]+printf.*factorial.*" \
 168                         "run until breakpoint set at a line number"
 169
 170 #
 171 # run until the breakpoint at marker1
 172 #
 173 # If the inferior stops at the first instruction of a source line, GDB
 174 # won't print the actual PC value; the source line is enough to
 175 # exactly specify the PC.  But if the inferior is instead stopped in
 176 # the midst of a source line, GDB will include the PC in the
 177 # breakpoint hit message.  This way, GDB always provides the exact
 178 # stop location, but avoids clutter when possible.
 179 #
 180 # Suppose you have a function written completely on one source line, like:
 181 #    int foo (int x) { return 0; }
 182 # Setting a breakpoint at `foo' actually places the breakpoint after
 183 # foo's prologue.
 184 #
 185 # GCC's STABS writer always emits a line entry attributing the
 186 # prologue instructions to the line containing the function's open
 187 # brace, even if the first user instruction is also on that line.
 188 # This means that, in the case of a one-line function, you will get
 189 # two line entries in the debug info for the same line: one at the
 190 # function's entry point, and another at the first user instruction.
 191 # GDB preserves these duplicated line entries, and prefers the later
 192 # one; thus, when the program stops after the prologue, at the first
 193 # user instruction, GDB's search finds the second line entry, decides
 194 # that the PC is indeed at the beginning of a source line, and doesn't
 195 # print an address in the breakpoint hit message.
 196 #
 197 # GCC's Dwarf2 writer, on the other hand, squeezes out duplicate line
 198 # entries, so GDB considers the source line to begin at the start of
 199 # the function's prologue.  Thus, if the program stops at the
 200 # breakpoint, GDB will decide that the PC is not at the beginning of a
 201 # source line, and will print an address.
 202 #
 203 # I think the Dwarf2 writer's behavior is arguably correct, but not
 204 # helpful.  If the user sets a breakpoint at that source line, they
 205 # want that breakpoint to fall after the prologue.  Identifying the
 206 # prologue's code with the opening brace is nice, but it shouldn't
 207 # take precedence over real code.
 208 #
 209 # Until the Dwarf2 writer gets fixed, I'm going to XFAIL its behavior.
 210 send_gdb "continue\n"
 211 gdb_expect {
 212     -re  "Continuing\\..*Breakpoint \[0-9\]+, marker1 \\(\\) at .*$srcfile1:($bp_location15|$bp_location16).*($bp_location15|$bp_location16)\[\t \]+.*$gdb_prompt $" {
 213         pass "run until breakpoint at marker1"
 214     }
 215     -re  "Continuing\\..*Breakpoint \[0-9\]+, $hex in marker1 \\(\\) at .*$srcfile1:($bp_location15|$bp_location16).*($bp_location15|$bp_location16)\[\t \]+.*$gdb_prompt $" {
 216         xfail "run until breakpoint at marker1"
 217     }
 218     -re "$gdb_prompt $" {
 219         fail "run until breakpoint at marker1"
 220     }
 221     timeout {
 222         fail "(timeout) run until breakpoint at marker1"
 223     }
 224 }
 225
 226 # run until the breakpoint at marker2
 227 # Same issues here as above.
 228 setup_xfail hppa2.0w-*-* 11512CLLbs
 229 send_gdb "continue\n"
 230 gdb_expect {
 231     -re "Continuing\\..*Breakpoint \[0-9\]+, marker2 \\(a=43\\) at .*$srcfile1:($bp_location8|$bp_location9).*($bp_location8|$bp_location9)\[\t \]+.*$gdb_prompt $" {
 232         pass "run until breakpoint at marker2"
 233     }
 234     -re "Continuing\\..*Breakpoint \[0-9\]+, $hex in marker2 \\(a=43\\) at .*$srcfile1:($bp_location8|$bp_location9).*($bp_location8|$bp_location9)\[\t \]+.*$gdb_prompt $" {
 235         xfail "run until breakpoint at marker2"
 236     }
 237     -re "$gdb_prompt $" {
 238         fail "run until breakpoint at marker2"
 239     }
 240     timeout {
 241         fail "(timeout) run until breakpoint at marker2"
 242     }
 243 }
 244
 245 # Test combinations of conditional and thread-specific breakpoints.
 246 gdb_test "break main if (1==1) thread 999" \
 247     "Unknown thread 999\\."
 248 gdb_test "break main thread 999 if (1==1)" \
 249     "Unknown thread 999\\."
 250
 251 # Verify that both if and thread can be distinguished from a breakpoint
 252 # address expression.
 253 gdb_test "break *main if (1==1) thread 999" \
 254     "Unknown thread 999\\."
 255 gdb_test "break *main thread 999 if (1==1)" \
 256     "Unknown thread 999\\."
 257
 258 # Similarly for task.
 259 gdb_test "break *main if (1==1) task 999" \
 260     "Unknown task 999\\."
 261 gdb_test "break *main task 999 if (1==1)" \
 262     "Unknown task 999\\."
 263
 264 # GDB accepts abbreviations for "thread" and "task".
 265 gdb_test "break *main if (1==1) t 999" \
 266     "Unknown thread 999\\."
 267 gdb_test "break *main if (1==1) th 999" \
 268     "Unknown thread 999\\."
 269 gdb_test "break *main if (1==1) ta 999" \
 270     "Unknown task 999\\."
 271
 272 set test "run until breakpoint at marker3"
 273 gdb_test_multiple "continue" $test {
 274     -re "Continuing\\..*Breakpoint \[0-9\]+, marker3 \\(a=$hex \"stack\", b=$hex \"trace\"\\) at .*$srcfile1:($bp_location17|$bp_location18).*($bp_location17|$bp_location18)\[\t \]+.*$gdb_prompt $" {
 275         pass $test
 276     }
 277     -re "Continuing\\..*Breakpoint \[0-9\]+, $hex in marker3 \\(a=$hex \"stack\", b=$hex \"trace\"\\) at .*$srcfile1:($bp_location17|$bp_location18).*($bp_location17|$bp_location18)\[\t \]+.*$gdb_prompt $" {
 278         xfail $test
 279     }
 280 }
 281
 282 set test "run until breakpoint at marker4"
 283 gdb_test_multiple "continue" $test {
 284     -re "Continuing\\..*Breakpoint \[0-9\]+, marker4 \\(d=177601976\\) at .*$srcfile1:($bp_location13|$bp_location14).*($bp_location13|$bp_location14)\[\t \]+.*$gdb_prompt $" {
 285         pass $test
 286     }
 287     -re "Continuing\\..*Breakpoint \[0-9\]+, $hex in marker4 \\(d=177601976\\) at .*$srcfile1:($bp_location13|$bp_location14).*($bp_location13|$bp_location14)\[\t \]+.*$gdb_prompt $" {
 288         xfail $test
 289     }
 290 }