overload.exp revision 1.7
1# Copyright 1998-2017 Free Software Foundation, Inc. 2 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. 7# 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. 12# 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/>. 15 16# written by Elena Zannoni (ezannoni@cygnus.com) 17# Rewritten by Michael Chastain <mec.gnu@mindspring.com> 18 19# This file is part of the gdb testsuite 20 21# Tests for overloaded member functions. 22 23set ws "\[\r\n\t \]+" 24set nl "\[\r\n\]+" 25 26 27if { [skip_cplus_tests] } { continue } 28 29standard_testfile .cc 30 31if {[prepare_for_testing "failed to prepare" $testfile $srcfile {debug c++}]} { 32 return -1 33} 34 35# Set it up at a breakpoint so we can play with the variable values. 36 37if ![runto 'marker1'] then { 38 perror "couldn't run to marker1" 39 continue 40} 41 42# Prevent symbol on address 0x0 being printed. 43gdb_test_no_output "set print symbol off" 44 45gdb_test "up" ".*main.*" "up from marker1" 46 47# Print the monster class type. 48# See virtfunc.exp for a discussion of ptype. 49# 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. 52 53set re_class "((struct|class) foo \{${ws}public:|struct foo \{)" 54set re_fields "int ifoo;${ws}const char ?\\* ?ccpfoo;" 55set XX_fields "int ifoo;${ws}char ?\\* ?ccpfoo;" 56set re_ctor "foo\\(int\\);${ws}foo\\(int, (char const|const char) ?\\*\\);${ws}foo\\(foo ?&\\);" 57set re_dtor "~foo\\((void|)\\);" 58set XX_dtor "~foo\\(int\\);" 59set re_methods "void foofunc\\(int\\);" 60set re_methods "${re_methods}${ws}void foofunc\\(int, signed char ?\\*\\);" 61set re_methods "${re_methods}${ws}int overload1arg\\((void|)\\);" 62set re_methods "${re_methods}${ws}int overload1arg\\(char\\);" 63set re_methods "${re_methods}${ws}int overload1arg\\(signed char\\);" 64set re_methods "${re_methods}${ws}int overload1arg\\(unsigned char\\);" 65set re_methods "${re_methods}${ws}int overload1arg\\(short( int)?\\);" 66set re_methods "${re_methods}${ws}int overload1arg\\((unsigned short|short unsigned)( int)?\\);" 67set re_methods "${re_methods}${ws}int overload1arg\\(int\\);" 68set re_methods "${re_methods}${ws}int overload1arg\\(unsigned int\\);" 69set re_methods "${re_methods}${ws}int overload1arg\\(long( int)?\\);" 70set re_methods "${re_methods}${ws}int overload1arg\\((unsigned long|long unsigned)( int)?\\);" 71set re_methods "${re_methods}${ws}int overload1arg\\(float\\);" 72set re_methods "${re_methods}${ws}int overload1arg\\(double\\);" 73set re_methods "${re_methods}${ws}int overload1arg\\(int \\*\\);" 74set re_methods "${re_methods}${ws}int overload1arg\\(void \\*\\);" 75set re_methods "${re_methods}${ws}int overloadfnarg\\((void|)\\);" 76set re_methods "${re_methods}${ws}int overloadfnarg\\(int\\);" 77set re_methods "${re_methods}${ws}int overloadfnarg\\(int, int ?\\(\\*\\) ?\\(int\\)\\);" 78set re_methods "${re_methods}${ws}int overloadargs\\(int\\);" 79set re_methods "${re_methods}${ws}int overloadargs\\(int, int\\);" 80set re_methods "${re_methods}${ws}int overloadargs\\(int, int, int\\);" 81set re_methods "${re_methods}${ws}int overloadargs\\(int, int, int, int\\);" 82set re_methods "${re_methods}${ws}int overloadargs\\(int, int, int, int, int\\);" 83set re_methods "${re_methods}${ws}int overloadargs\\(int, int, int, int, int, int\\);" 84set re_methods "${re_methods}${ws}int overloadargs\\(int, int, int, int, int, int, int\\);" 85set re_methods "${re_methods}${ws}int overloadargs\\(int, int, int, int, int, int, int, int\\);" 86set re_methods "${re_methods}${ws}int overloadargs\\(int, int, int, int, int, int, int, int, int\\);" 87set re_methods "${re_methods}${ws}int overloadargs\\(int, int, int, int, int, int, int, int, int, int\\);" 88set re_methods "${re_methods}${ws}int overloadargs\\(int, int, int, int, int, int, int, int, int, int, int\\);" 89set re_synth "foo & operator=\\(foo const ?&\\);" 90 91gdb_test "print foo_instance1" "\\$\[0-9\]+ = \{ifoo = 111, ccpfoo = 0x0\}" 92 93gdb_test_multiple "ptype foo_instance1" "ptype foo_instance1" { 94 -re "type = $re_class${ws}$XX_fields${ws}$re_synth${ws}$re_dtor${ws}$re_ctor${ws}$re_methods$nl\}$nl$gdb_prompt $" { 95 # gcc 2.95.3 -gstabs+, no "const" on "const char *" 96 # TODO: gdb.base/constvar.exp has XFAILed this kind of problem for a 97 # long time, but an XFAIL really needs an external bug report. 98 # -- chastain 2003-12-31 99 # setup_xfail "*-*-*" 100 # fail "ptype foo_instance1" 101 # TODO: this should be a KFAIL. 102 pass "ptype foo_instance1 (shorter match)" 103 } 104 -re "type = $re_class${ws}$re_fields${ws}$re_synth${ws}$re_dtor${ws}$re_ctor${ws}$re_methods$nl\}$nl$gdb_prompt $" { 105 # gcc 2.95.3 -gstabs+ if "const char *" ever gets fixed 106 pass "ptype foo_instance1" 107 } 108 -re "type = $re_class${ws}$re_fields${ws}$re_ctor${ws}$XX_dtor${ws}$re_methods$nl\}$nl$gdb_prompt $" { 109 # gcc 3.3.2 -gdwarf-2, "~foo(int)" 110 # TODO: kfail this 111 # kfail "gdb/1113" "ptype foo_instance1" 112 pass "ptype foo_instance1 (shorter match)" 113 } 114 -re "type = $re_class${ws}$re_fields${ws}$re_ctor${ws}$re_dtor${ws}$re_methods$nl\}$nl$gdb_prompt $" { 115 # gcc 3.3.2 -gdwarf-2, if the dtor bug gets fixed 116 # gcc HEAD -gdwarf-2 (abi-2) 117 # TODO: just pass this 118 pass "ptype foo_instance1 (shorter match)" 119 } 120 -re "type = $re_class${ws}$re_fields${ws}$re_synth${ws}$re_ctor${ws}$re_dtor${ws}$re_methods$nl\}$nl$gdb_prompt $" { 121 # gcc 3.3.2 -gstabs+ 122 # TODO: enough with the "shorter match" 123 pass "ptype foo_instance1 (shorter match)" 124 } 125 -re "type = $re_class${ws}$re_fields${ws}$re_ctor${ws}$re_dtor${ws}$re_methods${ws}$re_synth$nl\}$nl$gdb_prompt $" { 126 # gcc HEAD -gstabs+ (abi-2) 127 pass "ptype foo_instance1 (shorter match)" 128 } 129} 130 131# Print variables and method calls. 132# This is a walk in the park. 133 134gdb_test "print foo_instance2" "\\$\[0-9\]+ = \{ifoo = 222, ccpfoo = $hex \"A\"\}" 135gdb_test "print foo_instance3" "\\$\[0-9\]+ = \{ifoo = 222, ccpfoo = $hex \"A\"\}" 136 137gdb_test "print foo_instance1.overloadargs(1)" "\\$\[0-9\]+ = 1" \ 138 "print call overloaded func 1 arg" 139 140# Regression test for overloading with function pointer type. 141gdb_test "print foo_instance1.overloadfnarg(23, intintfunc)" " = 23" 142 143# If GDB fails to restore the selected frame properly after the 144# inferior function call above (see GDB PR 1155 for an explanation of 145# why this might happen), all the subsequent tests will fail. We 146# should detect and report that failure, but let the marker call 147# finish so that the rest of the tests can run undisturbed. 148 149gdb_test_multiple "frame" "re-selected 'main' frame after inferior call" { 150 -re "#0 marker1.*$gdb_prompt $" { 151 setup_kfail "gdb/1155" s390-*-linux-gnu 152 fail "re-selected 'main' frame after inferior call" 153 gdb_test "finish" ".*main.*at .*overload.cc:.*// marker1-returns-here.*" \ 154 "finish call to marker1" 155 } 156 -re "#1 ($hex in )?main.*$gdb_prompt $" { 157 pass "re-selected 'main' frame after inferior call" 158 } 159} 160 161gdb_test "print foo_instance1.overloadargs(1, 2)" \ 162 "\\$\[0-9\]+ = 2" \ 163 "print call overloaded func 2 args" 164 165gdb_test "print foo_instance1.overloadargs(1, 2, 3)" \ 166 "\\$\[0-9\]+ = 3" \ 167 "print call overloaded func 3 args" 168 169gdb_test "print foo_instance1.overloadargs(1, 2, 3, 4)" \ 170 "\\$\[0-9\]+ = 4" \ 171 "print call overloaded func 4 args" 172 173gdb_test "print foo_instance1.overloadargs(1, 2, 3, 4, 5)" \ 174 "\\$\[0-9\]+ = 5" \ 175 "print call overloaded func 5 args" 176 177gdb_test "print foo_instance1.overloadargs(1, 2, 3, 4, 5, 6)" \ 178 "\\$\[0-9\]+ = 6" \ 179 "print call overloaded func 6 args" 180 181gdb_test "print foo_instance1.overloadargs(1, 2, 3, 4, 5, 6, 7)" \ 182 "\\$\[0-9\]+ = 7" \ 183 "print call overloaded func 7 args" 184 185gdb_test "print foo_instance1.overloadargs(1, 2, 3, 4, 5, 6, 7, 8)" \ 186 "\\$\[0-9\]+ = 8" \ 187 "print call overloaded func 8 args" 188 189gdb_test "print foo_instance1.overloadargs(1, 2, 3, 4, 5, 6, 7, 8, 9)" \ 190 "\\$\[0-9\]+ = 9" \ 191 "print call overloaded func 9 args" 192 193gdb_test "print foo_instance1.overloadargs(1, 2, 3, 4, 5, 6, 7, 8, 9, 10)" \ 194 "\\$\[0-9\]+ = 10" \ 195 "print call overloaded func 10 args" 196 197gdb_test "print foo_instance1.overloadargs(1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11)" \ 198 "\\$\[0-9\]+ = 11" \ 199 "print call overloaded func 11 args" 200 201gdb_test "print foo_instance1.overload1arg()" \ 202 "\\$\[0-9\]+ = 1" \ 203 "print call overloaded func void arg" 204 205gdb_test "print foo_instance1.overload1arg((char)arg2)" \ 206 "\\$\[0-9\]+ = 2" \ 207 "print call overloaded func char arg" 208 209gdb_test "print foo_instance1.overload1arg((signed char)arg3)" \ 210 "\\$\[0-9\]+ = 3" \ 211 "print call overloaded func signed char arg" 212 213gdb_test "print foo_instance1.overload1arg((unsigned char)arg4)" \ 214 "\\$\[0-9\]+ = 4" \ 215 "print call overloaded func unsigned char arg" 216 217gdb_test "print foo_instance1.overload1arg((short)arg5)" \ 218 "\\$\[0-9\]+ = 5" \ 219 "print call overloaded func short arg" 220 221gdb_test "print foo_instance1.overload1arg((unsigned short)arg6)" \ 222 "\\$\[0-9\]+ = 6" \ 223 "print call overloaded func unsigned short arg" 224 225gdb_test "print foo_instance1.overload1arg((int)arg7)" \ 226 "\\$\[0-9\]+ = 7" \ 227 "print call overloaded func int arg" 228 229gdb_test "print foo_instance1.overload1arg((unsigned int)arg8)" \ 230 "\\$\[0-9\]+ = 8" \ 231 "print call overloaded func unsigned int arg" 232 233gdb_test "print foo_instance1.overload1arg((long)arg9)" \ 234 "\\$\[0-9\]+ = 9" \ 235 "print call overloaded func long arg" 236 237gdb_test "print foo_instance1.overload1arg((unsigned long)arg10)" \ 238 "\\$\[0-9\]+ = 10" \ 239 "print call overloaded func unsigned long arg" 240 241gdb_test "print foo_instance1.overload1arg((float)arg11)" \ 242 "\\$\[0-9\]+ = 11" \ 243 "print call overloaded func float arg" 244 245gdb_test "print foo_instance1.overload1arg((double)arg12)" \ 246 "\\$\[0-9\]+ = 12" \ 247 "print call overloaded func double arg" 248 249gdb_test "print foo_instance1.overload1arg(&arg13)" \ 250 "\\$\[0-9\]+ = 13" \ 251 "print call overloaded func int\\* arg" 252 253gdb_test "print foo_instance1.overload1arg(&arg14)" \ 254 "\\$\[0-9\]+ = 14" \ 255 "print call overloaded func char\\* arg" 256 257gdb_test "print bar(a)" "= 11" 258gdb_test "print bar(b)" "= 22" 259gdb_test "print bar(c)" "= 22" 260gdb_test "print bar(d)" "= 22" 261 262# --- 263 264# List overloaded functions. 265 266# The void case is tricky because some compilers say "(void)" 267# and some compilers say "()". 268 269gdb_test_no_output "set listsize 1" "" 270gdb_test_multiple "info func overloadfnarg" "list overloaded function with no args" { 271 -re ".*overloadfnarg\\(void\\).*$gdb_prompt $" { 272 # gcc 2 273 gdb_test "list foo::overloadfnarg(void)"\ 274 ".*int foo::overloadfnarg.*\\(void\\).*" \ 275 "list overloaded function with no args" 276 } 277 -re ".*overloadfnarg\\(\\).*$gdb_prompt $" { 278 # gcc 3 279 gdb_test "list foo::overloadfnarg()"\ 280 ".*int foo::overloadfnarg.*\\(void\\).*" \ 281 "list overloaded function with no args" 282 } 283} 284 285gdb_test "list foo::overloadfnarg(int)" \ 286 "int foo::overloadfnarg.*\\(int arg\\).*" \ 287 "list overloaded function with int arg" 288 289gdb_test "list foo::overloadfnarg(int, int (*)(int))" \ 290 "int foo::overloadfnarg.*\\(int arg, int \\(\\*foo\\) \\(int\\)\\).*" \ 291 "list overloaded function with function ptr args" 292 293gdb_test "list \"foo::overloadfnarg(int, int (*)(int))\"" \ 294 "int foo::overloadfnarg.*\\(int arg, int \\(\\*foo\\) \\(int\\)\\).*" \ 295 "list overloaded function with function ptr args - quotes around argument" 296 297# Test list with filename. 298 299gdb_test "list ${srcfile}:intToChar" "int intToChar.*" 300gdb_test "list ${srcfile}:intToChar(char)" "int intToChar.*" 301gdb_test "list ${srcfile}:'intToChar(char)'" "int intToChar.*" 302gdb_test "list '${srcfile}:intToChar(char)'" "int intToChar.*" 303gdb_test "list '${srcfile}':intToChar(char)" "int intToChar.*" 304gdb_test "list '${srcfile}':'intToChar(char)'" "int intToChar.*" 305 306# And with filename and namespace. 307 308gdb_test "list ${srcfile}:foo::overloadfnarg(int)" "int foo::overloadfnarg.*}" 309gdb_test "list ${srcfile}:'foo::overloadfnarg(int)'" "int foo::overloadfnarg.*}" 310 311# Now some tests to see how overloading and namespaces interact. 312 313gdb_test "print overloadNamespace(1)" ".\[0-9\]* = 1" 314gdb_test "print overloadNamespace('a')" ".\[0-9\]* = 1" 315gdb_test "print overloadNamespace(dummyInstance)" ".\[0-9\]* = 2" 316 317# Static methods. 318gdb_test "print K::staticoverload ()" " = 1" 319gdb_test "print K::staticoverload (2)" " = 2" 320gdb_test "print K::staticoverload (2, 3)" " = 5" 321 322# Namespace-qualified functions. 323gdb_test "print N::nsoverload ()" " = 1" 324gdb_test "print N::nsoverload (2)" " = 2" 325gdb_test "print N::nsoverload (2, 3)" " = 5" 326 327if ![runto 'XXX::marker2'] then { 328 perror "couldn't run to XXX::marker2" 329 continue 330} 331 332gdb_test "print overloadNamespace(1)" ".\[0-9\]* = 3" "print overloadNamespace(1) in XXX" 333gdb_test "print overloadNamespace('a')" ".\[0-9\]* = 3" "print overloadNamespace('a') in XXX" 334gdb_test "print overloadNamespace(dummyInstance)" ".\[0-9\]* = 2" "print overloadNamespace(dummyInstance) in XXX" 335 336# One last mysterious test. 337# I wonder what this is for? 338 339gdb_test "print intToChar(1)" "\\$\[0-9\]+ = 297" 340 341# Test expression evaluation with overloaded methods 342gdb_test "print foo::overload1arg" \ 343 "non-unique member `overload1arg' requires type instantiation" \ 344 "print foo::overload1arg" 345 346gdb_test "print foo::overload1arg(char***)" \ 347 "no member function matches that type instantiation" \ 348 "print foo::overload1arg(char***)" 349 350gdb_test "print foo::overload1arg(void)" \ 351 "\\$$decimal = {int \\(foo \\*( const|)\\)} $hex <foo::overload1arg\\(\\)>" \ 352 "print foo::overload1arg(void)" 353 354foreach t [list char "signed char" "unsigned char" "short" \ 355 "unsigned short" int "unsigned int" long "unsigned long" \ 356 float double] { 357 gdb_test "print foo::overload1arg($t)" \ 358 "\\$$decimal = {int \\(foo \\*( const|), $t\\)} $hex <foo::overload1arg\\($t\\)>" \ 359 "print foo::overload1arg($t)" 360} 361