overload.exp revision 1.8
1# Copyright 1998-2019 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 266gdb_test_no_output "set listsize 1" "" 267 268# Build source listing pattern based on an inclusive line range. 269 270proc line_range_pattern { range_start range_end } { 271 global line_re 272 273 for {set i $range_start} {$i <= $range_end} {incr i} { 274 append pattern "\r\n$i\[ \t\]\[^\r\n\]*" 275 } 276 277 verbose -log "pattern $pattern" 278 return $pattern 279} 280 281# The void case is tricky because some compilers say "(void)" 282# and some compilers say "()". 283 284gdb_test_multiple "info func overloadfnarg" "list overloaded function with no args" { 285 -re ".*overloadfnarg\\(void\\).*$gdb_prompt $" { 286 # gcc 2 287 gdb_test "list foo::overloadfnarg(void)"\ 288 ".*int foo::overloadfnarg.*\\(void\\).*" \ 289 "list overloaded function with no args" 290 } 291 -re ".*overloadfnarg\\(\\).*$gdb_prompt $" { 292 # gcc 3 293 gdb_test "list foo::overloadfnarg()"\ 294 ".*int foo::overloadfnarg.*\\(void\\).*" \ 295 "list overloaded function with no args" 296 } 297} 298 299gdb_test "list foo::overloadfnarg(int)" \ 300 "int foo::overloadfnarg.*\\(int arg\\).*" \ 301 "list overloaded function with int arg" 302 303gdb_test "list foo::overloadfnarg(int, int (*)(int))" \ 304 "int foo::overloadfnarg.*\\(int arg, int \\(\\*foo\\) \\(int\\)\\).*" \ 305 "list overloaded function with function ptr args" 306 307gdb_test "list \"foo::overloadfnarg(int, int (*)(int))\"" \ 308 "int foo::overloadfnarg.*\\(int arg, int \\(\\*foo\\) \\(int\\)\\).*" \ 309 "list overloaded function with function ptr args - quotes around argument" 310 311# Test list with filename. 312 313gdb_test "list ${srcfile}:intToChar" "int intToChar.*" 314gdb_test "list ${srcfile}:intToChar(char)" "int intToChar.*" 315gdb_test "list ${srcfile}:'intToChar(char)'" "int intToChar.*" 316gdb_test "list '${srcfile}:intToChar(char)'" "int intToChar.*" 317gdb_test "list '${srcfile}':intToChar(char)" "int intToChar.*" 318gdb_test "list '${srcfile}':'intToChar(char)'" "int intToChar.*" 319 320# And with filename and namespace. 321 322gdb_test "list ${srcfile}:foo::overloadfnarg(int)" "int foo::overloadfnarg.*}" 323gdb_test "list ${srcfile}:'foo::overloadfnarg(int)'" "int foo::overloadfnarg.*}" 324 325# Now some tests to see how overloading and namespaces interact. 326 327gdb_test "print overloadNamespace(1)" ".\[0-9\]* = 1" 328gdb_test "print overloadNamespace('a')" ".\[0-9\]* = 1" 329gdb_test "print overloadNamespace(dummyInstance)" ".\[0-9\]* = 2" 330 331# Static methods. 332gdb_test "print K::staticoverload ()" " = 1" 333gdb_test "print K::staticoverload (2)" " = 2" 334gdb_test "print K::staticoverload (2, 3)" " = 5" 335 336# Namespace-qualified functions. 337gdb_test "print N::nsoverload ()" " = 1" 338gdb_test "print N::nsoverload (2)" " = 2" 339gdb_test "print N::nsoverload (2, 3)" " = 5" 340 341# Test "list function" when there are multiple "function" overloads. 342 343with_test_prefix "list all overloads" { 344 # Bump up listsize again, to make sure the number of lines to 345 # display before/after each location is computed correctly. 346 gdb_test_no_output "set listsize 10" 347 348 set line_bar_A [gdb_get_line_number "int bar (A)"] 349 set line_bar_B [gdb_get_line_number "int bar (B)"] 350 set lines1 [line_range_pattern [expr $line_bar_A - 5] [expr $line_bar_A + 4]] 351 set lines2 [line_range_pattern [expr $line_bar_B - 5] [expr $line_bar_B + 4]] 352 353 set any "\[^\r\n\]*" 354 set h1_re "file: \"${any}overload.cc\", line number: $line_bar_A, symbol: \"bar\\(A\\)\"" 355 set h2_re "file: \"${any}overload.cc\", line number: $line_bar_B, symbol: \"bar\\(B\\)\"" 356 gdb_test "list bar" "${h1_re}${lines1}\r\n${h2_re}${lines2}" 357} 358 359if ![runto 'XXX::marker2'] then { 360 perror "couldn't run to XXX::marker2" 361 continue 362} 363 364gdb_test "print overloadNamespace(1)" ".\[0-9\]* = 3" "print overloadNamespace(1) in XXX" 365gdb_test "print overloadNamespace('a')" ".\[0-9\]* = 3" "print overloadNamespace('a') in XXX" 366gdb_test "print overloadNamespace(dummyInstance)" ".\[0-9\]* = 2" "print overloadNamespace(dummyInstance) in XXX" 367 368# One last mysterious test. 369# I wonder what this is for? 370 371gdb_test "print intToChar(1)" "\\$\[0-9\]+ = 297" 372 373# Test expression evaluation with overloaded methods 374gdb_test "print foo::overload1arg" \ 375 "non-unique member `overload1arg' requires type instantiation" \ 376 "print foo::overload1arg" 377 378gdb_test "print foo::overload1arg(char***)" \ 379 "no member function matches that type instantiation" \ 380 "print foo::overload1arg(char***)" 381 382gdb_test "print foo::overload1arg(void)" \ 383 "\\$$decimal = {int \\(foo \\*( const|)\\)} $hex <foo::overload1arg\\(\\)>" \ 384 "print foo::overload1arg(void)" 385 386foreach t [list char "signed char" "unsigned char" "short" \ 387 "unsigned short" int "unsigned int" long "unsigned long" \ 388 float double] { 389 gdb_test "print foo::overload1arg($t)" \ 390 "\\$$decimal = {int \\(foo \\*( const|), $t\\)} $hex <foo::overload1arg\\($t\\)>" \ 391 "print foo::overload1arg($t)" 392} 393