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 ".*$gdb_prompt $" { fail "constructor breakpoint" }
118 default { fail "constructor breakpoint (timeout)" }
122 if {$hp_aCC_compiler} {setup_xfail hppa*-*-* CLLbs14792}
123 gdb_test "break T5<int>::~T5" \
124 "Breakpoint.*at.* file .*${testfile}.cc, line.*" \
125 "destructor breakpoint"
127 gdb_test "break T5<int>::value" \
128 "Breakpoint.*at.* file .*${testfile}.cc, line.*" \
129 "value method breakpoint"
135 # Test calling of template methods.
138 proc test_template_calls {} {
140 global hp_aCC_compiler
142 if [target_info exists gdb,cannot_call_functions] {
143 setup_xfail "*-*-*" 2416
144 fail "This target can not call functions"
148 if {!$hp_aCC_compiler} {setup_xfail hppa*-*-*}
149 send_gdb "print t5i.value()\n"
151 -re ".* = 2\[\r\n\]*$gdb_prompt $" { pass "print t5i.value()" }
152 -re "Cannot invoke functions on this machine.*$gdb_prompt $" {
153 fail "print t5i.value()"
155 -re "Cannot resolve .* to any overloaded instance.*$gdb_prompt $" {
156 setup_xfail hppa*-*-* CLLbs16899
157 xfail "print t5i.value"
159 -re ".*$gdb_prompt $" { fail "print t5i.value()" }
160 timeout { fail "print t5i.value() (timeout)" }
173 global supports_template_debugging
178 # Start with a fresh gdb.
182 gdb_reinitialize_dir $srcdir/$subdir
185 if { !$supports_template_debugging } {
186 warning "compiler lacks debugging info for templates; tests suppressed." 0
190 # Get the debug format for the compiled test case. If that
191 # format is DWARF 1 then just skip all the tests since none of
194 if [ runto_main] then {
196 if [ setup_xfail_format "DWARF 1" ] then {
197 fail "C++ tests skipped due to limited C++ support in DWARF 1 debug format"
203 test_ptype_of_templates
204 test_template_breakpoints
214 # More tests for different kinds of template parameters,
215 # templates with partial specializations, nested templates, etc.
216 # These have been tested only with HP aCC. They probably won't
217 # work with other compilers because of differences in mangling
219 # Added by Satish Pai <pai@apollo.hp.com> 1997-09-25
220 # As of 2000-06-03, C++ support has been improved to the point that g++ can
221 # pass all of theses, excluding what appears to be one that exposes a stabs bug. - djb
223 # I don't know how HP could be passing these tests without this. They
224 # weren't breakpointing past a point where the below expressions were
225 # initialized in the actual source. - djb
229 -re ".*$gdb_prompt $"
233 -re ".*$gdb_prompt $"
235 send_gdb "print fint\n"
237 -re "\\$\[0-9\]* = \\{x = 0, t = 0\\}\r\n$gdb_prompt $" { pass "print fint" }
238 -re "$gdb_prompt $" { fail "print fint" }
239 timeout { fail "(timeout) print fint" }
242 send_gdb "print fvpchar\n"
244 -re "\\$\[0-9\]* = \\{x = 0, t = 0x0\\}\r\n$gdb_prompt $" { pass "print fvpchar" }
245 -re "$gdb_prompt $" { fail "print fvpchar" }
246 timeout { fail "(timeout) print fvpchar" }
251 setup_xfail hppa2.0w-*-* CLLbs16092
252 # g++ can't do the template instantiation in debug info trick, so we
253 # fail this because it's not a real type.
254 if {!$hp_aCC_compiler} { setup_xfail *-*-* }
255 send_gdb "ptype Foo\n"
257 -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" }
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\n$gdb_prompt $" { xfail "ptype Foo" }
259 -re "$gdb_prompt $" { fail "ptype Foo" }
260 timeout { fail "(timeout) ptype Foo" }
265 send_gdb "ptype fint\n"
267 -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" }
268 -re "$gdb_prompt $" { fail "ptype fint" }
269 timeout { fail "(timeout) ptype fint" }
274 send_gdb "ptype fchar\n"
276 -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" }
277 -re "$gdb_prompt $" { fail "ptype fchar" }
278 timeout { fail "(timeout) ptype fchar" }
281 # ptype Foo<volatile char *>
283 send_gdb "ptype fvpchar\n"
285 -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" }
286 -re "$gdb_prompt $" { fail "ptype fvpchar" }
287 timeout { fail "(timeout) ptype fvpchar" }
290 # print a function from Foo<volatile char *>
292 send_gdb "print Foo<volatile char *>::foo\n"
294 -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" }
295 -re "$gdb_prompt $" { fail "print Foo<volatile char *>::foo" }
296 timeout { fail "(timeout) print Foo<volatile char *>::foo" }
299 # Template Bar<T, int>
301 setup_xfail hppa2.0w-*-* CLLbs16092
302 # same as Foo for g++
303 if {!$hp_aCC_compiler} { setup_xfail *-*-* }
304 send_gdb "ptype Bar\n"
306 -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" }
307 -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" }
308 -re "$gdb_prompt $" { fail "ptype Bar" }
309 timeout { fail "(timeout) ptype Bar" }
314 # stabs screws this test royally.
315 # It thinks it has a badly mangled name.
316 # I blame stabs, the other formats get it right. -djb
318 setup_xfail_format "stabs"
319 send_gdb "ptype bint\n"
321 -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" }
322 -re "$gdb_prompt $" { fail "ptype bint" }
323 timeout { fail "(timeout) ptype bint" }
326 # ptype Bar<int, (4>3)>
328 send_gdb "ptype bint2\n"
330 -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" }
331 -re "$gdb_prompt $" { fail "ptype bint2" }
332 timeout { fail "(timeout) ptype bint2" }
335 # Template Baz<T, char>
337 setup_xfail hppa2.0w-*-* CLLbs16092
338 # Same as Foo, for g++
339 if {!$hp_aCC_compiler} { setup_xfail *-*-* }
340 send_gdb "ptype Baz\n"
342 -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" }
343 -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" }
344 -re "$gdb_prompt $" { fail "ptype Baz" }
345 timeout { fail "(timeout) ptype Baz" }
349 # ptype Baz<int, 's'>
351 send_gdb "ptype bazint\n"
353 -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" }
354 -re "$gdb_prompt $" { fail "ptype bazint" }
355 timeout { fail "(timeout) ptype bazint" }
358 # ptype Baz<char, 'a'>
360 send_gdb "ptype bazint2\n"
362 -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" }
363 -re "$gdb_prompt $" { fail "ptype bazint2" }
364 timeout { fail "(timeout) ptype bazint2" }
367 # Template Qux<T, int (*f)(int) >
368 # Same as Foo for g++
369 if {!$hp_aCC_compiler} {setup_xfail *-*-*}
370 send_gdb "ptype Qux\n"
372 -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" }
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\\}.*$gdb_prompt $" { pass "ptype Qux" }
374 -re "$gdb_prompt $" { fail "ptype Qux" }
375 timeout { fail "(timeout) ptype Qux" }
378 # pt Qux<int,&string>
380 send_gdb "ptype quxint\n"
382 -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" }
383 -re "$gdb_prompt $" { fail "ptype quxint" }
384 timeout { fail "(timeout) ptype quxint" }
389 # commented out this as quxint2 declaration was commented out in
390 # templates.exp -- ovidiu
391 # send_gdb "ptype quxint2\n"
393 # -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" }
394 # -re "$gdb_prompt $" { fail "ptype quxint2" }
395 # timeout { fail "(timeout) ptype quxint2" }
398 # Template Spec<T1, T2>
400 setup_xfail hppa2.0w-*-* CLLbs16092
401 # Same as Foo for g++
402 if {!$hp_aCC_compiler} { setup_xfail *-*-* }
403 send_gdb "ptype Spec\n"
405 -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" }
406 -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" }
407 -re "$gdb_prompt $" { fail "ptype Spec" }
408 timeout { fail "(timeout) ptype Spec" }
413 send_gdb "ptype siip\n"
415 -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" }
416 -re "$gdb_prompt $" { fail "ptype siip" }
417 timeout { fail "(timeout) ptype siip" }
422 send_gdb "ptype Garply<int>\n"
424 -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>" }
425 -re "$gdb_prompt $" { fail "ptype Garply<int>" }
426 timeout { fail "(timeout) ptype Garply<int>" }
429 # ptype of nested template name
431 send_gdb "ptype Garply<Garply<char> >\n"
433 -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> >" }
434 -re "$gdb_prompt $" { fail "ptype Garply<Garply<char> >" }
435 timeout { fail "(timeout) ptype Garply<Garply<char> >" }
438 # print out a function from a nested template name
440 send_gdb "print Garply<Garply<char> >::garply\n"
442 -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" }
443 -re ".*$gdb_prompt $" { fail "print Garply<Garply<char> >::garply" }
444 timeout { fail "print Garply<Garply<char> >::garply (timeout)" }
448 # Now should work fine
449 send_gdb "break Garply<Garply<char> >::garply\n"
451 -re "Breakpoint \[0-9\]* at $hex: file .*templates.cc, line.*\r\n$gdb_prompt $" { pass "break Garply<Garply<char> >::garply" }
452 -re ".*$gdb_prompt $" { fail "break Garply<Garply<char> >::garply" }
453 timeout { fail "break Garply<Garply<char> >::garply (timeout)" }