gdb/testsuite/gdb.cp/templates.exp

   1 # Copyright 1992-2024 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 # This file was written by Fred Fish. (fnf@cygnus.com)
  17
  18 set ws "\[\r\n\t \]+"
  19
  20 require allow_cplus_tests
  21
  22 standard_testfile .cc
  23
  24 set flags [list debug c++]
  25 lappend flags additional_flags=-std=c++11
  26
  27 if { [test_compiler_info gcc-*] && [gcc_major_version] >= 10 } {
  28     # Work around PR gcc/101452.
  29     lappend flags additional_flags=-DGCC_BUG
  30 }
  31
  32 if {[prepare_for_testing "failed to prepare" $testfile $srcfile $flags]} {
  33     return -1
  34 }
  35
  36 #
  37 #  Test printing of the types of templates.
  38 #
  39
  40 proc test_ptype_of_templates {} {
  41     global gdb_prompt
  42     global ws
  43
  44     gdb_test_multiple "ptype/r T5<int>" "ptype T5<int>" {
  45         -re "type = class T5<int> \{${ws}public:${ws}static int X;${ws}int x;${ws}int val;${ws}T5<int> & operator=\\(T5<int> const ?&\\);${ws}T5\\(int\\);${ws}T5\\((T5<int> const|const T5<int>) ?&\\);${ws}~T5\\((void|)\\);${ws}static void \\* operator new\\(unsigned( int| long)?\\);${ws}static void operator delete\\(void ?\\*\\);${ws}int value\\((void|)\\);${ws}\}\r\n$gdb_prompt $" {
  46             xfail "ptype T5<int> -- new without size_t"
  47         }
  48         -re "type = class T5<int> \{${ws}public:${ws}static int X;${ws}int x;${ws}int val;${ws}T5\\(int\\);${ws}T5\\((T5<int> const|const T5<int>) ?&\\);${ws}~T5\\((void|)\\);${ws}static void \\* operator new\\(unsigned( int| long)?\\);${ws}static void operator delete\\(void ?\\*\\);${ws}int value\\((void|)\\);${ws}T5<int> & operator=\\(T5<int> const ?&\\);${ws}\}\r\n$gdb_prompt $" {
  49             xfail "ptype T5<int> -- new without size_t"
  50         }
  51         -re "type = class T5<int> \\{${ws}public:${ws}static int X;${ws}int x;${ws}int val;${ws}${ws}T5 \\(int\\);${ws}T5 \\(const class T5<int> &\\);${ws}void ~T5 \\(()\\);${ws}static void \\* new \\(unsigned int\\);${ws}static void delete \\(void ?\\*\\);${ws}int value \\((void|)\\);${ws}\\}${ws}$gdb_prompt $" {
  52             xfail "ptype T5<int> -- new with unsigned int"
  53         }
  54         -re "type = class T5<int> \\{.*public:.*static int X;.*int x;.*int val;.*T5 \\(int\\);.*T5 \\(const class T5<int> &\\);.*void ~T5 \\(\\);.*static void \\* new \\(unsigned long\\);.*static void delete \\(void ?\\*\\);.*int value \\((void|)\\);.*\\}\r\n$gdb_prompt $" {
  55             xfail "ptype T5<int> -- new with unsigned long"
  56         }
  57         -re "type = class T5<int> \{${ws}public:${ws}static int X;${ws}int x;${ws}int val;((${ws}T5<int> & operator=\\(T5<int> const ?&\\);)|(${ws}T5\\(int\\);)|(${ws}T5\\((T5<int> const|const T5<int>) ?&\\);)|(${ws}~T5\\((void|)\\);)|(${ws}static void \\* operator new\\(unsigned( int| long)?\\);)|(${ws}static void operator delete\\(void ?\\*\\);)|(${ws}int value\\((void|)\\);))*${ws}\}\r\n$gdb_prompt $" {
  58             xfail "ptype T5<int> (obsolescent gcc or gdb)"
  59         }
  60         -re "type = class T5<int> \{${ws}public:${ws}static int X;${ws}int x;${ws}int val;${ws}void T5\\(int\\);${ws}void T5\\((T5<int> const|const T5<int>) ?&\\);${ws}~T5\\(\\);${ws}static void \\* operator new\\((size_t|unsigned( int| long|))\\);${ws}static void operator delete\\(void ?\\*\\);${ws}int value\\((void|)\\);${ws}\}\r\n$gdb_prompt $" {
  61             # This also triggers gdb/1113...
  62             kfail "gdb/1111" "ptype T5<int>"
  63             # Add here a PASS case when PR gdb/1111 gets fixed.
  64             # These are really:
  65             # http://sourceware.org/bugzilla/show_bug.cgi?id=8216
  66             # http://sourceware.org/bugzilla/show_bug.cgi?id=8218
  67         }
  68         -re "type = class T5<int> \{${ws}public:${ws}static int X;${ws}int x;${ws}int val;${ws}T5\\(int\\);${ws}T5\\((T5<int> const|const T5<int>) ?&\\);${ws}~T5\\(int\\);${ws}static void \\* operator new\\((size_t|unsigned( int| long|))\\);${ws}static void operator delete\\(void ?\\*\\);${ws}int value\\((void|)\\);${ws}\}\r\n$gdb_prompt $" {
  69             # http://sourceware.org/bugzilla/show_bug.cgi?id=8218
  70             # The destructor has an argument type.
  71             kfail "gdb/8218" "ptype T5<int>"
  72         }
  73         -re "type = class T5<int> \{${ws}public:${ws}static int X;${ws}int x;${ws}int val;${ws}T5\\(int\\);${ws}T5\\((T5<int> const|const T5<int>) ?&\\);${ws}~T5\\(void\\);${ws}static void \\* operator new\\((size_t|unsigned( int| long|))\\);${ws}static void operator delete\\(void ?\\*\\);${ws}int value\\((void|)\\);${ws}\}\r\n$gdb_prompt $" {
  74             pass "ptype T5<int>"
  75         }
  76     }
  77
  78     gdb_test_multiple "ptype/r t5i" "ptype t5i" {
  79         -re "type = class T5<int> \\{${ws}public:${ws}static int X;${ws}int x;${ws}int val;\r\n${ws}T5\\(int\\);${ws}T5\\(T5<int> const ?&\\);${ws}~T5\\((void|)\\);${ws}static void \\* operator new\\(unsigned( int| long)?\\);${ws}static void operator delete\\(void ?\\*\\);${ws}int value\\((void|)\\);${ws}\\}\r\n$gdb_prompt $" {
  80             xfail "ptype T5<int> -- with several fixes from 4.17 -- without size_t"
  81         }
  82         -re "type = class T5<int> \\{${ws}public:${ws}static int X;${ws}int x;${ws}int val;\r\n${ws}T5 \\(int\\);${ws}T5 \\(const class T5<int> &\\);${ws}void ~T5 \\(\\);${ws}static void \\* new \\(unsigned int\\);${ws}static void delete \\(void ?\\*\\);${ws}int value \\((void|)\\);${ws}\\}\r\n$gdb_prompt $" {
  83             xfail "ptype t5i<int> -- new with unsigned int -- without size_t"
  84         }
  85         -re "type = class T5<int> \\{${ws}public:${ws}static int X;${ws}int x;${ws}int val;\r\n${ws}T5 \\(int\\);${ws}T5 \\(const class T5<int> &\\);${ws}void ~T5 \\(\\);${ws}static void \\* new \\(unsigned long\\);${ws}static void delete \\(void ?\\*\\);${ws}int value \\((void|)\\);${ws}\\}\r\n$gdb_prompt $" {
  86             xfail "ptype t5i<int> -- new with unsigned long -- without size_t"
  87         }
  88         -re "type = class T5<int> \{.*public:.*static int X;.*int x;.*int val;.*.*T5 \\(int\\);.*.*void ~T5 \\(\\).*.*.*int value \\((void|)\\);.*\}.*$gdb_prompt $" {
  89             xfail "ptype t5i -- without size_t"
  90         }
  91         -re "type = class T5<int> \{${ws}public:${ws}static int X;${ws}int x;${ws}int val;${ws}T5<int> & operator=\\(T5<int> const ?&\\);${ws}T5\\(int\\);${ws}T5\\((T5<int> const|const T5<int>) ?&\\);${ws}~T5\\((void|)\\);${ws}static void \\* operator new\\(unsigned( int| long)?\\);${ws}static void operator delete\\(void ?\\*\\);${ws}int value\\((void|)\\);${ws}\}\r\n$gdb_prompt $" {
  92             xfail "ptype t5i -- without size_t"
  93         }
  94         -re "type = class T5<int> \{${ws}public:${ws}static int X;${ws}int x;${ws}int val;${ws}T5\\(int\\);${ws}T5\\((T5<int> const|const T5<int>) ?&\\);${ws}~T5\\((void|)\\);${ws}static void \\* operator new\\(unsigned( int| long)?\\);${ws}static void operator delete\\(void ?\\*\\);${ws}int value\\((void|)\\);${ws}T5<int> & operator=\\(T5<int> const ?&\\);${ws}\}\r\n$gdb_prompt $" {
  95             xfail "ptype t5i -- without size_t"
  96         }
  97         -re "type = class T5<int> \{${ws}public:${ws}static int X;${ws}int x;${ws}int val;((${ws}T5<int> & operator=\\(T5<int> const ?&\\);)|(${ws}T5\\(int\\);)|(${ws}T5\\(T5<int> const ?&\\);)|(${ws}~T5\\((void|)\\);)|(${ws}static void \\* operator new\\(unsigned( int| long)?\\);)|(${ws}static void operator delete\\(void ?\\*\\);)|(${ws}int value\\((void|)\\);))*${ws}\}\r\n$gdb_prompt $" {
  98             xfail "ptype t5i (obsolescent gcc or gdb) -- without size_t"
  99         }
 100         -re "type = class T5<int> \{${ws}public:${ws}static int X;${ws}int x;${ws}int val;${ws}void T5\\(int\\);${ws}void T5\\((T5<int> const|const T5<int>) ?&\\);${ws}~T5\\(\\);${ws}static void \\* operator new\\((size_t|unsigned( int| long|))\\);${ws}static void operator delete\\(void ?\\*\\);${ws}int value\\((void|)\\);${ws}\}\r\n$gdb_prompt $" {
 101             # This also triggers gdb/1113...
 102             kfail "gdb/1111" "ptype t5i"
 103             # Add here a PASS case when PR gdb/1111 gets fixed.
 104             # These are really:
 105             # http://sourceware.org/bugzilla/show_bug.cgi?id=8216
 106             # http://sourceware.org/bugzilla/show_bug.cgi?id=8218
 107         }
 108         -re "type = class T5<int> \{${ws}public:${ws}static int X;${ws}int x;${ws}int val;${ws}T5\\(int\\);${ws}T5\\((T5<int> const|const T5<int>) ?&\\);${ws}~T5\\(int\\);${ws}static void \\* operator new\\((size_t|unsigned( int| long|))\\);${ws}static void operator delete\\(void ?\\*\\);${ws}int value\\((void|)\\);${ws}\}\r\n$gdb_prompt $" {
 109             # http://sourceware.org/bugzilla/show_bug.cgi?id=8218
 110             # The destructor has an argument type.
 111             kfail "gdb/8218" "ptype t5i"
 112         }
 113         -re "type = class T5<int> \{${ws}public:${ws}static int X;${ws}int x;${ws}int val;${ws}T5\\(int\\);${ws}T5\\((T5<int> const|const T5<int>) ?&\\);${ws}~T5\\(void\\);${ws}static void \\* operator new\\((size_t|unsigned( int| long|))\\);${ws}static void operator delete\\(void ?\\*\\);${ws}int value\\((void|)\\);${ws}\}\r\n$gdb_prompt $" {
 114             pass "ptype t5i"
 115         }
 116     }
 117 }
 118
 119 #
 120 #  Test breakpoint setting on template methods.
 121 #
 122
 123 proc test_template_breakpoints {} {
 124     global gdb_prompt
 125     global testfile
 126     global srcdir
 127
 128     gdb_test_multiple "break T5<int>::T5" "constructor breakpoint" {
 129         -re "0. cancel.*\[\r\n\]*.1. all.*\[\r\n\]*.2.*templates.cc:T5<int>::T5\\((T5<int> const|const T5<int>) ?&\\)\[\r\n\]*.3.*templates.cc:T5<int>::T5\\(int\\)\[\r\n\]*> $" {
 130             gdb_test "0" \
 131                 "canceled" \
 132                 "constructor breakpoint"
 133         }
 134         -re "0. cancel.*\[\r\n\]*.1. all.*\[\r\n\]*.2. T5 at .*\[\r\n\]*.3. T5 at .*\[\r\n\]*> $" {
 135             setup_kfail "gdb/1062" "*-*-*"
 136             gdb_test "0" \
 137                 "nonsense intended to insure that this test fails" \
 138                 "constructor breakpoint"
 139         }
 140         -re ".*\n> $" {
 141             gdb_test "0" \
 142                     "nonsense intended to insure that this test fails" \
 143                     "constructor breakpoint (bad menu choices)"
 144         }
 145     }
 146
 147     gdb_test_multiple "break T5<int>::~T5" "destructor_breakpoint" {
 148         -re "Breakpoint.*at.* file .*${testfile}.cc, line.*$gdb_prompt $"
 149         {
 150             pass "destructor breakpoint"
 151         }
 152         -re "the class `T5<int>' does not have destructor defined\r\nHint: try 'T5<int>::~T5<TAB> or 'T5<int>::~T5<ESC-\\?>\r\n\\(Note leading single quote.\\)\r\n$gdb_prompt $"
 153         {
 154             kfail "gdb/1112" "destructor breakpoint"
 155         }
 156     }
 157
 158     gdb_test "break T5<int>::value" \
 159         "Breakpoint.*at.* file .*${testfile}.cc, line.*" \
 160         "value method breakpoint"
 161
 162     set bp_location [gdb_get_line_number \
 163                          "set breakpoint on a line with no real code"]
 164
 165     gdb_test_multiple "break ${testfile}.cc:${bp_location}" \
 166         "breakpoint on a line with no real code" {
 167             -re "0. cancel.*\[\r\n\]*.1. all.*\[\r\n\]*.2.*templates.cc:GetMax<int>\\(int, int\\)\[\r\n\]*.3.*templates.cc:GetMax<long>\\(long, long\\)\[\r\n\]*> $" {
 168                 gdb_test "0" \
 169                     "canceled" \
 170                     "breakpoint on a line with no real code"
 171             }
 172             -re "0. cancel.*\[\r\n\]*.1. all.*\[\r\n\]*.2.*\[\r\n\]*.3.*\[\r\n\]*> $" {
 173                 gdb_test "0" \
 174                     "nonsense intended to insure that this test fails" \
 175                     "breakpoint on a line with no real code"
 176             }
 177             -re ".*\n> $" {
 178                 gdb_test "0" \
 179                     "nonsense intended to insure that this test fails" \
 180                     "breakpoint on a line with no real code"
 181             }
 182         }
 183
 184     delete_breakpoints
 185 }
 186
 187 #
 188 #  Test calling of template methods.
 189 #
 190
 191 proc test_template_calls {} {
 192     global gdb_prompt
 193
 194     if [target_info exists gdb,cannot_call_functions] {
 195         unsupported "this target can not call functions"
 196         return
 197     }
 198
 199     setup_xfail hppa*-*-*
 200     gdb_test_multiple "print t5i.value()" "print t5i.value()" {
 201         -re ".* = 2\[\r\n\]*$gdb_prompt $" {
 202             pass "print t5i.value()"
 203         }
 204         -re "Cannot invoke functions on this machine.*$gdb_prompt $" {
 205             fail "print t5i.value()"
 206         }
 207         -re "Cannot resolve .* to any overloaded instance.*$gdb_prompt $" {
 208             setup_xfail hppa*-*-* CLLbs16899
 209             xfail "print t5i.value"
 210         }
 211     }
 212 }
 213
 214 proc test_template_typedef {} {
 215     global gdb_prompt
 216
 217     gdb_test "print intBazOne::baz" ".*baz\\(int, int\\)>" \
 218         "print method of template typedef"
 219
 220     set test "print destructor of template typedef"
 221     gdb_test_multiple "print intBazOne::~Baz" $test {
 222         -re "~Baz(\\(\\))?>\r\n$gdb_prompt $" {
 223             pass $test
 224         }
 225         -re "There is no field named ~Baz\r\n$gdb_prompt $" {
 226             set test2 "verify GCC PR debug/51668"
 227             gdb_test_multiple "whatis intBazOne" $test2 {
 228                 -re "type = Baz<int, \\(char\\)'\\\\001'>\r\n$gdb_prompt $" {
 229                     setup_xfail gcc/51668 "*-*-*"
 230                     xfail $test
 231                     pass $test2
 232                 }
 233                 -re "\r\n$gdb_prompt $" {
 234                     # Some unexpected response.
 235                     fail $test
 236                     fail $test2
 237                 }
 238             }
 239         }
 240     }
 241 }
 242
 243 proc test_template_args {} {
 244
 245     set empty_re "Empty *<void *\\(FunctionArg *<int>\\)>"
 246     gdb_test "ptype/r empty" \
 247         "type = (struct|class) $empty_re {.*<no data fields>.*}" \
 248         "ptype empty"
 249
 250     gdb_test "ptype/r arg" \
 251         "type = (struct|class) FunctionArg<int> {.*int method\\($empty_re \\&\\);.*}" \
 252         "ptype arg"
 253 }
 254
 255 proc do_tests {} {
 256     # Change multiple-symbols to "ask" in order to get the multiple-choice
 257     # menu when breaking on overloaded methods.
 258     gdb_test_no_output "set multiple-symbols ask"
 259
 260     runto_main
 261
 262     test_ptype_of_templates
 263     test_template_breakpoints
 264     test_template_typedef
 265     test_template_args
 266
 267     if [ runto_main] {
 268         test_template_calls
 269     }
 270 }
 271
 272 do_tests
 273
 274
 275 # More tests for different kinds of template parameters,
 276 # templates with partial specializations, nested templates, etc.
 277
 278 gdb_breakpoint [gdb_get_line_number "Final breakpoint"]
 279 gdb_continue_to_breakpoint "Final breakpoint"
 280
 281 gdb_test "print fint" \
 282    "\\$\[0-9\]* = \\{x = 0, t = 0\\}"
 283
 284 # Prevent symbol on address 0x0 being printed.
 285 gdb_test_no_output "set print symbol off"
 286 gdb_test "print fvpchar" \
 287     "\\$\[0-9\]* = \\{x = 0, t = 0x0\\}"
 288
 289 # Template Foo<T>
 290
 291 # Neither stabs nor DWARF-2 contains type information about templates
 292 # (as opposed to instantiations of templates), so in those
 293 # circumstances we expect GDB to not find a symbol.  HP has a debug
 294 # format that contains more info, though, so it's also correct to
 295 # print out template info.  (This affects several subsequent tests as
 296 # well.)
 297
 298 # NOTE: carlton/2003-02-26: However, because of a bug in the way GDB
 299 # handles nested types, we don't get this right in the DWARF-2 case.
 300
 301 gdb_test_multiple "ptype/r Foo" "ptype Foo" {
 302     -re "type = template <(class |)T> (class |)Foo \\{\r\n\[ \t\]*public:\r\n\[ \t\]*int x;\r\n\[ \t\]*T t;\r\n\\}\r\ntemplate instantiations:\r\n\[ \t\]*(class |)Foo<volatile char \\*>\r\n\[ \t\]*(class |)Foo<char>\r\n\[ \t\]*(class |)Foo<int>\r\n$gdb_prompt $" {
 303         pass "ptype Foo"
 304     }
 305     -re "type = template <(class |)T> (class |)Foo \\{\r\n\[ \t\]*public:\r\n\[ \t\]*int x;\r\n\[ \t\]*T t;\r\n\\}\r\n$gdb_prompt $" {
 306         xfail "ptype Foo"
 307     }
 308     -re "type = class Foo<int> \\{\r\n\[ \t\]*public:\r\n\[ \t\]*int x;\r\n\[ \t\]*int t;\r\n\r\n\[ \t\]*int foo\\(int, int\\);\r\n\\}\r\n$gdb_prompt $" {
 309         # GCC 3.1, DWARF-2 output.
 310         kfail "gdb/57" "ptype Foo"
 311     }
 312     -re "No symbol \"Foo\" in current context.\r\n$gdb_prompt $" {
 313         # GCC 2.95.3, stabs+ output.
 314         pass "ptype Foo"
 315     }
 316 }
 317
 318 #    -re "type = class Foo<int> \\{\r\n\[ \t\]*public:\r\n\[ \t\]*int x;\r\n\[ \t\]*int t;\r\n\r\n\[ \t\]*int foo(int, int);\r\n\\}\r\n$gdb_prompt $"
 319
 320 # ptype Foo<int>
 321
 322 gdb_test_multiple "ptype/r fint" "ptype fint" {
 323     -re "type = (class |)Foo<int> \\{\r\n\[ \t\]*public:\r\n\[ \t\]*int x;\r\n\[ \t\]*int t;\r\n\r\n\[ \t\]*.*int foo\\(int, int\\);\r\n\\}\r\n$gdb_prompt $" {
 324         pass "ptype fint"
 325     }
 326     -re "type = (class |)Foo<int> \\{\r\n\[ \t\]*public:\r\n\[ \t\]*int x;\r\n\[ \t\]*int t;\r\n\r\n\[ \t\]*int foo\\(int, int\\);.*\r\n\\}\r\n$gdb_prompt $" {
 327         pass "ptype fint"
 328     }
 329 }
 330
 331 # ptype Foo<char>
 332
 333 gdb_test_multiple "ptype/r fchar" "ptype fchar" {
 334     -re "type = (class |)Foo<char> \\{\r\n\[ \t\]*public:\r\n\[ \t\]*int x;\r\n\[ \t\]*char t;\r\n\r\n\[ \t\]*.*char foo\\(int, char\\);\r\n\\}\r\n$gdb_prompt $" {
 335         pass "ptype fchar"
 336     }
 337    -re "type = (class |)Foo<char> \\{\r\n\[ \t\]*public:\r\n\[ \t\]*int x;\r\n\[ \t\]*char t;\r\n\r\n\[ \t\]*char foo\\(int, char\\);.*\r\n\\}\r\n$gdb_prompt $" {
 338        pass "ptype fchar"
 339    }
 340 }
 341
 342 # ptype Foo<volatile char *>
 343
 344 gdb_test_multiple "ptype/r fvpchar" "ptype fvpchar" {
 345     -re "type = (class |)Foo<volatile char ?\\*> \\{\r\n\[ \t\]*public:\r\n\[ \t\]*int x;\r\n\[ \t\]*.*char.*\\*t;\r\n\r\n\[ \t\]*.*char \\* foo\\(int,.*char.*\\*\\);\r\n\\}\r\n$gdb_prompt $" {
 346         pass "ptype fvpchar"
 347     }
 348     -re "type = (class |)Foo<volatile char ?\\*> \\{\r\n\[ \t\]*public:\r\n\[ \t\]*int x;\r\n\[ \t\]*.*char.*\\*t;\r\n\r\n\[ \t\]*.*char \\* foo\\(int,.*char.*\\*\\);.*\r\n\\}\r\n$gdb_prompt $" {
 349         pass "ptype fvpchar"
 350     }
 351     -re "type = (class |)Foo<char volatile ?\\*> \\{\r\n\[ \t\]*public:\r\n\[ \t\]*int x;\r\n\[ \t\]*.*char.*\\*t;\r\n\r\n\[ \t\]*.*char \\* foo\\(int,.*char.*\\*\\);\r\n\\}\r\n$gdb_prompt $" {
 352         kfail "gdb/1512" "ptype fvpchar"
 353     }
 354 }
 355
 356 # print a function from Foo<volatile char *>
 357
 358 # This test is sensitive to whitespace matching, so we'll do it twice,
 359 # varying the spacing, because of PR gdb/33.
 360
 361 gdb_test_multiple "print Foo<volatile char *>::foo" "print Foo<volatile char *>::foo" {
 362     -re "\\$\[0-9\]* = \\{.*char \\*\\((class |)Foo<(volatile char|char volatile) ?\\*> \\*(| const), int, .*char \\*\\)\\} $hex <Foo<.*char.*\\*>::foo\\(int, .*char.*\\*\\)>\r\n$gdb_prompt $" {
 363         pass "print Foo<volatile char *>::foo"
 364     }
 365     -re "No symbol \"Foo<volatile char \\*>\" in current context.\r\n$gdb_prompt $" {
 366         # This used to be a kfail gdb/33 and then kfail gdb/931.
 367         fail "print Foo<volatile char *>::foo"
 368     }
 369 }
 370
 371 gdb_test_multiple "print Foo<volatile char*>::foo" "print Foo<volatile char*>::foo" {
 372     -re "\\$\[0-9\]* = \\{.*char \\*\\((class |)Foo<(volatile char|char volatile) ?\\*> \\*(| const), int, .*char \\*\\)\\} $hex <Foo<.*char.*\\*>::foo\\(int, .*char.*\\*\\)>\r\n$gdb_prompt $" {
 373         pass "print Foo<volatile char*>::foo"
 374     }
 375     -re "No symbol \"Foo<volatile char\\*>\" in current context.\r\n$gdb_prompt $" {
 376         # This used to be a kfail gdb/33 and then kfail gdb/931.
 377         fail "print Foo<volatile char*>::foo"
 378     }
 379 }
 380
 381 # Template Bar<T, int>
 382
 383 # same as Foo for g++
 384 gdb_test_multiple "ptype/r Bar" "ptype Bar" {
 385     -re "type = template <(class |)T, (class |)sz> (class |)Bar \\{\r\n\[ \t\]*public:\r\n\[ \t\]*int x;\r\n\[ \t\]*T t;\r\n\\}\r\ntemplate instantiations:\r\n\[ \t\]*(class |)Bar<int,(\\(int\\)|)1>\r\n\[ \t\]*(class |)Bar<int,(\\(int\\)|)33>\r\n$gdb_prompt $" {
 386         pass "ptype Bar"
 387     }
 388     -re "type = <(class |)T, (class |)sz> (class |)Bar \\{\r\n\[ \t\]*public:\r\n\[ \t\]*int x;\r\n\[ \t\]*T t;\r\n\\}\r\n$gdb_prompt $" {
 389         xfail "ptype Bar"
 390     }
 391     -re "ptype Bar\r\ntype = class Bar<int, ?33> {\r\n\[ \t\]*public:\r\n\[ \t\]*int x;\r\n\[ \t\]*int t;\r\n\r\n\[ \t\]*int bar\\(int, int\\);\r\n}\r\n$gdb_prompt $" {
 392         # GCC 3.1, DWARF-2 output.
 393         kfail "gdb/57" "ptype Bar"
 394     }
 395     -re "No symbol \"Bar\" in current context.\r\n$gdb_prompt $" {
 396         # GCC 2.95.3, stabs+ output.
 397         pass "ptype Bar"
 398     }
 399 }
 400
 401
 402 # ptype Bar<int,33>
 403
 404 gdb_test_multiple "ptype/r bint" "ptype bint" {
 405     -re "type = (class |)Bar<int, ?(\\(int\\)|)33> \\{\r\n\[ \t\]*public:\r\n\[ \t\]*int x;\r\n\[ \t\]*int t;\r\n\r\n\[ \t\]*.*int bar\\(int, int\\);\r\n\\}\r\n$gdb_prompt $" {
 406         pass "ptype bint"
 407     }
 408     -re "type = (class |)Bar<int,(\\(int\\)|)33> \\{\r\n\[ \t\]*public:\r\n\[ \t\]*int x;\r\n\[ \t\]*int t;\r\n\r\n\[ \t\]*int bar\\(int, int\\);.*\r\n\\}\r\n$gdb_prompt $" {
 409         pass "ptype bint"
 410     }
 411 }
 412
 413 # ptype Bar<int, (4>3)>
 414
 415 gdb_test_multiple "ptype/r bint2" "ptype bint2" {
 416     -re "type = (class |)Bar<int, ?(\\(int\\)|)1> \\{\r\n\[ \t\]*public:\r\n\[ \t\]*int x;\r\n\[ \t\]*int t;\r\n\r\n\[ \t\]*.*int bar\\(int, int\\);\r\n\\}\r\n$gdb_prompt $" {
 417         pass "ptype bint2"
 418     }
 419     -re "type = (class |)Bar<int,(\\(int\\)|)1> \\{\r\n\[ \t\]*public:\r\n\[ \t\]*int x;\r\n\[ \t\]*int t;\r\n\r\n\[ \t\]*int bar\\(int, int\\);.*\r\n\\}\r\n$gdb_prompt $" {
 420         pass "ptype bint2"
 421     }
 422 }
 423
 424 # Template Baz<T, char>
 425
 426 # Same as Foo, for g++
 427 gdb_test_multiple "ptype/r Baz" "ptype Baz" {
 428     -re "type = template <(class |)T, ?(class |)sz> (class |)Baz \\{\r\n\[ \t\]*public:\r\n\[ \t\]*int x;\r\n\[ \t\]*T t;\r\n\\}\r\ntemplate instantiations:\r\n\[ \t\]*(class |)Baz<char,(\\(char\\)|)97>\r\n\[ \t\]*(class |)Baz<int,(\\(char\\)|)115>\r\n$gdb_prompt $" {
 429         pass "ptype Baz"
 430     }
 431     -re "type = <(class |)T, ?(class |)sz> (class |)Baz \\{\r\n\[ \t\]*public:\r\n\[ \t\]*int x;\r\n\[ \t\]*T t;\r\n\\}\r\n$gdb_prompt $" {
 432         xfail "ptype Baz"
 433     }
 434     -re "type = class Baz<int, ?'s'> {\r\n\[ \t\]*public:\r\n\[ \t\]*int x;\r\n\[ \t\]*int t;\r\n\r\n\[ \t\]*int baz\\(int, int\\);\r\n}\r\n$gdb_prompt $" {
 435         # GCC 3.1, DWARF-2 output.
 436         kfail "gdb/57" "ptype Baz"
 437     }
 438     -re "type = class Baz<int, ?(\\(char\\))?115> {\r\n\[ \t\]*public:\r\n\[ \t\]*int x;\r\n\[ \t\]*int t;\r\n\r\n\[ \t\]*int baz\\(int, int\\);\r\n}\r\n$gdb_prompt $" {
 439         # GCC 3.x, DWARF-2 output, running into gdb/57 and gdb/1512.
 440         kfail "gdb/57" "ptype Baz"
 441     }
 442     -re "No symbol \"Baz\" in current context.\r\n$gdb_prompt $" {
 443         # GCC 2.95.3, stabs+ output.
 444         pass "ptype Baz"
 445     }
 446 }
 447
 448
 449 # ptype Baz<int, 's'>
 450
 451 gdb_test_multiple "ptype/r bazint" "ptype bazint" {
 452     -re "type = (class |)Baz<int, ?(\\(char\\)|)(115|\\'s\\')> \\{\r\n\[ \t\]*public:\r\n\[ \t\]*int x;\r\n\[ \t\]*int t;\r\n\r\n\[ \t\]*.*int baz\\(int, int\\);\r\n\\}\r\n$gdb_prompt $" {
 453         pass "ptype bazint"
 454     }
 455    -re "type = (class |)Baz<int,(\\(char\\)|)(115|\\'s\\')> \\{\r\n\[ \t\]*public:\r\n\[ \t\]*int x;\r\n\[ \t\]*int t;\r\n\r\n\[ \t\]*int baz\\(int, int\\).*;\r\n\\}\r\n$gdb_prompt $" {
 456        pass "ptype bazint"
 457    }
 458 }
 459
 460 # ptype Baz<char, 'a'>
 461
 462 gdb_test_multiple "ptype/r bazint2" "ptype bazint2" {
 463     -re "type = (class |)Baz<char, ?(\\(char\\)|)(97|\\'a\\')> \\{\r\n\[ \t\]*public:\r\n\[ \t\]*int x;\r\n\[ \t\]*char t;\r\n\r\n\[ \t\]*.*char baz\\(int, char\\);\r\n\\}\r\n$gdb_prompt $" {
 464         pass "ptype bazint2"
 465     }
 466     -re "type = (class |)Baz<char,(\\(char\\)|)(97|\\'a\\')> \\{\r\n\[ \t\]*public:\r\n\[ \t\]*int x;\r\n\[ \t\]*char t;\r\n\r\n\[ \t\]*char baz\\(int, char\\);.*\r\n\\}\r\n$gdb_prompt $" {
 467         pass "ptype bazint2"
 468     }
 469 }
 470
 471 # Template Qux<T, int (*f)(int) >
 472 # Same as Foo for g++
 473 gdb_test_multiple "ptype/r Qux" "ptype Qux" {
 474     -re "type = template <(class |)T, ?(class |)sz> (class |)Qux \\{\r\n\[ \t\]*public:\r\n\[ \t\]*int x;\r\n\[ \t\]*T t;\r\n\\}\r\ntemplate instantiations:\r\n\[ \t\]*(class |)Qux<int,&string>\r\n\[ \t\]*(class |)Qux<char,&string>\r\n$gdb_prompt $" {
 475         pass "ptype Qux"
 476     }
 477     -re ".*type = template <(class |)T.*, ?(class |)sz> (class |)Qux \\{\r\n\[ \t\]*public:\r\n\[ \t\]*int x;\r\n\[ \t\]*T t;\r\n\\}.*$gdb_prompt $" {
 478         pass "ptype Qux"
 479     }
 480     -re "type = class Qux<char, ?&string> {\r\n\[ \t\]*public:\r\n\[ \t\]*int x;\r\n\[ \t\]*char t;\r\n\r\n\[ \t\]*char qux\\(int, char\\);\r\n}\r\n$gdb_prompt $" {
 481         # GCC 3.1, DWARF-2 output.
 482         kfail "gdb/57" "ptype Qux"
 483     }
 484     -re "type = class Qux<char, ?&\\(string\\)> {\r\n\[ \t\]*public:\r\n\[ \t\]*int x;\r\n\[ \t\]*char t;\r\n\r\n\[ \t\]*char qux\\(int, char\\);\r\n}\r\n$gdb_prompt $" {
 485         # GCC 3.x, DWARF-2 output; gdb/57 + gdb/1512.
 486         kfail "gdb/57" "ptype Qux"
 487     }
 488     -re "No symbol \"Qux\" in current context.\r\n$gdb_prompt $" {
 489         # GCC 2.95.3, stabs+ output.
 490         pass "ptype Qux"
 491     }
 492 }
 493
 494 # pt Qux<int,&string>
 495
 496 gdb_test_multiple "ptype/r quxint" "ptype quxint" {
 497     -re "type = class Qux<int, ?& ?string> \\{\r\n\[ \t\]*public:\r\n\[ \t\]*int x;\r\n\[ \t\]*int t;\r\n\r\n\[ \t\]*.*int qux\\(int, int\\);\r\n\\}\r\n$gdb_prompt $" {
 498         pass "ptype quxint"
 499     }
 500     -re "type = class Qux<int, string> \\{\r\n\[ \t\]*public:\r\n\[ \t\]*int x;\r\n\[ \t\]*int t;\r\n\r\n\[ \t\]*.*int qux\\(int, int\\);\r\n\\}\r\n$gdb_prompt $" {
 501         pass "ptype quxint"
 502     }
 503     -re "type = class Qux<int, ?& ?string> \\{\r\n\[ \t\]*public:\r\n\[ \t\]*int x;\r\n\[ \t\]*int t;\r\n\r\n\[ \t\]*int qux\\(int, int\\);.*\r\n\\}\r\n$gdb_prompt $" {
 504         pass "ptype quxint"
 505     }
 506     -re "type = class Qux<int, ?\\(char ?\\*\\)\\(& ?\\(?string\\)?\\)> \\{\r\n\[ \t\]*public:\r\n\[ \t\]*int x;\r\n\[ \t\]*int t;\r\n\r\n\[ \t\]*int qux\\(int, int\\);.*\r\n\\}\r\n$gdb_prompt $" {
 507         pass "ptype quxint"
 508     }
 509     -re "type = class Qux<int, ?& ?\\(string\\)> \\{\r\n\[ \t\]*public:\r\n\[ \t\]*int x;\r\n\[ \t\]*int t;\r\n\r\n\[ \t\]*int qux\\(int, int\\);.*\r\n\\}\r\n$gdb_prompt $" {
 510         kfail "gdb/1512" "ptype quxint"
 511     }
 512 }
 513
 514
 515 # Template Spec<T1, T2>
 516
 517 # Same as Foo for g++
 518 gdb_test_multiple "ptype/r Spec" "ptype Spec" {
 519     -re "type = template <(class |)T1, (class |)T2> (class |)Spec \\{\r\n\[ \t\]*public:\r\n\[ \t\]*int x;\r\n\\}\r\ntemplate instantiations:\r\n\[ \t\]*(class |)Spec<int,int \\*>\r\n\[ \t\]*(class |)Spec<int,char>\r\n$gdb_prompt $" {
 520         pass "ptype Spec"
 521     }
 522     -re "type = <(class |)T1, (class |)T2> (class |)Spec \\{\r\n\[ \t\]*public:\r\n\[ \t\]*int x;\r\n\\}\r\n$gdb_prompt $" {
 523         xfail "ptype Spec"
 524     }
 525     -re "type = class Spec<int, ?char> {\r\n\[ \t\]*public:\r\n\[ \t\]*int x;\r\n\r\n\[ \t\]*int spec\\(char\\);\r\n}\r\n$gdb_prompt $" {
 526         # GCC 3.1, DWARF-2 output.
 527         kfail "gdb/57" "ptype Spec"
 528     }
 529     -re "No symbol \"Spec\" in current context.\r\n$gdb_prompt $" {
 530         # GCC 2.95.3, stabs+ output.
 531         pass "ptype Spec"
 532     }
 533 }
 534
 535 # pt Spec<char,0>
 536
 537 gdb_test_multiple "ptype/r siip" "ptype siip" {
 538     -re "type = class Spec<int, ?int ?\\*> \\{\r\n\[ \t\]*public:\r\n\[ \t\]*int x;\r\n\r\n\[ \t\]*.*int spec\\(int ?\\*\\);\r\n\\}\r\n$gdb_prompt $" {
 539         pass "ptype siip"
 540     }
 541     -re "type = class Spec<int,int ?\\*> \\{\r\n\[ \t\]*public:\r\n\[ \t\]*int x;\r\n\r\n\[ \t\]*int spec\\(int ?\\*\\);.*\r\n\\}\r\n$gdb_prompt $" {
 542         pass "ptype siip"
 543     }
 544 }
 545
 546 # Check cv qualifiers and substitute parameters.
 547
 548 if {[test_compiler_info {clang-*}]} {
 549         setup_kfail "llvm/52262 " "*-*-*"
 550 }
 551 gdb_test "ptype cfoo" [multi_line \
 552 "type = (class |)Cfoo<double> \\\[with DataT = double\\\] \\{" \
 553   "\[ \t\]*public:" \
 554     "\[ \t\]*DataT me0;" \
 555     "\[ \t\]*const DataT me1;" \
 556     "\[ \t\]*const myfloat me2;" \
 557     "\[ \t\]*const int me3;" \
 558     "" \
 559   "\[ \t\]*private:" \
 560     "\[ \t\]*typedef float myfloat;" \
 561 "\\}" \
 562 ] "print type of cfoo"
 563
 564 # Check cv qualifiers and do not substitute.
 565
 566 if {[test_compiler_info {clang-*}]} {
 567         setup_kfail "llvm/52262 " "*-*-*"
 568 }
 569 gdb_test "ptype/r cfoo" [multi_line \
 570 "type = (class |)Cfoo<double> \\{" \
 571   "\[ \t\]*public:" \
 572     "\[ \t\]*double me0;" \
 573     "\[ \t\]*const double me1;" \
 574     "\[ \t\]*const Cfoo<double>::myfloat me2;" \
 575     "\[ \t\]*const int me3;" \
 576     "" \
 577   "\[ \t\]*private:" \
 578     "\[ \t\]*typedef float myfloat;" \
 579 "\\}" \
 580 ] "print raw type of cfoo"
 581
 582 # pt Garply<int>
 583
 584 gdb_test_multiple "ptype/r Garply<int>" "ptype Garply<int>" {
 585     -re "type = class Garply<int> \\{\r\n\[ \t\]*public:\r\n\[ \t\]*int x;\r\n\[ \t\]*int t;\r\n\r\n\[ \t\]*.*int garply\\(int, int\\);\r\n\\}\r\n$gdb_prompt $" {
 586         pass "ptype Garply<int>"
 587     }
 588     -re "type = class Garply<int> \\{\r\n\[ \t\]*public:\r\n\[ \t\]*int x;\r\n\[ \t\]*int t;\r\n\r\n\[ \t\]*int garply\\(int, int\\);.*\r\n\\}\r\n$gdb_prompt $" {
 589         pass "ptype Garply<int>"
 590     }
 591 }
 592
 593 # ptype of nested template name
 594
 595 gdb_test_multiple "ptype/r Garply<Garply<char> >" "ptype Garply<Garply<char> >" {
 596     -re "type = (class |)Garply<Garply<char> > \\{\r\n\[ \t\]*public:\r\n\[ \t\]*int x;\r\n\[ \t\]*.*(class |)Garply<char> t;\r\n\r\n\[ \t\]*.*(class |)Garply<char> garply\\(int, (class |)Garply<char>\\);\r\n\\}\r\n$gdb_prompt $" {
 597         pass "ptype Garply<Garply<char> >"
 598     }
 599     -re "type = (class |)Garply<Garply<char> > \\{\r\n\[ \t\]*public:\r\n\[ \t\]*int x;\r\n\[ \t\]*.*(class |)Garply<char> t;\r\n\r\n\[ \t\]*(class |)Garply<char> garply\\(int, (class |)Garply<char>\\);.*\r\n\\}\r\n$gdb_prompt $" {
 600         pass "ptype Garply<Garply<char> >"
 601     }
 602 }
 603
 604 # print out a function from a nested template name
 605
 606 gdb_test "print Garply<Garply<char> >::garply" \
 607     "\\$\[0-9\]* = \\{(class |)Garply<char> \\((class |)Garply<Garply<char> > \\*(| const), int, (class |)Garply<char>\\)\\} $hex <Garply<Garply<char>\[ \t\]*>::garply\\(int, (class |)Garply<char>\\)>"
 608
 609 # djb - 06-03-2000
 610 # Now should work fine
 611 gdb_test "break Garply<Garply<char> >::garply" \
 612     "Breakpoint \[0-9\]* at $hex: file .*templates.cc, line.*"
 613
 614 #
 615 # Template wild-matching tests
 616 #
 617
 618 # Turn off "ask" when multiple symbols are seen.
 619 gdb_test_no_output "set multiple-symbols all"
 620
 621 # Test setting breakpoints in a method of all class template instantiations,
 622 # including overloads.
 623 gdb_test "break Foo::foo"  "Breakpoint.*at.* \\(3 locations\\)"
 624 foreach t [list "int" "char" "volatile char *"] {
 625     gdb_breakpoint "Foo<$t>::foo (int, $t)"
 626     gdb_breakpoint "Foo::foo (int, $t)"
 627 }
 628
 629 gdb_test "break Bar::bar" "Breakpoint.*at.* \\(2 locations\\)"
 630 gdb_test "break Bar::bar (int, int)" "Breakpoint.*at.* \\(2 locations\\)"
 631 foreach val [list 1 33] {
 632     gdb_breakpoint "Bar<int, $val>::bar (int, int)"
 633 }
 634
 635 # Test setting breakpoints in a member function template of a class template,
 636 # including overloads.
 637 gdb_test "break Foozle::fogey" "Breakpoint.*at.* \\(9 locations\\)" \
 638     "break at template method fogey"
 639 foreach t [list "int" "char" "Empty<int>"] {
 640     gdb_test "break Foozle::fogey ($t)" "Breakpoint.*at.* \\(3 locations\\)"
 641     gdb_test "break Foozle::fogey<$t>" "Breakpoint.*at.* \\(3 locations\\)"
 642     foreach u [list "int" "char" "Empty<int>"] {
 643         gdb_breakpoint "Foozle<$t>::fogey<$u>" message
 644         gdb_assert { [gdb_breakpoint "Foozle<$t>::fogey<$u> ($u)" no-message] } \
 645             "break Foozle<$t>::fogey<$u> ($u), success"
 646     }
 647 }
 648
 649 # Test templated operators < and <<.  Restrict results to only the test
 650 # source file.
 651 # operator<:
 652 #   1. operator< (const T2&, const T2&)
 653 #   2. operator< (const T2&, char)
 654 #   3. operator< <Empty<int>>
 655 #   4. operator< <Foozle<in>>
 656 #
 657 # operator<<:
 658 #   1. operator<< <Empty<int>>
 659 #   2. operator<< <Foozle<int>>
 660 gdb_test "break -source $srcfile -func operator<" \
 661     "Breakpoint.*at.* \\(4 locations\\)"
 662 gdb_test "break -source $srcfile -func operator<<" \
 663     "Breakpoint.*at.* \\(2 locations\\)"
 664 foreach t [list "Empty" "Foozle"] {
 665     set tt "$t<int>"
 666     gdb_breakpoint "operator< <$tt>" message
 667     gdb_breakpoint "operator<< <$tt>" message
 668
 669     # Try a specific instance, both with and without whitespace
 670     # after the template-template parameter.
 671     set loc "operator< <$tt> ($tt&, $tt&)"
 672     gdb_assert { [gdb_breakpoint $loc no-message] } "break $loc, success"
 673     set loc "operator< <$tt > ($tt&, $tt&)"
 674     gdb_assert { [gdb_breakpoint $loc no-message] } "break $loc, success"
 675     set loc "operator<< <$tt> ($tt&, $tt&)"
 676     gdb_assert { [gdb_breakpoint $loc no-message] } "break $loc, success"
 677     set loc "operator<< <$tt > ($tt&, $tt&)"
 678     gdb_assert { [gdb_breakpoint $loc no-message] } "break $loc, success"
 679 }
 680
 681 # Test that "-qualified" finds no matching locations.
 682 gdb_test_no_output "set breakpoint pending off"
 683 gdb_test "break -qualified Foozle::fogey" \
 684     "Function \"Foozle::fogey\" not defined."