1 # Copyright 1998-2014 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 # written by Elena Zannoni (ezannoni@cygnus.com)
17 # Rewritten by Michael Chastain <mec.gnu@mindspring.com>
19 # This file is part of the gdb testsuite
21 # Tests for overloaded member functions.
27 if { [skip_cplus_tests] } { continue }
31 if {[prepare_for_testing $testfile.exp $testfile $srcfile {debug c++}]} {
35 # Set it up at a breakpoint so we can play with the variable values.
37 if ![runto 'marker1'] then {
38 perror "couldn't run to marker1"
42 # Prevent symbol on address 0x0 being printed.
43 gdb_test_no_output "set print symbol off"
45 gdb_test "up" ".*main.*" "up from marker1"
47 # Print the monster class type.
48 # See virtfunc.exp for a discussion of ptype.
50 # This is hairy to begin with. It is even more hairy because of the
51 # XX_* alternate patterns to catch the KFAIL and XFAIL cases.
53 set re_class "((struct|class) foo \{${ws}public:|struct foo \{)"
54 set re_fields "int ifoo;${ws}const char ?\\* ?ccpfoo;"
55 set XX_fields "int ifoo;${ws}char ?\\* ?ccpfoo;"
56 set re_ctor "foo\\(int\\);${ws}foo\\(int, (char const|const char) ?\\*\\);${ws}foo\\(foo ?&\\);"
57 set re_dtor "~foo\\((void|)\\);"
58 set XX_dtor "~foo\\(int\\);"
59 set re_methods "void foofunc\\(int\\);"
60 set re_methods "${re_methods}${ws}void foofunc\\(int, signed char ?\\*\\);"
61 set re_methods "${re_methods}${ws}int overload1arg\\((void|)\\);"
62 set re_methods "${re_methods}${ws}int overload1arg\\(char\\);"
63 set re_methods "${re_methods}${ws}int overload1arg\\(signed char\\);"
64 set re_methods "${re_methods}${ws}int overload1arg\\(unsigned char\\);"
65 set re_methods "${re_methods}${ws}int overload1arg\\(short( int)?\\);"
66 set re_methods "${re_methods}${ws}int overload1arg\\((unsigned short|short unsigned)( int)?\\);"
67 set re_methods "${re_methods}${ws}int overload1arg\\(int\\);"
68 set re_methods "${re_methods}${ws}int overload1arg\\(unsigned int\\);"
69 set re_methods "${re_methods}${ws}int overload1arg\\(long( int)?\\);"
70 set re_methods "${re_methods}${ws}int overload1arg\\((unsigned long|long unsigned)( int)?\\);"
71 set re_methods "${re_methods}${ws}int overload1arg\\(float\\);"
72 set re_methods "${re_methods}${ws}int overload1arg\\(double\\);"
73 set re_methods "${re_methods}${ws}int overload1arg\\(int \\*\\);"
74 set re_methods "${re_methods}${ws}int overload1arg\\(void \\*\\);"
75 set re_methods "${re_methods}${ws}int overloadfnarg\\((void|)\\);"
76 set re_methods "${re_methods}${ws}int overloadfnarg\\(int\\);"
77 set re_methods "${re_methods}${ws}int overloadfnarg\\(int, int ?\\(\\*\\) ?\\(int\\)\\);"
78 set re_methods "${re_methods}${ws}int overloadargs\\(int\\);"
79 set re_methods "${re_methods}${ws}int overloadargs\\(int, int\\);"
80 set re_methods "${re_methods}${ws}int overloadargs\\(int, int, int\\);"
81 set re_methods "${re_methods}${ws}int overloadargs\\(int, int, int, int\\);"
82 set re_methods "${re_methods}${ws}int overloadargs\\(int, int, int, int, int\\);"
83 set re_methods "${re_methods}${ws}int overloadargs\\(int, int, int, int, int, int\\);"
84 set re_methods "${re_methods}${ws}int overloadargs\\(int, int, int, int, int, int, int\\);"
85 set re_methods "${re_methods}${ws}int overloadargs\\(int, int, int, int, int, int, int, int\\);"
86 set re_methods "${re_methods}${ws}int overloadargs\\(int, int, int, int, int, int, int, int, int\\);"
87 set re_methods "${re_methods}${ws}int overloadargs\\(int, int, int, int, int, int, int, int, int, int\\);"
88 set re_methods "${re_methods}${ws}int overloadargs\\(int, int, int, int, int, int, int, int, int, int, int\\);"
89 set re_synth "foo & operator=\\(foo const ?&\\);"
91 gdb_test "print foo_instance1" "\\$\[0-9\]+ = \{ifoo = 111, ccpfoo = 0x0\}"
93 gdb_test_multiple "ptype foo_instance1" "ptype foo_instance1" {
94 -re "type = $re_class${ws}$re_fields${ws}$re_ctor${ws}$re_dtor${ws}$re_methods$nl\}$nl$gdb_prompt $" {
95 # gcc 2.95.3 -gdwarf-2
96 # TODO: this is not a quirk!
97 pass "ptype foo_instance1 (HP aCC -- known quirk with ~foo parameter list)"
99 -re "type = $re_class${ws}$XX_fields${ws}$re_synth${ws}$re_dtor${ws}$re_ctor${ws}$re_methods$nl\}$nl$gdb_prompt $" {
100 # gcc 2.95.3 -gstabs+, no "const" on "const char *"
101 # TODO: gdb.base/constvar.exp has XFAILed this kind of problem for a
102 # long time, but an XFAIL really needs an external bug report.
103 # -- chastain 2003-12-31
104 # setup_xfail "*-*-*"
105 # fail "ptype foo_instance1"
106 # TODO: this should be a KFAIL.
107 pass "ptype foo_instance1 (shorter match)"
109 -re "type = $re_class${ws}$re_fields${ws}$re_synth${ws}$re_dtor${ws}$re_ctor${ws}$re_methods$nl\}$nl$gdb_prompt $" {
110 # gcc 2.95.3 -gstabs+ if "const char *" ever gets fixed
111 pass "ptype foo_instance1"
113 -re "type = $re_class${ws}$re_fields${ws}$re_ctor${ws}$XX_dtor${ws}$re_methods$nl\}$nl$gdb_prompt $" {
114 # gcc 3.3.2 -gdwarf-2, "~foo(int)"
116 # kfail "gdb/1113" "ptype foo_instance1"
117 pass "ptype foo_instance1 (shorter match)"
119 -re "type = $re_class${ws}$re_fields${ws}$re_ctor${ws}$re_dtor${ws}$re_methods$nl\}$nl$gdb_prompt $" {
120 # gcc 3.3.2 -gdwarf-2, if the dtor bug gets fixed
121 # gcc HEAD -gdwarf-2 (abi-2)
122 # TODO: just pass this
123 pass "ptype foo_instance1 (shorter match)"
125 -re "type = $re_class${ws}$re_fields${ws}$re_synth${ws}$re_ctor${ws}$re_dtor${ws}$re_methods$nl\}$nl$gdb_prompt $" {
127 # TODO: enough with the "shorter match"
128 pass "ptype foo_instance1 (shorter match)"
130 -re "type = $re_class${ws}$re_fields${ws}$re_ctor${ws}$re_dtor${ws}$re_methods${ws}$re_synth$nl\}$nl$gdb_prompt $" {
131 # gcc HEAD -gstabs+ (abi-2)
132 pass "ptype foo_instance1 (shorter match)"
136 # Print variables and method calls.
137 # This is a walk in the park.
139 gdb_test "print foo_instance2" "\\$\[0-9\]+ = \{ifoo = 222, ccpfoo = $hex \"A\"\}"
140 gdb_test "print foo_instance3" "\\$\[0-9\]+ = \{ifoo = 222, ccpfoo = $hex \"A\"\}"
142 gdb_test "print foo_instance1.overloadargs(1)" "\\$\[0-9\]+ = 1" \
143 "print call overloaded func 1 arg"
145 # Regression test for overloading with function pointer type.
146 gdb_test "print foo_instance1.overloadfnarg(23, intintfunc)" " = 23"
148 # If GDB fails to restore the selected frame properly after the
149 # inferior function call above (see GDB PR 1155 for an explanation of
150 # why this might happen), all the subsequent tests will fail. We
151 # should detect and report that failure, but let the marker call
152 # finish so that the rest of the tests can run undisturbed.
154 gdb_test_multiple "frame" "re-selected 'main' frame after inferior call" {
155 -re "#0 marker1.*$gdb_prompt $" {
156 setup_kfail "gdb/1155" s390-*-linux-gnu
157 fail "re-selected 'main' frame after inferior call"
158 gdb_test "finish" ".*main.*at .*overload.cc:.*// marker1-returns-here.*" \
159 "finish call to marker1"
161 -re "#1 ($hex in )?main.*$gdb_prompt $" {
162 pass "re-selected 'main' frame after inferior call"
166 gdb_test "print foo_instance1.overloadargs(1, 2)" \
168 "print call overloaded func 2 args"
170 gdb_test "print foo_instance1.overloadargs(1, 2, 3)" \
172 "print call overloaded func 3 args"
174 gdb_test "print foo_instance1.overloadargs(1, 2, 3, 4)" \
176 "print call overloaded func 4 args"
178 gdb_test "print foo_instance1.overloadargs(1, 2, 3, 4, 5)" \
180 "print call overloaded func 5 args"
182 gdb_test "print foo_instance1.overloadargs(1, 2, 3, 4, 5, 6)" \
184 "print call overloaded func 6 args"
186 gdb_test "print foo_instance1.overloadargs(1, 2, 3, 4, 5, 6, 7)" \
188 "print call overloaded func 7 args"
190 gdb_test "print foo_instance1.overloadargs(1, 2, 3, 4, 5, 6, 7, 8)" \
192 "print call overloaded func 8 args"
194 gdb_test "print foo_instance1.overloadargs(1, 2, 3, 4, 5, 6, 7, 8, 9)" \
196 "print call overloaded func 9 args"
198 gdb_test "print foo_instance1.overloadargs(1, 2, 3, 4, 5, 6, 7, 8, 9, 10)" \
200 "print call overloaded func 10 args"
202 gdb_test "print foo_instance1.overloadargs(1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11)" \
204 "print call overloaded func 11 args"
206 gdb_test "print foo_instance1.overload1arg()" \
208 "print call overloaded func void arg"
210 gdb_test "print foo_instance1.overload1arg((char)arg2)" \
212 "print call overloaded func char arg"
214 gdb_test "print foo_instance1.overload1arg((signed char)arg3)" \
216 "print call overloaded func signed char arg"
218 gdb_test "print foo_instance1.overload1arg((unsigned char)arg4)" \
220 "print call overloaded func unsigned char arg"
222 gdb_test "print foo_instance1.overload1arg((short)arg5)" \
224 "print call overloaded func short arg"
226 gdb_test "print foo_instance1.overload1arg((unsigned short)arg6)" \
228 "print call overloaded func unsigned short arg"
230 gdb_test "print foo_instance1.overload1arg((int)arg7)" \
232 "print call overloaded func int arg"
234 gdb_test "print foo_instance1.overload1arg((unsigned int)arg8)" \
236 "print call overloaded func unsigned int arg"
238 gdb_test "print foo_instance1.overload1arg((long)arg9)" \
240 "print call overloaded func long arg"
242 gdb_test "print foo_instance1.overload1arg((unsigned long)arg10)" \
244 "print call overloaded func unsigned long arg"
246 gdb_test "print foo_instance1.overload1arg((float)arg11)" \
248 "print call overloaded func float arg"
250 gdb_test "print foo_instance1.overload1arg((double)arg12)" \
252 "print call overloaded func double arg"
254 gdb_test "print foo_instance1.overload1arg(&arg13)" \
256 "print call overloaded func int\\* arg"
258 gdb_test "print foo_instance1.overload1arg(&arg14)" \
260 "print call overloaded func char\\* arg"
262 gdb_test "print bar(a)" "= 11"
263 gdb_test "print bar(b)" "= 22"
264 gdb_test "print bar(c)" "= 22"
265 gdb_test "print bar(d)" "= 22"
269 # List overloaded functions.
271 # The void case is tricky because some compilers say "(void)"
272 # and some compilers say "()".
274 gdb_test_no_output "set listsize 1" ""
275 gdb_test_multiple "info func overloadfnarg" "list overloaded function with no args" {
276 -re ".*overloadfnarg\\(void\\).*$gdb_prompt $" {
278 gdb_test "list foo::overloadfnarg(void)"\
279 ".*int foo::overloadfnarg.*\\(void\\).*" \
280 "list overloaded function with no args"
282 -re ".*overloadfnarg\\(\\).*$gdb_prompt $" {
284 gdb_test "list foo::overloadfnarg()"\
285 ".*int foo::overloadfnarg.*\\(void\\).*" \
286 "list overloaded function with no args"
290 gdb_test "list foo::overloadfnarg(int)" \
291 "int foo::overloadfnarg.*\\(int arg\\).*" \
292 "list overloaded function with int arg"
294 gdb_test "list foo::overloadfnarg(int, int (*)(int))" \
295 "int foo::overloadfnarg.*\\(int arg, int \\(\\*foo\\) \\(int\\)\\).*" \
296 "list overloaded function with function ptr args"
298 gdb_test "list \"foo::overloadfnarg(int, int (*)(int))\"" \
299 "int foo::overloadfnarg.*\\(int arg, int \\(\\*foo\\) \\(int\\)\\).*" \
300 "list overloaded function with function ptr args - quotes around argument"
302 # Test list with filename.
304 gdb_test "list ${srcfile}:intToChar" "int intToChar.*"
305 gdb_test "list ${srcfile}:intToChar(char)" "int intToChar.*"
306 gdb_test "list ${srcfile}:'intToChar(char)'" "int intToChar.*"
307 gdb_test "list '${srcfile}:intToChar(char)'" "int intToChar.*"
308 gdb_test "list '${srcfile}':intToChar(char)" "int intToChar.*"
309 gdb_test "list '${srcfile}':'intToChar(char)'" "int intToChar.*"
311 # And with filename and namespace.
313 gdb_test "list ${srcfile}:foo::overloadfnarg(int)" "int foo::overloadfnarg.*}"
314 gdb_test "list ${srcfile}:'foo::overloadfnarg(int)'" "int foo::overloadfnarg.*}"
316 # Now some tests to see how overloading and namespaces interact.
318 gdb_test "print overloadNamespace(1)" ".\[0-9\]* = 1"
319 gdb_test "print overloadNamespace('a')" ".\[0-9\]* = 1"
320 gdb_test "print overloadNamespace(dummyInstance)" ".\[0-9\]* = 2"
323 gdb_test "print K::staticoverload ()" " = 1"
324 gdb_test "print K::staticoverload (2)" " = 2"
325 gdb_test "print K::staticoverload (2, 3)" " = 5"
327 # Namespace-qualified functions.
328 gdb_test "print N::nsoverload ()" " = 1"
329 gdb_test "print N::nsoverload (2)" " = 2"
330 gdb_test "print N::nsoverload (2, 3)" " = 5"
332 if ![runto 'XXX::marker2'] then {
333 perror "couldn't run to XXX::marker2"
337 gdb_test "print overloadNamespace(1)" ".\[0-9\]* = 3" "print overloadNamespace(1) in XXX"
338 gdb_test "print overloadNamespace('a')" ".\[0-9\]* = 3" "print overloadNamespace('a') in XXX"
339 gdb_test "print overloadNamespace(dummyInstance)" ".\[0-9\]* = 2" "print overloadNamespace(dummyInstance) in XXX"
341 # One last mysterious test.
342 # I wonder what this is for?
344 gdb_test "print intToChar(1)" "\\$\[0-9\]+ = 297"
346 # Test expression evaluation with overloaded methods
347 gdb_test "print foo::overload1arg" \
348 "non-unique member `overload1arg' requires type instantiation" \
349 "print foo::overload1arg"
351 gdb_test "print foo::overload1arg(char***)" \
352 "no member function matches that type instantiation" \
353 "print foo::overload1arg(char***)"
355 gdb_test "print foo::overload1arg(void)" \
356 "\\$$decimal = {int \\(foo \\*( const|)\\)} $hex <foo::overload1arg\\(\\)>" \
357 "print foo::overload1arg(void)"
359 foreach t [list char "signed char" "unsigned char" "short" \
360 "unsigned short" int "unsigned int" long "unsigned long" \
362 gdb_test "print foo::overload1arg($t)" \
363 "\\$$decimal = {int \\(foo \\*( const|), $t\\)} $hex <foo::overload1arg\\($t\\)>" \
364 "print foo::overload1arg($t)"