gdb/testsuite/gdb.c++/cplusfuncs.exp

   1 # Copyright (C) 1992, 1997 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 2 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, write to the Free Software
  15 # Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
  16
  17 # Please email any bugs, comments, and/or additions to this file to:
  18 # bug-gdb@prep.ai.mit.edu
  19
  20 # This file was written by Fred Fish. (fnf@cygnus.com)
  21
  22 if $tracelevel then {
  23         strace $tracelevel
  24 }
  25
  26 # Check to see if we have an executable to test.  If not, then either we
  27 # haven't tried to compile one, or the compilation failed for some reason.
  28 # In either case, just notify the user and skip the tests in this file.
  29
  30 set testfile "cplusfuncs"
  31 set srcfile ${testfile}.cc
  32 set binfile ${objdir}/${subdir}/${testfile}
  33 if  { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}" executable {debug c++}] != "" } {
  34      gdb_suppress_entire_file "Testcase compile failed, so all tests in this file will automatically fail."
  35 }
  36
  37 if {[get_compiler_info $binfile "c++"] == -1} {
  38     return -1
  39 }
  40
  41 #
  42 #  Cause gdb to lookup a specific C++ function and print the demangled
  43 #  form.
  44 #
  45
  46 proc info_func { regex demangled } {
  47     global gdb_prompt
  48
  49     send_gdb "info function $regex\n"
  50     gdb_expect {
  51         -re "File .*:\r\n$demangled\r\n.*$gdb_prompt $" {
  52             pass "info function for \"$regex\""
  53         }
  54         -re "File .*:\r\nclass $demangled\r\n.*$gdb_prompt $" {
  55             pass "info function for \"$regex\""
  56         }
  57         -re ".*$gdb_prompt $" {
  58             fail "info function for \"$regex\""
  59         }
  60         timeout {
  61             fail "info function for \"$regex\" (timeout)"
  62         }
  63     }
  64 }
  65
  66 #
  67 #  Run print &'$arg' on the input arg and verify that we can correctly
  68 #  lookup the fully qualified C++ function.
  69 #  We ignore the return type of the function since we are only interested
  70 #  in the rootname and arguments part.
  71 #
  72
  73 proc print_addr_of { arg } {
  74     global gdb_prompt
  75     global hex
  76
  77     set pattern [string_to_regexp $arg]
  78     send_gdb "print &'$arg'\n"
  79     gdb_expect {
  80         -re ".* = .* $hex <$pattern>\r\n$gdb_prompt $" { pass "print &'$arg'" }
  81         -re ".*$gdb_prompt $" {
  82             fail "print &'$arg'"
  83         }
  84         timeout {
  85             fail "print &'$arg' (timeout)"
  86         }
  87     }
  88 }
  89
  90 #
  91 # Test name demangling for operators.
  92 #
  93 # The '(' at the end of each regex input pattern is so that we match only
  94 # the one we are looking for.  I.E. "operator&" would match both
  95 # "operator&(foo &)" and "operator&&(foo &)".
  96 #
  97
  98 proc test_lookup_operator_functions {} {
  99
 100     # These tests don't work for COFF targets; don't even try them
 101     if [istarget "a29k-*-udi"] then {
 102         setup_xfail "a29k-*-udi"
 103         fail "skipping operator tests"
 104         return
 105     }
 106
 107     info_func "operator&&("  "void foo::operator&&\\(foo &\\);"
 108     info_func "operator&=("  "void foo::operator&=\\(foo &\\);"
 109     info_func "operator&("  "void foo::operator&\\(foo &\\);"
 110     info_func "operator/=("  "void foo::operator/=\\(foo &\\);"
 111     info_func "operator^=("  "void foo::operator.=\\(foo &\\);"
 112     info_func "operator<<=("  "void foo::operator<<=\\(foo &\\);"
 113     info_func "operator%=("  "void foo::operator%=\\(foo &\\);"
 114     info_func "operator-=("  "void foo::operator-=\\(foo &\\);"
 115
 116     # There doesn't appear to be any way to get GDB to treat '*' as a
 117     # character to match, rather than as a regex special character.
 118     setup_xfail "*-*-*"
 119     info_func "operator\*=("  "void foo::operator\\*=\\(foo &\\);"
 120
 121     info_func "operator|=("  "void foo::operator\\|=\\(foo &\\);"
 122     info_func "operator+=("  "void foo::operator.=\\(foo &\\);"
 123     info_func "operator>>=("  "void foo::operator\>\>=\\(foo &\\);"
 124     info_func "operator=("  "void foo::operator=\\(foo &\\);"
 125     info_func "operator()("  "void foo::operator\\(\\)\\(foo &\\);"
 126
 127     # The function should be "operator," not "operator, ".  (note space)
 128     # This test will work; I've commented it out because it should not
 129     # count as a pass, since it is incorrect.  Ian Taylor.
 130     # info_func "operator, ("  "void foo::operator, \\(foo &\\);"
 131     setup_xfail "*-*-*"
 132     info_func "operator,("  "void foo::operator,\\(foo &\\);"
 133
 134     info_func "operator~("  "void foo::operator~\\(void\\);"
 135     info_func "operator delete("  "void foo::operator delete\\(void \\*\\)(| static);"
 136     info_func "operator/("  "void foo::operator/\\(foo &\\);"
 137     info_func "operator==("  "void foo::operator==\\(foo &\\);"
 138     info_func "operator^("  "void foo::operator\\^\\(foo &\\);"
 139
 140     info_func "operator>=("  "void foo::operator>=\\(foo &\\);"
 141     info_func "operator>("  "void foo::operator>\\(foo &\\);"
 142     info_func "operator<=("  "void foo::operator<=\\(foo &\\);"
 143     info_func "operator<<("  "void foo::operator<<\\(foo &\\);"
 144     info_func "operator<("  "void foo::operator<\\(foo &\\);"
 145     info_func "operator%("  "void foo::operator%\\(foo &\\);"
 146     info_func "operator-("  "void foo::operator-\\(foo &\\);"
 147
 148     # There doesn't appear to be anyway to get '*' treated as a character
 149     # to match, rather than as a regex special character.
 150     setup_xfail "*-*-*"
 151     info_func "operator\*("  "void foo::operator\\*\\(foo &\\);"
 152
 153     info_func "operator--("  "void foo::operator--\\(int\\);"
 154     info_func "operator!=("  "void foo::operator!=\\(foo &\\);"
 155     info_func "operator!("  "void foo::operator!\\(void\\);"
 156     info_func "operator new("  "void \\*foo::operator new\\(.*\\)(| static);"
 157     info_func "operator||("  "void foo::operator\\|\\|\\(foo &\\);"
 158     info_func "operator char \\*("  "char \\*foo::operator char \\*\\(void\\);"
 159     info_func "operator int("  "int foo::operator int\\(void\\);"
 160     info_func "operator|("  "void foo::operator\\|\\(foo &\\);"
 161     info_func "operator+("  "void foo::operator\\+\\(foo &\\);"
 162     info_func "operator++("  "void foo::operator\\+\\+\\(int\\);"
 163     info_func "operator->("  "foo \\*foo::operator->\\(void\\);"
 164     info_func "operator->\\*("  "void foo::operator->\\*\\(foo &\\);"
 165     info_func "operator>>("  "void foo::operator\>\>\\(foo &\\);"
 166
 167     # GDB says "`operator \[\](' not supported".  I don't know why.
 168     setup_xfail "*-*-*"
 169     info_func "operator\\\[\\\](" "void foo::operator\\\[\\\]\\(foo &\\);"
 170     # But this works, for some reason.
 171     info_func ".perator\\\[\\\](" "void foo::operator\\\[\\\]\\(foo &\\);"
 172 }
 173
 174
 175 proc test_paddr_operator_functions {} {
 176     global hex
 177     global hp_aCC_compiler
 178
 179     print_addr_of "foo::operator&&(foo &)"
 180     print_addr_of "foo::operator&=(foo &)"
 181     print_addr_of "foo::operator&(foo &)"
 182     print_addr_of "foo::operator/=(foo &)"
 183     print_addr_of "foo::operator^=(foo &)"
 184     print_addr_of "foo::operator<<=(foo &)"
 185     print_addr_of "foo::operator%=(foo &)"
 186     print_addr_of "foo::operator-=(foo &)"
 187     print_addr_of "foo::operator*=(foo &)"
 188     print_addr_of "foo::operator|=(foo &)"
 189     print_addr_of "foo::operator+=(foo &)"
 190     print_addr_of "foo::operator>>=(foo &)"
 191     print_addr_of "foo::operator=(foo &)"
 192     print_addr_of "foo::operator()(foo &)"
 193     print_addr_of "foo::operator, (foo &)"
 194     print_addr_of "foo::operator~(void)"
 195     if { !$hp_aCC_compiler } {
 196         print_addr_of "foo::operator delete(void *)"
 197     } else {
 198         gdb_test "print &'foo::operator delete(void *) static'" \
 199             " = .*(0x\[0-9a-f\]+|) <foo::operator delete.*>"
 200     }
 201     print_addr_of "foo::operator/(foo &)"
 202     print_addr_of "foo::operator==(foo &)"
 203     print_addr_of "foo::operator^(foo &)"
 204     print_addr_of "foo::operator>=(foo &)"
 205     print_addr_of "foo::operator>(foo &)"
 206     print_addr_of "foo::operator<=(foo &)"
 207     print_addr_of "foo::operator<<(foo &)"
 208     print_addr_of "foo::operator<(foo &)"
 209     print_addr_of "foo::operator%(foo &)"
 210     print_addr_of "foo::operator-(foo &)"
 211     print_addr_of "foo::operator*(foo &)"
 212     print_addr_of "foo::operator--(int)"
 213     print_addr_of "foo::operator!=(foo &)"
 214     print_addr_of "foo::operator!(void)"
 215     gdb_test "print &'foo::operator new'" \
 216         " = .* $hex <foo::operator new\\(.*\\)(| static)>"
 217     print_addr_of "foo::operator||(foo &)"
 218     print_addr_of "foo::operator char *(void)"
 219     print_addr_of "foo::operator int(void)"
 220     print_addr_of "foo::operator|(foo &)"
 221     print_addr_of "foo::operator+(foo &)"
 222     print_addr_of "foo::operator++(int)"
 223     print_addr_of "foo::operator->(void)"
 224     print_addr_of "foo::operator->*(foo &)"
 225     print_addr_of "foo::operator>>(foo &)"
 226     gdb_test "print &'foo::operator\[\](foo &)'" \
 227         " = .*0x\[0-9a-f\]+ <foo::operator\\\[\\\]\\(foo &\\)>"
 228 }
 229
 230 #
 231 # Test overloaded functions (1 arg).
 232 #
 233
 234 proc test_paddr_overloaded_functions {} {
 235     print_addr_of "overload1arg(signed char)"
 236     print_addr_of "overload1arg(unsigned char)"
 237     print_addr_of "overload1arg(unsigned int)"
 238     print_addr_of "overload1arg(unsigned long)"
 239     print_addr_of "overload1arg(unsigned short)"
 240     print_addr_of "overload1arg(char)"
 241     print_addr_of "overload1arg(double)"
 242     print_addr_of "overload1arg(float)"
 243     print_addr_of "overload1arg(int)"
 244     print_addr_of "overload1arg(long)"
 245     print_addr_of "overload1arg(short)"
 246     print_addr_of "overload1arg(void)"
 247     print_addr_of "overloadargs(int)"
 248     print_addr_of "overloadargs(int, int)"
 249     print_addr_of "overloadargs(int, int, int)"
 250     print_addr_of "overloadargs(int, int, int, int)"
 251     print_addr_of "overloadargs(int, int, int, int, int)"
 252     print_addr_of "overloadargs(int, int, int, int, int, int)"
 253     print_addr_of "overloadargs(int, int, int, int, int, int, int)"
 254     print_addr_of "overloadargs(int, int, int, int, int, int, int, int)"
 255     print_addr_of "overloadargs(int, int, int, int, int, int, int, int, int)"
 256     print_addr_of "overloadargs(int, int, int, int, int, int, int, int, int, int)"
 257     print_addr_of "overloadargs(int, int, int, int, int, int, int, int, int, int, int)"
 258 }
 259
 260 proc test_paddr_hairy_functions {} {
 261     print_addr_of "hairyfunc1(int)"
 262     print_addr_of "hairyfunc2(int (*)(char *))"
 263     print_addr_of "hairyfunc3(int (*)(short (*)(long *)))"
 264     print_addr_of "hairyfunc4(int (*)(short (*)(char *)))"
 265     print_addr_of "hairyfunc5(int (*(*)(char *))(long))"
 266     print_addr_of "hairyfunc6(int (*(*)(int *))(long))"
 267     print_addr_of "hairyfunc7(int (*(*)(int (*)(char *)))(long))"
 268 }
 269
 270 proc do_tests {} {
 271     global prms_id
 272     global bug_id
 273     global subdir
 274     global objdir
 275     global srcdir
 276     global binfile
 277     global gdb_prompt
 278
 279     set prms_id 0
 280     set bug_id 0
 281
 282     # Start with a fresh gdb.
 283
 284     gdb_exit
 285     gdb_start
 286     gdb_reinitialize_dir $srcdir/$subdir
 287     gdb_load $binfile
 288
 289     send_gdb "set language c++\n"
 290     gdb_expect -re "$gdb_prompt $"
 291     send_gdb "set width 0\n"
 292     gdb_expect -re "$gdb_prompt $"
 293
 294     # Get the debug format for the compiled test case.  If that
 295     # format is DWARF 1 then just skip all the tests since none of
 296     # them will pass.
 297
 298     if [ runto_main] then {
 299         get_debug_format
 300         if [ setup_xfail_format "DWARF 1" ] then {
 301             fail "C++ tests skipped due to limited C++ support in DWARF 1 debug format"
 302             return
 303         }
 304         clear_xfail "*-*-*"
 305     }
 306
 307     test_paddr_overloaded_functions
 308     test_paddr_operator_functions
 309     test_paddr_hairy_functions
 310     test_lookup_operator_functions
 311 }
 312
 313 do_tests