1 # Copyright 2012-2017 Free Software Foundation, Inc.
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.
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.
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/>.
16 # Tests for explicit locations
18 load_lib completion-support.exp
20 standard_testfile explicit.c explicit2.c 3explicit.c
23 if {[prepare_for_testing "failed to prepare" $exefile \
24 [list $srcfile $srcfile2 $srcfile3] {debug nowarnings}]} {
28 # Wrap the entire test in a namespace to avoid contaminating other tests.
29 namespace eval $testfile {
31 # Test the given (explicit) LINESPEC which should cause gdb to break
33 proc test_breakpoint {linespec location} {
35 set testname "set breakpoint at \"$linespec\""
36 # Delete all breakpoints, set a new breakpoint at LINESPEC,
37 # and attempt to run to it.
39 if {[gdb_breakpoint $linespec]} {
41 send_log "\nexpecting locpattern \"$location\"\n"
42 gdb_continue_to_breakpoint $linespec $location
48 # Add the given LINESPEC to the array named in THEARRAY. GDB is expected
49 # to stop at LOCATION.
50 proc add {thearray linespec location} {
53 lappend ar(linespecs) $linespec
54 lappend ar(locations) $location
57 # A list of all explicit linespec arguments.
58 variable all_arguments
59 set all_arguments {"source" "function" "label" "line"}
61 # Some locations used in this test
64 set lineno(normal) [gdb_get_line_number "myfunction location" $srcfile]
65 set lineno(top) [gdb_get_line_number "top location" $srcfile]
66 foreach v [array names lineno] {
67 set location($v) ".*[string_to_regexp "$srcfile:$lineno($v)"].*"
70 # A list of explicit locations and the corresponding location.
72 set linespecs(linespecs) {}
73 set linespecs(location) {}
75 add linespecs "-source $srcfile -function myfunction" $location(normal)
76 add linespecs "-source $srcfile -function myfunction -label top" \
79 # This isn't implemented yet; -line is silently ignored.
80 add linespecs "-source $srcfile -function myfunction -label top -line 3" \
82 add linespecs "-source $srcfile -line $lineno(top)" $location(top)
83 add linespecs "-function myfunction" $location(normal)
84 add linespecs "-function myfunction -label top" $location(top)
86 # These are also not yet supported; -line is silently ignored.
87 add linespecs "-function myfunction -line 3" $location(normal)
88 add linespecs "-function myfunction -label top -line 3" $location(top)
89 add linespecs "-line 3" $location(normal)
97 gdb_test_no_output "set confirm off"
99 # Simple error tests (many more are tested in ls-err.exp)
100 foreach arg $all_arguments {
101 # Test missing argument
102 gdb_test "break -$arg" \
103 [string_to_regexp "missing argument for \"-$arg\""]
106 set short [string range $arg 0 3]
107 gdb_test "break -$short" \
108 [string_to_regexp "missing argument for \"-$short\""]
111 # Test invalid arguments
112 foreach arg {"-foo" "-foo bar" "-function myfunction -foo" \
113 "-function -myfunction -foo bar"} {
114 gdb_test "break $arg" \
115 [string_to_regexp "invalid explicit location argument, \"-foo\""]
118 # Test explicit locations, with and without conditions.
119 # For these tests, it is easiest to turn of pending breakpoint.
120 gdb_test_no_output "set breakpoint pending off" \
121 "turn off pending breakpoints"
123 foreach linespec $linespecs(linespecs) loc_pattern $linespecs(locations) {
126 test_breakpoint $linespec $loc_pattern
128 # Test with a valid condition
130 set tst "set breakpoint at \"$linespec\" with valid condition"
131 if {[gdb_breakpoint "$linespec if arg == 0"]} {
134 gdb_test "info break" ".*stop only if arg == 0.*" \
135 "info break of conditional breakpoint at \"$linespec\""
140 # Test with invalid condition
141 gdb_test "break $linespec if foofoofoo == 1" \
142 ".*No symbol \"foofoofoo\" in current context.*" \
143 "set breakpoint at \"$linespec\" with invalid condition"
147 gdb_test "break $linespec thread 123" "Unknown thread 123."
150 # Tests below are about tab-completion, which doesn't work if readline
151 # library isn't used. Check it first.
152 if { [readline_is_used] } {
154 # Test the explicit location completer
155 foreach abbrev {"fun" "so" "lab" "li"} full {"function" "source" "label" "line"} {
156 set tst "complete 'break -$abbrev'"
157 send_gdb "break -${abbrev}\t"
158 gdb_test_multiple "" $tst {
159 -re "break -$full " {
161 gdb_test_multiple "" $tst {
162 -re "missing argument for \"-$full\".*$gdb_prompt " {
168 set tst "complete -$full with no value"
169 send_gdb "break -$full \t"
170 gdb_test_multiple "" $tst {
171 -re ".*break -$full " {
173 gdb_test_multiple "" $tst {
174 -re ".*Source filename requires function, label, or line offset\..*$gdb_prompt " {
175 if {[string equal $full "source"]} {
181 -re "missing argument for \"-$full\".*$gdb_prompt " {
189 set tst "complete unique function name"
190 send_gdb "break -function my_unique_func\t"
191 gdb_test_multiple "" $tst {
192 -re "break -function my_unique_function_name" {
194 gdb_test "" ".*Breakpoint \[0-9\]+.*" $tst
195 gdb_test_no_output "delete \$bpnum" "delete $tst breakpoint"
199 set tst "complete non-unique function name"
200 send_gdb "break -function myfunc\t"
201 gdb_test_multiple "" $tst {
202 -re "break -function myfunc\\\x07tion" {
204 gdb_test_multiple "" $tst {
205 -re "\\\x07\r\nmyfunction\[ \t\]+myfunction2\[ \t\]+myfunction3\[ \t\]+myfunction4\[ \t\]+\r\n$gdb_prompt " {
206 gdb_test "2" ".*Breakpoint \[0-9\]+.*" $tst
207 gdb_test_no_output "delete \$bpnum" "delete $tst breakpoint"
213 set tst "complete non-existant function name"
214 send_gdb "break -function foo\t"
215 gdb_test_multiple "" $tst {
216 -re "break -function foo\\\x07" {
218 gdb_test_multiple "" $tst {
221 gdb_test "" {Function "foo" not defined.} $tst
227 with_test_prefix "complete unique file name" {
228 foreach qc $completion::maybe_quoted_list {
229 set cmd "break -source ${qc}3explicit.c${qc}"
230 test_gdb_complete_unique \
231 "break -source ${qc}3ex" \
234 {Source filename requires function, label, or line offset.}
238 set tst "complete non-unique file name"
239 send_gdb "break -source exp\t"
240 gdb_test_multiple "" $tst {
241 -re "break -source exp\\\x07licit" {
243 gdb_test_multiple "" $tst {
244 -re "\\\x07\r\nexplicit.c\[ \t\]+explicit2.c\[ \t\]+\r\n$gdb_prompt" {
247 {Source filename requires function, label, or line offset.} \
253 -re "break -source exp\\\x07l" {
254 # This pattern may occur when glibc debuginfo is installed.
256 gdb_test_multiple "" $tst {
257 -re "\\\x07\r\nexplicit.c\[ \t\]+explicit2.c\[ \t\]+expl.*\r\n$gdb_prompt" {
260 {Source filename requires function, label, or line offset.} \
267 set tst "complete non-existant file name"
268 send_gdb "break -source foo\t"
269 gdb_test_multiple "" $tst {
270 -re "break -source foo" {
272 gdb_test_multiple "" $tst {
276 {Source filename requires function, label, or line offset.} \
283 set tst "complete filename and unique function name"
284 send_gdb "break -source explicit.c -function ma\t"
285 gdb_test_multiple "" $tst {
286 -re "break -source explicit.c -function main " {
288 gdb_test "" ".*Breakpoint .*" $tst
289 gdb_test_no_output "delete \$bpnum" "delete $tst breakpoint"
293 set tst "complete filename and non-unique function name"
294 send_gdb "break -so 3explicit.c -func myfunc\t"
295 gdb_test_multiple "" $tst {
296 -re "break -so 3explicit.c -func myfunc\\\x07tion" {
298 gdb_test_multiple "" $tst {
299 -re "\\\x07\r\nmyfunction3\[ \t\]+myfunction4\[ \t\]+\r\n$gdb_prompt " {
300 gdb_test "3" ".*Breakpoint \[0-9\]+.*" $tst
301 gdb_test_no_output "delete \$bpnum" "delete $tst breakpoint"
307 set tst "complete filename and non-existant function name"
308 send_gdb "break -sou 3explicit.c -fun foo\t"
309 gdb_test_multiple "" $tst {
310 -re "break -sou 3explicit.c -fun foo\\\x07" {
312 gdb_test_multiple "" $tst {
316 {Function "foo" not defined in "3explicit.c".} $tst
322 set tst "complete filename and function reversed"
323 send_gdb "break -func myfunction4 -source 3ex\t"
324 gdb_test_multiple "" $tst {
325 -re "break -func myfunction4 -source 3explicit.c " {
327 gdb_test "" "Breakpoint \[0-9\]+.*" $tst
328 gdb_test_no_output "delete \$bpnum" "delete $tst breakpoint"
332 with_test_prefix "complete unique label name" {
333 foreach qc $completion::maybe_quoted_list {
334 test_gdb_complete_unique \
335 "break -function myfunction -label ${qc}to" \
336 "break -function myfunction -label ${qc}top${qc}"
340 with_test_prefix "complete unique label name with source file" {
341 test_gdb_complete_unique \
342 "break -source explicit.c -function myfunction -label to" \
343 "break -source explicit.c -function myfunction -label top"
346 with_test_prefix "complete unique label name reversed" {
347 test_gdb_complete_multiple "b -label top -function " "myfunction" "" {
355 with_test_prefix "complete non-unique label name" {
356 test_gdb_complete_multiple "b -function myfunction -label " "" "" {
362 # The program is stopped at myfunction, so gdb is able to
363 # infer the label's function.
364 with_test_prefix "complete label name with no function" {
365 test_gdb_complete_unique \
368 check_bp_locations_match_list \
370 "-function myfunction -label top"
375 with_test_prefix "complete label name with source file but no function" {
376 test_gdb_complete_unique \
377 "break -source explicit.c -label to" \
378 "break -source explicit.c -label top"
379 check_bp_locations_match_list \
380 "break -source explicit.c -label top" {
381 "-source explicit.c -function myfunction -label top"
385 with_test_prefix "complete label name with wrong source file" {
386 test_gdb_complete_none \
387 "break -source explicit2.c -function myfunction -label to"
388 check_setting_bp_fails \
389 "break -source explicit2.c -function myfunction -label top"
392 # Get rid of symbols from shared libraries, otherwise
393 # "b -source thr<tab>" could find some system library's
395 gdb_test_no_output "nosharedlibrary"
397 # Test that after a seemingly finished option argument,
398 # completion matches both the explicit location options and
399 # the linespec keywords.
400 set completions_list {
410 foreach what { "-function" "-label" "-line" "-source" } {
411 # Also test with "-qualified" appearing before the
413 foreach prefix {"" "-qualified "} {
415 # ... and with "-qualified" appearing after the
417 foreach suffix {"" " -qualified"} {
418 with_test_prefix "complete after $prefix$what$suffix" {
419 if {$what != "-line"} {
420 set w "$prefix$what argument$suffix "
421 test_gdb_complete_multiple \
422 "b $w" "" "" $completions_list
423 test_gdb_complete_unique \
426 test_gdb_complete_unique \
430 # After -line, we expect a number / offset.
431 foreach line {"10" "+10" "-10"} {
432 set w "$prefix-line $line$suffix"
433 test_gdb_complete_multiple \
434 "b $w " "" "" $completions_list
435 test_gdb_complete_unique \
438 test_gdb_complete_unique \
443 # With an invalid -line argument, we don't get any
445 test_gdb_complete_none "b $prefix-line argument$suffix "
452 # These tests don't make sense with "-qualified" after
454 with_test_prefix "complete after $prefix$what" {
455 # Don't complete a linespec keyword ("thread") or
456 # another option name when expecting an option
458 test_gdb_complete_none "b $prefix$what thr"
459 test_gdb_complete_none "b $prefix$what -fun"
464 # Tests that ensure that after "if" we complete on expressions
465 # are in cpcompletion.exp.
467 # Disable the completion limit for the rest of the testcase.
468 gdb_test_no_output "set max-completions unlimited"
470 # Get rid of symbols from shared libraries, otherwise the
471 # completions match list for "break <tab>" is huge and makes
472 # the test below quite long while the gdb_test_multiple loop
473 # below consumes the matches. Not doing this added ~20
474 # seconds at the time of writing. (Actually, already done above.)
475 # gdb_test_no_output "nosharedlibrary"
477 # Test completion with no input argument. We should see all
478 # the options, plus all the functions. To keep it simple, as
479 # proxy, we check for presence of one explicit location
480 # option, one probe location, and one function.
481 set saw_opt_function 0
482 set saw_opt_probe_stap 0
485 set tst "complete with no arguments"
487 gdb_test_multiple "" $tst {
490 gdb_test_multiple "" $tst {
496 set saw_opt_function 1
500 set saw_opt_probe_stap 1
507 -re "\r\n$gdb_prompt " {
508 gdb_assert {$saw_opt_function && $saw_opt_probe_stap && $saw_function} $tst
516 clear_input_line $tst
518 # NOTE: We don't bother testing more elaborate combinations of options,
519 # such as "-func main -sour 3ex\t" (main is defined in explicit.c).
520 # The completer cannot handle these yet.
522 # The following completion tests require having no symbols
527 # The match list you get when you complete with no options
529 set completion_list {
539 with_test_prefix "complete with no arguments and no symbols" {
540 test_gdb_complete_multiple "b " "" "-" $completion_list
541 test_gdb_complete_multiple "b " "-" "" $completion_list
544 # End of completion tests.
546 # Test pending explicit breakpoints
550 set tst "pending invalid conditional explicit breakpoint"
551 if {![gdb_breakpoint "-func myfunction if foofoofoo == 1" \
555 gdb_test "info break" ".*PENDING.*myfunction if foofoofoo == 1.*" $tst
561 set tst "pending valid conditional explicit breakpoint"
562 if {![gdb_breakpoint "-func myfunction if arg == 0" \
566 gdb_test "info break" ".*PENDING.*myfunction if arg == 0" $tst
568 gdb_load [standard_output_file $exefile]
569 gdb_test "info break" \
570 ".*in myfunction at .*$srcfile:.*stop only if arg == 0.*" \
574 # Test interaction of condition command and explicit linespec conditons.
577 gdb_load [standard_output_file $exefile]
579 set tst "condition_command overrides explicit linespec condition"
583 if {![gdb_breakpoint "-func myfunction if arg == 1"]} {
584 fail "set breakpoint with condition 'arg == 1'"
586 gdb_test_no_output "cond 2 arg == 0" \
587 "set new breakpoint condition for explicit linespec"
589 gdb_continue_to_breakpoint $tst $location(normal)
593 gdb_test "cond 2" [string_to_regexp "Breakpoint 2 now unconditional."] \
594 "clear condition for explicit breakpoint"
595 set tst "info break of cleared condition of explicit breakpoint"
596 gdb_test_multiple "info break" $tst {
597 -re ".*in myfunction at .*$srcfile:.*stop only if arg == 0.*" {
600 -re ".*in myfunction at .*$srcfile:.*$gdb_prompt $" {
605 # Test explicit "ranges." Make sure that using explicit
606 # locations doesn't alter the expected outcome.
607 gdb_test "list main" ".*" "list main 1"
608 set list_result [capture_command_output "list -,+" ""]
609 gdb_test "list main" ".*" "list main 2"
610 gdb_test "list -line -,-line +" [string_to_regexp $list_result]
612 # Ditto for the reverse (except that no output is expected).
613 gdb_test "list myfunction" ".*" "list myfunction 1"
614 gdb_test_no_output "list +,-"
615 gdb_test "list myfunction" ".*" "list myfunction 2"
616 gdb_test_no_output "list -line +, -line -"
619 namespace delete $testfile