]> git.ipfire.org Git - thirdparty/binutils-gdb.git/blob - gdb/testsuite/gdb.cp/cpexprs.exp
GDB copyright headers update after running GDB's copyright.py script.
[thirdparty/binutils-gdb.git] / gdb / testsuite / gdb.cp / cpexprs.exp
1 # cpexprs.exp - C++ expressions tests
2 #
3 # Copyright 2008-2016 Free Software Foundation, Inc.
4 #
5 # Contributed by Red Hat, originally written by Keith Seitz.
6 #
7 # This program is free software; you can redistribute it and/or modify
8 # it under the terms of the GNU General Public License as published by
9 # the Free Software Foundation; either version 3 of the License, or
10 # (at your option) any later version.
11 #
12 # This program is distributed in the hope that it will be useful,
13 # but WITHOUT ANY WARRANTY; without even the implied warranty of
14 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 # GNU General Public License for more details.
16 #
17 # You should have received a copy of the GNU General Public License
18 # along with this program. If not, see <http://www.gnu.org/licenses/>.
19
20 # This file is part of the gdb testsuite.
21
22 # A helper proc which sets a breakpoint at FUNC and attempts to
23 # run to the breakpoint.
24 proc test_breakpoint {func} {
25 global DEC
26
27 # Return to the top of the test function every time.
28 delete_breakpoints
29 if { ! [gdb_breakpoint test_function] } {
30 fail "set test_function breakpoint for $func"
31 } elseif { [gdb_test "continue" \
32 "Continuing.\r\n\r\nBreakpoint $DEC+,.*test_function.*" \
33 ""] != 0 } {
34 fail "continue to test_function for $func"
35 } else {
36 gdb_breakpoint "$func"
37 set i [expr {[string last : $func] + 1}]
38 set efunc [string_to_regexp [string range $func $i end]]
39 gdb_test "continue" \
40 "Continuing.\r\n\r\nBreakpoint $DEC+,.*$efunc.*" \
41 "continue to $func"
42 }
43 }
44
45 # Add a function to the list of tested functions
46 # FUNC is the name of the function (which will be passed to gdb commands)
47 # TYPE is the type of the function, as expected from the "print" command
48 # PRINT is the name of the function, as expected result of the print command
49 # *OR* "-", indicating that FUNC should be used (needed for virtual/inherited
50 # funcs)
51 # LST is either the expected result of the list command (the comment from
52 # the source code) *OR* "-", in which case FUNC will be used
53 #
54 # Usage:
55 # add NAME TYPE PRINT LST
56 # add NAME TYPE PRINT -
57 proc add_type_regexp {func type print lst} {
58 global all_functions CONVAR ADDR
59
60 set all_functions($func,type) $type
61 if {$print == "-"} {
62 set print $func
63 }
64
65 # An exception: since gdb canonicalizes C++ output,
66 # "(void)" must be mutated to "()".
67 regsub {\(void\)} $print {()} print
68
69 set all_functions($func,print) \
70 "$CONVAR = {$type} $ADDR <[string_to_regexp $print].*>"
71 if {$lst == "-"} {
72 set lst "$func"
73 }
74 set all_functions($func,list) ".*// [string_to_regexp $lst]"
75 }
76
77 proc add {func type print lst} {
78 add_type_regexp $func [string_to_regexp $type] $print $lst
79 }
80
81 proc get {func cmd} {
82 global all_functions
83 return $all_functions($func,$cmd)
84 }
85
86 # Returns a list of function names for a given command
87 proc get_functions {cmd} {
88 global all_functions
89 set result {}
90 foreach i [array names all_functions *,$cmd] {
91 if {$all_functions($i) != ""} {
92 set idx [string last , $i]
93 if {$idx != -1} {
94 lappend result [string range $i 0 [expr {$idx - 1}]]
95 }
96 }
97 }
98
99 return [lsort $result]
100 }
101
102 # Some convenience variables for this test
103 set DEC {[0-9]}; # a decimal number
104 set HEX {[0-9a-fA-F]}; # a hexidecimal number
105 set CONVAR "\\\$$DEC+"; # convenience variable regexp
106 set ADDR "0x$HEX+"; # address
107
108 # An array of functions/methods that we are testing...
109 # Each element consists is indexed by NAME,COMMAND, where
110 # NAME is the function name and COMMAND is the gdb command that
111 # we are testing. The value of the array for any index pair is
112 # the expected result of running COMMAND with the NAME as argument.
113
114 # The array holding all functions/methods to test. Valid subindexes
115 # are (none need character escaping -- "add" will take care of that):
116
117 # add name type print_name list
118 # NAME,type: value is type of function
119 # NAME,print: value is print name of function (careful w/inherited/virtual!)
120 # NAME,list: value is comment in source code on first line of function
121 # (without the leading "//")
122 array set all_functions {}
123
124 # "Normal" functions/methods
125 add {test_function} \
126 {int (int, char **)} \
127 - \
128 -
129 add {derived::a_function} \
130 {void (const derived * const)} \
131 - \
132 -
133 add {base1::a_function} \
134 {void (const base1 * const)} \
135 - \
136 -
137 add {base2::a_function} \
138 {void (const base2 * const)} \
139 - \
140 -
141
142 # Constructors
143
144 # On targets using the ARM EABI, the constructor is expected to return
145 # "this".
146 proc ctor_ret { type } {
147 if { [istarget arm*-*eabi*] } {
148 return "$type *"
149 } else {
150 return "void "
151 }
152 }
153
154 proc ctor_prefix { type } {
155 set ret [ctor_ret $type]
156 return "${ret}($type * const"
157 }
158
159 proc ctor { type arglist } {
160 if { $arglist != "" } {
161 set arglist ", $arglist"
162 }
163 return "[ctor_prefix $type]$arglist)"
164 }
165
166 add {derived::derived} \
167 [ctor derived ""] \
168 - \
169 -
170 add_type_regexp {base1::base1(void)} \
171 "[string_to_regexp [ctor_prefix base1]], (const )?void \\*\\*( const)?\\)" \
172 - \
173 -
174 add {base1::base1(int)} \
175 [ctor base1 "int"] \
176 - \
177 -
178 add_type_regexp {base2::base2} \
179 "[string_to_regexp [ctor_prefix base2]], (const )?void \\*\\*( const)?\\)" \
180 - \
181 -
182 add {base::base(void)} \
183 [ctor base ""] \
184 - \
185 -
186 add {base::base(int)} \
187 [ctor base "int"] \
188 - \
189 -
190
191 # Destructors
192
193 # On targets using the ARM EABI, some destructors are expected
194 # to return "this". Others are void. For internal reasons,
195 # GCC returns void * instead of $type *; RealView appears to do
196 # the same.
197 proc dtor { type } {
198 if { [istarget arm*-*eabi*] } {
199 set ret "void *"
200 } else {
201 set ret "void "
202 }
203 return "${ret}($type * const)"
204 }
205
206 add {base::~base} \
207 [dtor base] \
208 - \
209 -
210
211 # Overloaded methods (all are const)
212 add {base::overload(void) const} \
213 {int (const base * const)} \
214 - \
215 {base::overload(void) const}
216 add {base::overload(int) const} \
217 {int (const base * const, int)} \
218 - \
219 -
220 add {base::overload(short) const} \
221 {int (const base * const, short)} \
222 - \
223 -
224 add {base::overload(long) const} \
225 {int (const base * const, long)} \
226 - \
227 -
228 add {base::overload(char*) const} \
229 {int (const base * const, char *)} \
230 - \
231 -
232 add {base::overload(base&) const} \
233 {int (const base * const, base &)} \
234 - \
235 -
236
237 # Operators
238 add {base::operator+} \
239 {int (const base * const, const base &)} \
240 - \
241 -
242 add {base::operator++} \
243 {base (base * const)} \
244 - \
245 -
246 add {base::operator+=} \
247 {base (base * const, const base &)} \
248 - \
249 -
250 add {base::operator-} \
251 {int (const base * const, const base &)} \
252 - \
253 -
254 add {base::operator--} \
255 {base (base * const)} \
256 - \
257 -
258 add {base::operator-=} \
259 {base (base * const, const base &)} \
260 - \
261 -
262 add {base::operator*} \
263 {int (const base * const, const base &)} \
264 - \
265 -
266 add {base::operator*=} \
267 {base (base * const, const base &)} \
268 - \
269 -
270 add {base::operator/} \
271 {int (const base * const, const base &)} \
272 - \
273 -
274 add {base::operator/=} \
275 {base (base * const, const base &)} \
276 - \
277 -
278 add {base::operator%} \
279 {int (const base * const, const base &)} \
280 - \
281 -
282 add {base::operator%=} \
283 {base (base * const, const base &)} \
284 - \
285 -
286 add {base::operator<} \
287 {bool (const base * const, const base &)} \
288 - \
289 -
290 add {base::operator<=} \
291 {bool (const base * const, const base &)} \
292 - \
293 -
294 add {base::operator>} \
295 {bool (const base * const, const base &)} \
296 - \
297 -
298 add {base::operator>=} \
299 {bool (const base * const, const base &)} \
300 - \
301 -
302 add {base::operator!=} \
303 {bool (const base * const, const base &)} \
304 - \
305 -
306 add {base::operator==} \
307 {bool (const base * const, const base &)} \
308 - \
309 -
310 add {base::operator!} \
311 {bool (const base * const)} \
312 - \
313 -
314 add {base::operator&&} \
315 {bool (const base * const, const base &)} \
316 - \
317 -
318 add {base::operator||} \
319 {bool (const base * const, const base &)} \
320 - \
321 -
322 add {base::operator<<} \
323 {int (const base * const, int)} \
324 - \
325 -
326 add {base::operator<<=} \
327 {base (base * const, int)} \
328 - \
329 -
330 add {base::operator>>} \
331 {int (const base * const, int)} \
332 - \
333 -
334 add {base::operator>>=} \
335 {base (base * const, int)} \
336 - \
337 -
338 add {base::operator~} \
339 {int (const base * const)} \
340 - \
341 -
342 add {base::operator&} \
343 {int (const base * const, const base &)} \
344 - \
345 -
346 add {base::operator&=} \
347 {base (base * const, const base &)} \
348 - \
349 -
350 add {base::operator|} \
351 {int (const base * const, const base &)} \
352 - \
353 -
354 add {base::operator|=} \
355 {base (base * const, const base &)} \
356 - \
357 -
358 add {base::operator^} \
359 {int (const base * const, const base &)} \
360 - \
361 -
362 add {base::operator^=} \
363 {base (base * const, const base &)} \
364 - \
365 -
366 add {base::operator=} \
367 {base (base * const, const base &)} \
368 - \
369 -
370 add {base::operator()} \
371 {void (const base * const)} \
372 - \
373 -
374 add {base::operator[]} \
375 {int (const base * const, int)} \
376 - \
377 -
378 add {base::operator new} \
379 {void *(size_t)} \
380 - \
381 -
382 add {base::operator delete} \
383 {void (void *)} \
384 - \
385 -
386 add {base::operator new[]} \
387 {void *(size_t)} \
388 - \
389 -
390 add {base::operator delete[]} \
391 {void (void *)} \
392 - \
393 -
394 add {base::operator char*} \
395 {char *(const base * const)} \
396 - \
397 -
398 add {base::operator fluff*} \
399 {fluff *(const base * const)} \
400 - \
401 -
402 add {base::operator fluff**} \
403 {fluff **(const base * const)} \
404 - \
405 -
406 add {base::operator int} \
407 {int (const base * const)} \
408 - \
409 -
410
411 # Templates
412 add {tclass<char>::do_something} \
413 {void (tclass<char> * const)} \
414 - \
415 -
416 add {tclass<int>::do_something} \
417 {void (tclass<int> * const)} \
418 - \
419 -
420 add {tclass<long>::do_something} \
421 {void (tclass<long> * const)} \
422 - \
423 -
424 add {tclass<short>::do_something} \
425 {void (tclass<short> * const)} \
426 - \
427 -
428 add {tclass<base>::do_something} \
429 {void (tclass<base> * const)} \
430 - \
431 -
432 add {flubber<int, int, int, int, int>} \
433 {void (void)} \
434 - \
435 flubber
436 add {flubber<int, int, int, int, short>} \
437 {void (void)} \
438 - \
439 flubber
440 add {flubber<int, int, int, int, long>} \
441 {void (void)} \
442 - \
443 flubber
444 add {flubber<int, int, int, int, char>} \
445 {void (void)} \
446 - \
447 flubber
448 add {flubber<int, int, int, short, int>} \
449 {void (void)} \
450 - \
451 flubber
452 add {flubber<int, int, int, short, short>} \
453 {void (void)} \
454 - \
455 flubber
456 add {flubber<int, int, int, short, long>} \
457 {void (void)} \
458 - \
459 flubber
460 add {flubber<int, int, int, short, char>} \
461 {void (void)} \
462 - \
463 flubber
464 add {flubber<int, int, int, long, int>} \
465 {void (void)} \
466 - \
467 flubber
468 add {flubber<int, int, int, long, short>} \
469 {void (void)} \
470 - \
471 flubber
472 add {flubber<int, int, int, long, long>} \
473 {void (void)} \
474 - \
475 flubber
476 add {flubber<int, int, int, long, char>} \
477 {void (void)} \
478 - \
479 flubber
480 add {flubber<int, int, int, char, int>} \
481 {void (void)} \
482 - \
483 flubber
484 add {flubber<int, int, int, char, short>} \
485 {void (void)} \
486 - \
487 flubber
488 add {flubber<int, int, int, char, long>} \
489 {void (void)} \
490 - \
491 flubber
492 add {flubber<int, int, int, char, char>} \
493 {void (void)} \
494 - \
495 flubber
496 add {flubber<int, int, short, int, int>} \
497 {void (void)} \
498 - \
499 flubber
500 add {flubber<int, int, short, int, short>} \
501 {void (void)} \
502 - \
503 flubber
504 add {flubber<int, int, short, int, long>} \
505 {void (void)} \
506 - \
507 flubber
508 add {flubber<int, int, short, int, char>} \
509 {void (void)} \
510 - \
511 flubber
512 add {flubber<int, int, short, short, int>} \
513 {void (void)} \
514 - \
515 flubber
516 add {flubber<short, int, short, int, short>} \
517 {void (void)} \
518 - \
519 flubber
520 add {flubber<long, short, long, short, long>} \
521 {void (void)} \
522 - \
523 flubber
524 add {tclass<base>::do_something} \
525 {void (tclass<base> * const)} \
526 - \
527 {tclass<T>::do_something}
528 add {policy1::policy} \
529 [ctor "policy<int, operation_1<void*> >" "int"] \
530 {policy<int, operation_1<void*> >::policy} \
531 {policy<T, Policy>::policy}
532 add {policy2::policy} \
533 [ctor "policy<int, operation_2<void*> >" int] \
534 {policy<int, operation_2<void*> >::policy} \
535 {policy<T, Policy>::policy}
536 add {policy3::policy} \
537 [ctor "policy<int, operation_3<void*> >" "int"] \
538 {policy<int, operation_3<void*> >::policy} \
539 {policy<T, Policy>::policy}
540 add {policy4::policy} \
541 [ctor "policy<int, operation_4<void*> >" "int"] \
542 {policy<int, operation_4<void*> >::policy} \
543 {policy<T, Policy>::policy}
544 add {policy1::function} \
545 {void (void)} \
546 {operation_1<void*>::function} \
547 {operation_1<T>::function}
548 add {policy2::function} \
549 {void (void)} \
550 {operation_2<void*>::function} \
551 {operation_2<T>::function}
552 add {policy3::function} \
553 {void (void)} \
554 {operation_3<void*>::function} \
555 {operation_3<T>::function}
556 add {policy4::function} \
557 {void (void)} \
558 {operation_4<void*>::function} \
559 {operation_4<T>::function}
560 add {policyd<int, operation_1<int> >::policyd} \
561 [ctor "policyd<int, operation_1<int> >" "int"] \
562 - \
563 {policyd<T, Policy>::policyd}
564 add {policyd1::policyd} \
565 [ctor "policyd<int, operation_1<int> >" "int"] \
566 {policyd<int, operation_1<int> >::policyd} \
567 {policyd<T, Policy>::policyd}
568 add {policyd<int, operation_1<int> >::~policyd} \
569 [dtor "policyd<int, operation_1<int> >"] \
570 - \
571 {policyd<T, Policy>::~policyd}
572 add {policyd1::~policyd} \
573 [dtor "policyd<int, operation_1<int> >"] \
574 {policyd<int, operation_1<int> >::~policyd} \
575 {policyd<T, Policy>::~policyd}
576 add {policyd<long, operation_1<long> >::policyd} \
577 [ctor "policyd<long, operation_1<long> >" "long"] \
578 - \
579 {policyd<T, Policy>::policyd}
580 add {policyd2::policyd} \
581 [ctor "policyd<long, operation_1<long> >" "long"] \
582 {policyd<long, operation_1<long> >::policyd} \
583 {policyd<T, Policy>::policyd}
584 add {policyd<long, operation_1<long> >::~policyd} \
585 [dtor "policyd<long, operation_1<long> >"] \
586 - \
587 {policyd<T, Policy>::~policyd}
588 add {policyd2::~policyd} \
589 [dtor "policyd<long, operation_1<long> >"] \
590 {policyd<long, operation_1<long> >::~policyd} \
591 {policyd<T, Policy>::~policyd}
592 add {policyd<char, operation_1<char> >::policyd} \
593 [ctor "policyd<char, operation_1<char> >" "char"] \
594 - \
595 {policyd<T, Policy>::policyd}
596 add {policyd3::policyd} \
597 [ctor "policyd<char, operation_1<char> >" "char"] \
598 {policyd<char, operation_1<char> >::policyd} \
599 {policyd<T, Policy>::policyd}
600 add {policyd<char, operation_1<char> >::~policyd} \
601 [dtor "policyd<char, operation_1<char> >"] \
602 - \
603 {policyd<T, Policy>::~policyd}
604 add {policyd3::~policyd} \
605 [dtor "policyd<char, operation_1<char> >"] \
606 {policyd<char, operation_1<char> >::~policyd} \
607 {policyd<T, Policy>::~policyd}
608 add {policyd<base, operation_1<base> >::policyd} \
609 [ctor "policyd<base, operation_1<base> >" "base"] \
610 - \
611 {policyd<T, Policy>::policyd}
612 add {policyd4::policyd} \
613 [ctor "policyd<base, operation_1<base> >" "base"] \
614 {policyd<base, operation_1<base> >::policyd} \
615 {policyd<T, Policy>::policyd}
616 add {policyd<base, operation_1<base> >::~policyd} \
617 [dtor "policyd<base, operation_1<base> >"] \
618 - \
619 {policyd<T, Policy>::~policyd}
620 add {policyd4::~policyd} \
621 [dtor "policyd<base, operation_1<base> >"] \
622 {policyd<base, operation_1<base> >::~policyd} \
623 {policyd<T, Policy>::~policyd}
624 add {policyd<tclass<int>, operation_1<tclass<int> > >::policyd} \
625 [ctor "policyd<tclass<int>, operation_1<tclass<int> > >" "tclass<int>"] \
626 - \
627 {policyd<T, Policy>::policyd}
628 add {policyd5::policyd} \
629 [ctor "policyd<tclass<int>, operation_1<tclass<int> > >" "tclass<int>"] \
630 {policyd<tclass<int>, operation_1<tclass<int> > >::policyd} \
631 {policyd<T, Policy>::policyd}
632 add {policyd<tclass<int>, operation_1<tclass<int> > >::~policyd} \
633 [dtor "policyd<tclass<int>, operation_1<tclass<int> > >"] \
634 - \
635 {policyd<T, Policy>::~policyd}
636 add {policyd5::~policyd} \
637 [dtor "policyd<tclass<int>, operation_1<tclass<int> > >"] \
638 {policyd<tclass<int>, operation_1<tclass<int> > >::~policyd} \
639 {policyd<T, Policy>::~policyd}
640 add {policyd<int, operation_1<int> >::function} \
641 {void (void)} \
642 {operation_1<int>::function}\
643 {operation_1<T>::function}
644 add {policyd1::function} \
645 {void (void)} \
646 {operation_1<int>::function} \
647 {operation_1<T>::function}
648 add {policyd2::function} \
649 {void (void)} \
650 {operation_1<long>::function} \
651 {operation_1<T>::function}
652 add {policyd<char, operation_1<char> >::function} \
653 {void (void)} \
654 {operation_1<char>::function} \
655 {operation_1<T>::function}
656 add {policyd3::function} \
657 {void (void)} \
658 {operation_1<char>::function} \
659 {operation_1<T>::function}
660 add {policyd<base, operation_1<base> >::function} \
661 {void (void)} \
662 {operation_1<base>::function} \
663 {operation_1<T>::function}
664 add {policyd4::function} \
665 {void (void)} \
666 {operation_1<base>::function} \
667 {operation_1<T>::function}
668 add {policyd<tclass<int>, operation_1<tclass<int> > >::function} \
669 {void (void)} \
670 {operation_1<tclass<int> >::function} \
671 {operation_1<T>::function}
672 add {policyd5::function} \
673 {void (void)} \
674 {operation_1<tclass<int> >::function} \
675 {operation_1<T>::function}
676
677 # Start the test
678 if {[skip_cplus_tests]} { continue }
679
680 # On SPU this test fails because the executable exceeds local storage size.
681 if { [istarget "spu*-*-*"] } {
682 return 0
683 }
684
685 #
686 # test running programs
687 #
688
689 standard_testfile .cc
690
691 if {[get_compiler_info "c++"]} {
692 return -1
693 }
694
695 if {[prepare_for_testing $testfile.exp $testfile $srcfile {debug c++}]} {
696 return -1
697 }
698
699 if {![runto_main]} {
700 perror "couldn't run to breakpoint"
701 continue
702 }
703
704 # Set the listsize to one. This will help with testing "list".
705 gdb_test "set listsize 1"
706
707 # "print METHOD"
708 foreach name [get_functions print] {
709 gdb_test "print $name" [get $name print] "print $name"
710 }
711
712 # "list METHOD"
713 foreach name [get_functions list] {
714 gdb_test "list $name" [get $name list] "list $name"
715 }
716
717 # Running to breakpoint -- use any function we can "list"
718 foreach name [get_functions list] {
719 # Skip "test_function", since test_breakpoint uses it
720 if {[string compare $name "test_function"] != 0} {
721 test_breakpoint $name
722 }
723 }
724
725 # Test c/v gets recognized even without quoting.
726 foreach cv {{} { const} { volatile} { const volatile}} {
727 set test "p 'CV::m(int)$cv'"
728 gdb_test_multiple $test $test {
729 -re "( = {.*} 0x\[0-9a-f\]+ <CV::m.*>)\r\n$gdb_prompt $" {
730 # = {void (CV * const, CV::t)} 0x400944 <CV::m(int)>
731 set correct $expect_out(1,string)
732 pass $test
733 }
734 }
735 if {"$cv" != ""} {
736 setup_kfail c++/14186 *-*-*
737 }
738 gdb_test "p CV::m(int)$cv" [string_to_regexp $correct]
739 }
740
741 # Test TYPENAME:: gets recognized even in parentheses.
742 gdb_test "p CV_f(int)" { = {int \(int\)} 0x[0-9a-f]+ <CV_f\(int\)>}
743 gdb_test "p CV_f(CV::t)" { = {int \(int\)} 0x[0-9a-f]+ <CV_f\(int\)>}
744 gdb_test "p CV_f(CV::i)" " = 43"
745
746 gdb_test "p CV_f('cpexprs.cc'::CV::t)" \
747 { = {int \(int\)} 0x[0-9a-f]+ <CV_f\(int\)>}
748
749 gdb_exit
750 return 0