1 # Copyright 1992, 1994, 1995, 1996, 1997, 1999, 2000
2 # Free Software Foundation, Inc.
4 # This program is free software; you can redistribute it and/or modify
5 # it under the terms of the GNU General Public License as published by
6 # the Free Software Foundation; either version 2 of the License, or
7 # (at your option) any later version.
9 # This program is distributed in the hope that it will be useful,
10 # but WITHOUT ANY WARRANTY; without even the implied warranty of
11 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 # GNU General Public License for more details.
14 # You should have received a copy of the GNU General Public License
15 # along with this program; if not, write to the Free Software
16 # Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
18 # Please email any bugs, comments, and/or additions to this file to:
19 # bug-gdb@prep.ai.mit.edu
21 # This file was written by Fred Fish. (fnf@cygnus.com)
29 if { [skip_cplus_tests] } { continue }
31 set testfile "templates"
32 set srcfile ${testfile}.cc
33 set binfile ${objdir}/${subdir}/${testfile}
35 # Create and source the file that provides information about the compiler
36 # used to compile the test case.
37 if [get_compiler_info ${binfile} "c++"] {
42 if { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}" executable {debug c++}] != "" } {
43 gdb_suppress_entire_file "Testcase compile failed, so all tests in this file will automatically fail."
47 # Test printing of the types of templates.
50 proc test_ptype_of_templates {} {
54 send_gdb "ptype T5<int>\n"
56 -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 $" {
59 -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 \\(int\\);${ws}static void \\* new \\(unsigned int\\);${ws}static void delete \\(void \\*\\);${ws}int value \\(void\\);${ws}\\}${ws}$gdb_prompt $" { pass "ptype T5<int> -- new with unsigned int" }
60 -re "type = class T5<int> \\{.*public:.*static int X;.*int x;.*int val;.*T5 \\(int\\);.*T5 \\(const class T5<int> &\\);.*void ~T5 \\(int\\);.*static void \\* new \\(unsigned long\\);.*static void delete \\(void \\*\\);.*int value \\(void\\);.*\\}\r\n$gdb_prompt $" { pass "ptype T5<int> -- new with unsigned long" }
61 -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 $" {
62 pass "ptype T5<int> (obsolescent gcc or gdb)"
64 -re ".*$gdb_prompt $" {
68 fail "ptype T5<int> (timeout)"
72 send_gdb "ptype t5i\n"
74 -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\\);${ws}static void operator delete\\(void \\*\\);${ws}int value\\(void\\);${ws}\\}\r\n$gdb_prompt $" { pass "ptype T5<int> -- with several fixes from 4.17" }
75 -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 \\(int\\);${ws}static void \\* new \\(unsigned int\\);${ws}static void delete \\(void \\*\\);${ws}int value \\(void\\);${ws}\\}\r\n$gdb_prompt $" { pass "ptype t5i<int> -- new with unsigned int" }
76 -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 \\(int\\);${ws}static void \\* new \\(unsigned long\\);${ws}static void delete \\(void \\*\\);${ws}int value \\(void\\);${ws}\\}\r\n$gdb_prompt $" { pass "ptype t5i<int> -- new with unsigned long" }
77 -re "type = class T5<int> \{.*public:.*static int X;.*int x;.*int val;.*.*T5 \\(int\\);.*.*void ~T5 \\(int\\).*.*.*int value \\(void\\);.*\}.*$gdb_prompt $" {
80 -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 $" {
83 -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 $" {
84 pass "ptype t5i (obsolescent gcc or gdb)"
86 -re ".*$gdb_prompt $" {
90 fail "ptype t5i (timeout)"
96 # Test breakpoint setting on template methods.
99 proc test_template_breakpoints {} {
103 global hp_aCC_compiler
105 send_gdb "break T5<int>::T5\n"
107 -re "0. cancel.*\[\r\n\]*.1. all.*\[\r\n\]*.2. T5<int>::T5\\(int\\) at .*\[\r\n\]*.3. T5<int>::T5\\(T5<int> const &\\) at .*\[\r\n\]*> $" {
110 "constructor breakpoint (obsolete format!)"
112 -re ".0. cancel\[\r\n\]*.1. all\[\r\n\]*.2. T5<int>::T5\\(T5<int> const &\\) at .*templates.cc:.*\[\r\n\]*.3. T5<int>::T5\\(int\\) at .*templates.cc:.*\[\r\n\]*> $" {
115 "constructor breakpoint"
117 -re ".*\n> $" { fail "constructor breakpoint" }
118 -re ".*$gdb_prompt $" { fail "constructor breakpoint" }
119 default { fail "constructor breakpoint (timeout)" }
123 if {$hp_aCC_compiler} {setup_xfail hppa*-*-* CLLbs14792}
124 gdb_test "break T5<int>::~T5" \
125 "Breakpoint.*at.* file .*${testfile}.cc, line.*" \
126 "destructor breakpoint"
128 gdb_test "break T5<int>::value" \
129 "Breakpoint.*at.* file .*${testfile}.cc, line.*" \
130 "value method breakpoint"
136 # Test calling of template methods.
139 proc test_template_calls {} {
141 global hp_aCC_compiler
143 if [target_info exists gdb,cannot_call_functions] {
144 setup_xfail "*-*-*" 2416
145 fail "This target can not call functions"
149 if {!$hp_aCC_compiler} {setup_xfail hppa*-*-*}
150 send_gdb "print t5i.value()\n"
152 -re ".* = 2\[\r\n\]*$gdb_prompt $" { pass "print t5i.value()" }
153 -re "Cannot invoke functions on this machine.*$gdb_prompt $" {
154 fail "print t5i.value()"
156 -re "Cannot resolve .* to any overloaded instance.*$gdb_prompt $" {
157 setup_xfail hppa*-*-* CLLbs16899
158 xfail "print t5i.value"
160 -re ".*$gdb_prompt $" { fail "print t5i.value()" }
161 timeout { fail "print t5i.value() (timeout)" }
174 global supports_template_debugging
179 # Start with a fresh gdb.
183 gdb_reinitialize_dir $srcdir/$subdir
186 if { !$supports_template_debugging } {
187 warning "compiler lacks debugging info for templates; tests suppressed." 0
191 # Get the debug format for the compiled test case. If that
192 # format is DWARF 1 then just skip all the tests since none of
195 if [ runto_main] then {
197 if [ setup_xfail_format "DWARF 1" ] then {
198 fail "C++ tests skipped due to limited C++ support in DWARF 1 debug format"
204 test_ptype_of_templates
205 test_template_breakpoints
215 # More tests for different kinds of template parameters,
216 # templates with partial specializations, nested templates, etc.
217 # These have been tested only with HP aCC. They probably won't
218 # work with other compilers because of differences in mangling
220 # Added by Satish Pai <pai@apollo.hp.com> 1997-09-25
221 # As of 2000-06-03, C++ support has been improved to the point that g++ can
222 # pass all of theses, excluding what appears to be one that exposes a stabs bug. - djb
224 # I don't know how HP could be passing these tests without this. They
225 # weren't breakpointing past a point where the below expressions were
226 # initialized in the actual source. - djb
230 -re ".*$gdb_prompt $"
234 -re ".*$gdb_prompt $"
236 send_gdb "print fint\n"
238 -re "\\$\[0-9\]* = \\{x = 0, t = 0\\}\r\n$gdb_prompt $" { pass "print fint" }
239 -re "$gdb_prompt $" { fail "print fint" }
240 timeout { fail "(timeout) print fint" }
243 send_gdb "print fvpchar\n"
245 -re "\\$\[0-9\]* = \\{x = 0, t = 0x0\\}\r\n$gdb_prompt $" { pass "print fvpchar" }
246 -re "$gdb_prompt $" { fail "print fvpchar" }
247 timeout { fail "(timeout) print fvpchar" }
252 setup_xfail hppa2.0w-*-* CLLbs16092
253 # g++ can't do the template instantiation in debug info trick, so we
254 # fail this because it's not a real type.
255 if {!$hp_aCC_compiler} { setup_xfail *-*-* }
256 send_gdb "ptype Foo\n"
258 -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 $" { pass "ptype Foo" }
259 -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 $" { xfail "ptype Foo" }
260 -re "$gdb_prompt $" { fail "ptype Foo" }
261 timeout { fail "(timeout) ptype Foo" }
266 send_gdb "ptype fint\n"
268 -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 $" { pass "ptype fint" }
269 -re "$gdb_prompt $" { fail "ptype fint" }
270 timeout { fail "(timeout) ptype fint" }
275 send_gdb "ptype fchar\n"
277 -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 $" { pass "ptype fchar" }
278 -re "$gdb_prompt $" { fail "ptype fchar" }
279 timeout { fail "(timeout) ptype fchar" }
282 # ptype Foo<volatile char *>
284 send_gdb "ptype fvpchar\n"
286 -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 $" { pass "ptype fvpchar" }
287 -re "$gdb_prompt $" { fail "ptype fvpchar" }
288 timeout { fail "(timeout) ptype fvpchar" }
291 # print a function from Foo<volatile char *>
293 send_gdb "print Foo<volatile char *>::foo\n"
295 -re "\\$\[0-9\]* = \\{.*char \\*\\((class |)Foo<volatile char \\*> \\*, int, .*char \\*\\)\\} $hex <Foo<.*char.*\\*>::foo\\(int, .*char.*\\*\\)>\r\n$gdb_prompt $" { pass "print Foo<volatile char *>::foo" }
296 -re "$gdb_prompt $" { fail "print Foo<volatile char *>::foo" }
297 timeout { fail "(timeout) print Foo<volatile char *>::foo" }
300 # Template Bar<T, int>
302 setup_xfail hppa2.0w-*-* CLLbs16092
303 # same as Foo for g++
304 if {!$hp_aCC_compiler} { setup_xfail *-*-* }
305 send_gdb "ptype Bar\n"
307 -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 $" { pass "ptype Bar" }
308 -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 $" { xfail "ptype Bar" }
309 -re "$gdb_prompt $" { fail "ptype Bar" }
310 timeout { fail "(timeout) ptype Bar" }
315 # stabs screws this test royally.
316 # It thinks it has a badly mangled name.
317 # I blame stabs, the other formats get it right. -djb
319 setup_xfail_format "stabs"
320 send_gdb "ptype bint\n"
322 -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 $" { pass "ptype bint" }
323 -re "$gdb_prompt $" { fail "ptype bint" }
324 timeout { fail "(timeout) ptype bint" }
327 # ptype Bar<int, (4>3)>
329 send_gdb "ptype bint2\n"
331 -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 $" { pass "ptype bint2" }
332 -re "$gdb_prompt $" { fail "ptype bint2" }
333 timeout { fail "(timeout) ptype bint2" }
336 # Template Baz<T, char>
338 setup_xfail hppa2.0w-*-* CLLbs16092
339 # Same as Foo, for g++
340 if {!$hp_aCC_compiler} { setup_xfail *-*-* }
341 send_gdb "ptype Baz\n"
343 -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 $" { pass "ptype Baz" }
344 -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 $" { xfail "ptype Baz" }
345 -re "$gdb_prompt $" { fail "ptype Baz" }
346 timeout { fail "(timeout) ptype Baz" }
350 # ptype Baz<int, 's'>
352 send_gdb "ptype bazint\n"
354 -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 $" { pass "ptype bazint" }
355 -re "$gdb_prompt $" { fail "ptype bazint" }
356 timeout { fail "(timeout) ptype bazint" }
359 # ptype Baz<char, 'a'>
361 send_gdb "ptype bazint2\n"
363 -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 $" { pass "ptype bazint2" }
364 -re "$gdb_prompt $" { fail "ptype bazint2" }
365 timeout { fail "(timeout) ptype bazint2" }
368 # Template Qux<T, int (*f)(int) >
369 # Same as Foo for g++
370 if {!$hp_aCC_compiler} {setup_xfail *-*-*}
371 send_gdb "ptype Qux\n"
373 -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 $" { pass "ptype Qux" }
374 -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 $" { pass "ptype Qux" }
375 -re "$gdb_prompt $" { fail "ptype Qux" }
376 timeout { fail "(timeout) ptype Qux" }
379 # pt Qux<int,&string>
381 send_gdb "ptype quxint\n"
383 -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 $" { pass "ptype quxint" }
384 -re "$gdb_prompt $" { fail "ptype quxint" }
385 timeout { fail "(timeout) ptype quxint" }
390 # commented out this as quxint2 declaration was commented out in
391 # templates.exp -- ovidiu
392 # send_gdb "ptype quxint2\n"
394 # -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 $" { pass "ptype quxint2" }
395 # -re "$gdb_prompt $" { fail "ptype quxint2" }
396 # timeout { fail "(timeout) ptype quxint2" }
399 # Template Spec<T1, T2>
401 setup_xfail hppa2.0w-*-* CLLbs16092
402 # Same as Foo for g++
403 if {!$hp_aCC_compiler} { setup_xfail *-*-* }
404 send_gdb "ptype Spec\n"
406 -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 $" { pass "ptype Spec" }
407 -re "type = <(class |)T1, (class |)T2> (class |)Spec \\{\r\n\[ \t\]*public:\r\n\[ \t\]*int x;\r\n\\}\r\n$gdb_prompt $" { xfail "ptype Spec" }
408 -re "$gdb_prompt $" { fail "ptype Spec" }
409 timeout { fail "(timeout) ptype Spec" }
414 send_gdb "ptype siip\n"
416 -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 $" { pass "ptype siip" }
417 -re "$gdb_prompt $" { fail "ptype siip" }
418 timeout { fail "(timeout) ptype siip" }
423 send_gdb "ptype Garply<int>\n"
425 -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 $" { pass "ptype Garply<int>" }
426 -re "$gdb_prompt $" { fail "ptype Garply<int>" }
427 timeout { fail "(timeout) ptype Garply<int>" }
430 # ptype of nested template name
432 send_gdb "ptype Garply<Garply<char> >\n"
434 -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 $" { pass "ptype Garply<Garply<char> >" }
435 -re "$gdb_prompt $" { fail "ptype Garply<Garply<char> >" }
436 timeout { fail "(timeout) ptype Garply<Garply<char> >" }
439 # print out a function from a nested template name
441 send_gdb "print Garply<Garply<char> >::garply\n"
443 -re "\\$\[0-9\]* = \\{(class |)Garply<char> \\((class |)Garply<Garply<char> > \\*, int, (class |)Garply<char>\\)\\} $hex <Garply<Garply<char>\[ \t\]*>::garply\\(int, (class |)Garply<char>\\)>\r\n$gdb_prompt $" { pass "print Garply<Garply<char> >::garply" }
444 -re ".*$gdb_prompt $" { fail "print Garply<Garply<char> >::garply" }
445 timeout { fail "print Garply<Garply<char> >::garply (timeout)" }
449 # Now should work fine
450 send_gdb "break Garply<Garply<char> >::garply\n"
452 -re "Breakpoint \[0-9\]* at $hex: file .*templates.cc, line.*\r\n$gdb_prompt $" { pass "break Garply<Garply<char> >::garply" }
453 -re ".*$gdb_prompt $" { fail "break Garply<Garply<char> >::garply" }
454 timeout { fail "break Garply<Garply<char> >::garply (timeout)" }