Imported Upstream version 7.9
[platform/upstream/gdb.git] / gdb / testsuite / gdb.cp / cpexprs.exp
1 # cpexprs.exp - C++ expressions tests
2 #
3 # Copyright 2008-2015 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