xref: /netbsd-src/external/gpl3/gdb.old/dist/gdb/testsuite/gdb.cp/templates.exp (revision e670fd5c413e99c2f6a37901bb21c537fcd322d2)
1# Copyright 1992-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# This file was written by Fred Fish. (fnf@cygnus.com)
17
18set ws "\[\r\n\t \]+"
19
20if { [skip_cplus_tests] } { continue }
21
22standard_testfile .cc
23
24# Create and source the file that provides information about the compiler
25# used to compile the test case.
26if [get_compiler_info "c++"] {
27    return -1
28}
29
30if {[prepare_for_testing "failed to prepare" $testfile $srcfile {debug c++}]} {
31    return -1
32}
33
34#
35#  Test printing of the types of templates.
36#
37
38proc test_ptype_of_templates {} {
39    global gdb_prompt
40    global ws
41
42    gdb_test_multiple "ptype/r T5<int>" "ptype T5<int>" {
43	-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 $" {
44	    xfail "ptype T5<int> -- new without size_t"
45	}
46	-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 $" {
47	    xfail "ptype T5<int> -- new without size_t"
48	}
49	-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 $" {
50	    xfail "ptype T5<int> -- new with unsigned int"
51	}
52	-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 $" {
53	    xfail "ptype T5<int> -- new with unsigned long"
54	}
55	-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 $" {
56	    xfail "ptype T5<int> (obsolescent gcc or gdb)"
57	}
58	-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 $" {
59	    # This also triggers gdb/1113...
60	    kfail "gdb/1111" "ptype T5<int>"
61	    # Add here a PASS case when PR gdb/1111 gets fixed.
62	    # These are really:
63	    # http://sourceware.org/bugzilla/show_bug.cgi?id=8216
64	    # http://sourceware.org/bugzilla/show_bug.cgi?id=8218
65	}
66	-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 $" {
67	    # http://sourceware.org/bugzilla/show_bug.cgi?id=8218
68	    # The destructor has an argument type.
69	    kfail "gdb/8218" "ptype T5<int>"
70	}
71	-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\\(\\);${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 $" {
72	    pass "ptype T5<int>"
73	}
74    }
75
76    gdb_test_multiple "ptype/r t5i" "ptype t5i" {
77        -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 $" {
78	    xfail "ptype T5<int> -- with several fixes from 4.17 -- without size_t"
79	}
80        -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 $" {
81	    xfail "ptype t5i<int> -- new with unsigned int -- without size_t"
82	}
83        -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 $" {
84	    xfail "ptype t5i<int> -- new with unsigned long -- without size_t"
85	}
86        -re "type = class T5<int> \{.*public:.*static int X;.*int x;.*int val;.*.*T5 \\(int\\);.*.*void ~T5 \\(\\).*.*.*int value \\((void|)\\);.*\}.*$gdb_prompt $" {
87            xfail "ptype t5i -- without size_t"
88        }
89	-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 $" {
90	    xfail "ptype t5i -- without size_t"
91	}
92	-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 $" {
93	    xfail "ptype t5i -- without size_t"
94	}
95	-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 $" {
96	    xfail "ptype t5i (obsolescent gcc or gdb) -- without size_t"
97	}
98	-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 $" {
99	    # This also triggers gdb/1113...
100	    kfail "gdb/1111" "ptype t5i"
101	    # Add here a PASS case when PR gdb/1111 gets fixed.
102	    # These are really:
103	    # http://sourceware.org/bugzilla/show_bug.cgi?id=8216
104	    # http://sourceware.org/bugzilla/show_bug.cgi?id=8218
105	}
106	-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 $" {
107	    # http://sourceware.org/bugzilla/show_bug.cgi?id=8218
108	    # The destructor has an argument type.
109	    kfail "gdb/8218" "ptype t5i"
110	}
111	-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\\(\\);${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 $" {
112	    pass "ptype t5i"
113	}
114    }
115}
116
117#
118#  Test breakpoint setting on template methods.
119#
120
121proc test_template_breakpoints {} {
122    global gdb_prompt
123    global testfile
124    global srcdir
125
126    gdb_test_multiple "break T5<int>::T5" "constructor breakpoint" {
127	-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\]*> $" {
128	    gdb_test "0" \
129		"canceled" \
130		"constructor breakpoint"
131	}
132	-re "0. cancel.*\[\r\n\]*.1. all.*\[\r\n\]*.2. T5 at .*\[\r\n\]*.3. T5 at .*\[\r\n\]*> $" {
133	    setup_kfail "gdb/1062" "*-*-*"
134	    gdb_test "0" \
135		"nonsense intended to insure that this test fails" \
136		"constructor breakpoint"
137	}
138        -re ".*\n> $" {
139	    gdb_test "0" \
140		    "nonsense intended to insure that this test fails" \
141		    "constructor breakpoint (bad menu choices)"
142	}
143    }
144
145    gdb_test_multiple "break T5<int>::~T5" "destructor_breakpoint" {
146	-re "Breakpoint.*at.* file .*${testfile}.cc, line.*$gdb_prompt $"
147	{
148	    pass "destructor breakpoint"
149	}
150	-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 $"
151	{
152	    kfail "gdb/1112" "destructor breakpoint"
153	}
154    }
155
156    gdb_test "break T5<int>::value" \
157	"Breakpoint.*at.* file .*${testfile}.cc, line.*" \
158	"value method breakpoint"
159
160    set bp_location [gdb_get_line_number \
161                         "set breakpoint on a line with no real code"]
162
163    gdb_test_multiple "break ${testfile}.cc:${bp_location}" \
164	"breakpoint on a line with no real code" {
165	    -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\]*> $" {
166		gdb_test "0" \
167		    "canceled" \
168		    "breakpoint on a line with no real code"
169	    }
170	    -re "0. cancel.*\[\r\n\]*.1. all.*\[\r\n\]*.2.*\[\r\n\]*.3.*\[\r\n\]*> $" {
171		gdb_test "0" \
172		    "nonsense intended to insure that this test fails" \
173		    "breakpoint on a line with no real code"
174	    }
175	    -re ".*\n> $" {
176		gdb_test "0" \
177		    "nonsense intended to insure that this test fails" \
178		    "breakpoint on a line with no real code"
179	    }
180	}
181
182    delete_breakpoints
183}
184
185#
186#  Test calling of template methods.
187#
188
189proc test_template_calls {} {
190    global gdb_prompt
191
192    if [target_info exists gdb,cannot_call_functions] {
193	unsupported "this target can not call functions"
194	return
195    }
196
197    setup_xfail hppa*-*-*
198    gdb_test_multiple "print t5i.value()" "print t5i.value()" {
199	-re ".* = 2\[\r\n\]*$gdb_prompt $" {
200	    pass "print t5i.value()"
201	}
202	-re "Cannot invoke functions on this machine.*$gdb_prompt $" {
203	    fail "print t5i.value()"
204	}
205        -re "Cannot resolve .* to any overloaded instance.*$gdb_prompt $" {
206	    setup_xfail hppa*-*-* CLLbs16899
207            xfail "print t5i.value"
208	}
209    }
210}
211
212proc test_template_typedef {} {
213    global gdb_prompt
214
215    gdb_test "print intBazOne::baz" ".*baz\\(int, int\\)>" \
216	"print method of template typedef"
217
218    set test "print destructor of template typedef"
219    gdb_test_multiple "print intBazOne::~Baz" $test {
220	-re "~Baz(\\(\\))?>\r\n$gdb_prompt $" {
221	    pass $test
222	}
223	-re "There is no field named ~Baz\r\n$gdb_prompt $" {
224	    set test2 "verify GCC PR debug/51668"
225	    gdb_test_multiple "whatis intBazOne" $test2 {
226		-re "type = Baz<int, \\(char\\)'\\\\001'>\r\n$gdb_prompt $" {
227		    setup_xfail gcc/51668 "*-*-*"
228		    xfail $test
229		    pass $test2
230		}
231		-re "\r\n$gdb_prompt $" {
232		    # Some unexpected response.
233		    fail $test
234		    fail $test2
235		}
236	    }
237	}
238    }
239}
240
241proc test_template_args {} {
242
243    set empty_re "Empty *<void *\\(FunctionArg *<int>\\)>"
244    gdb_test "ptype/r empty" \
245	"type = (struct|class) $empty_re {.*<no data fields>.*}" \
246	"ptype empty"
247
248    gdb_test "ptype/r arg" \
249	"type = (struct|class) FunctionArg<int> {.*int method\\($empty_re \\&\\);.*}" \
250	"ptype arg"
251}
252
253proc do_tests {} {
254    # Change multiple-symbols to "ask" in order to get the multiple-choice
255    # menu when breaking on overloaded methods.
256    gdb_test_no_output "set multiple-symbols ask"
257
258    runto_main
259
260    test_ptype_of_templates
261    test_template_breakpoints
262    test_template_typedef
263    test_template_args
264
265    if [ runto_main] {
266	test_template_calls
267    }
268}
269
270do_tests
271
272
273# More tests for different kinds of template parameters,
274# templates with partial specializations, nested templates, etc.
275# These have been tested only with HP aCC.  They probably won't
276# work with other compilers because of differences in mangling
277# schemes.
278# Added by Satish Pai <pai@apollo.hp.com> 1997-09-25
279# As of 2000-06-03, C++ support has been improved to the point that g++ can
280# pass all of theses, excluding what appears to be one that exposes a stabs bug. - djb
281
282# I don't know how HP could be passing these tests without this. They
283# weren't breakpointing past a point where the below expressions were
284# initialized in the actual source. - djb
285
286gdb_test "b 770" \
287    "Breakpoint .* at .*, line 770."
288
289gdb_test "c" \
290    "Continuing.*Breakpoint .*" \
291    "continue to line 770"
292
293gdb_test "print fint" \
294   "\\$\[0-9\]* = \\{x = 0, t = 0\\}"
295
296# Prevent symbol on address 0x0 being printed.
297gdb_test_no_output "set print symbol off"
298gdb_test "print fvpchar" \
299    "\\$\[0-9\]* = \\{x = 0, t = 0x0\\}"
300
301# Template Foo<T>
302
303# Neither stabs nor DWARF-2 contains type information about templates
304# (as opposed to instantiations of templates), so in those
305# circumstances we expect GDB to not find a symbol.  HP has a debug
306# format that contains more info, though, so it's also correct to
307# print out template info.  (This affects several subsequent tests as
308# well.)
309
310# NOTE: carlton/2003-02-26: However, because of a bug in the way GDB
311# handles nested types, we don't get this right in the DWARF-2 case.
312
313gdb_test_multiple "ptype/r Foo" "ptype Foo" {
314    -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 $" {
315	pass "ptype Foo"
316    }
317    -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 $" {
318	xfail "ptype Foo"
319    }
320    -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 $" {
321	# GCC 3.1, DWARF-2 output.
322	kfail "gdb/57" "ptype Foo"
323    }
324    -re "No symbol \"Foo\" in current context.\r\n$gdb_prompt $" {
325	# GCC 2.95.3, stabs+ output.
326	pass "ptype Foo"
327    }
328}
329
330#    -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 $"
331
332# ptype Foo<int>
333
334gdb_test_multiple "ptype/r fint" "ptype fint" {
335    -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 $" {
336	pass "ptype fint"
337    }
338    -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 $" {
339	pass "ptype fint"
340    }
341}
342
343# ptype Foo<char>
344
345gdb_test_multiple "ptype/r fchar" "ptype fchar" {
346    -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 $" {
347	pass "ptype fchar"
348    }
349   -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 $" {
350       pass "ptype fchar"
351   }
352}
353
354# ptype Foo<volatile char *>
355
356gdb_test_multiple "ptype/r fvpchar" "ptype fvpchar" {
357    -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 $" {
358	pass "ptype fvpchar"
359    }
360    -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 $" {
361	pass "ptype fvpchar"
362    }
363    -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 $" {
364	kfail "gdb/1512" "ptype fvpchar"
365    }
366}
367
368# print a function from Foo<volatile char *>
369
370# This test is sensitive to whitespace matching, so we'll do it twice,
371# varying the spacing, because of PR gdb/33.
372
373gdb_test_multiple "print Foo<volatile char *>::foo" "print Foo<volatile char *>::foo" {
374    -re "\\$\[0-9\]* = \\{.*char \\*\\((class |)Foo<(volatile char|char volatile) ?\\*> \\*(| const), int, .*char \\*\\)\\} $hex <Foo<.*char.*\\*>::foo\\(int, .*char.*\\*\\)>\r\n$gdb_prompt $" {
375	pass "print Foo<volatile char *>::foo"
376    }
377    -re "No symbol \"Foo<volatile char \\*>\" in current context.\r\n$gdb_prompt $" {
378	# This used to be a kfail gdb/33 and then kfail gdb/931.
379	fail "print Foo<volatile char *>::foo"
380    }
381}
382
383gdb_test_multiple "print Foo<volatile char*>::foo" "print Foo<volatile char*>::foo" {
384    -re "\\$\[0-9\]* = \\{.*char \\*\\((class |)Foo<(volatile char|char volatile) ?\\*> \\*(| const), int, .*char \\*\\)\\} $hex <Foo<.*char.*\\*>::foo\\(int, .*char.*\\*\\)>\r\n$gdb_prompt $" {
385	pass "print Foo<volatile char*>::foo"
386    }
387    -re "No symbol \"Foo<volatile char\\*>\" in current context.\r\n$gdb_prompt $" {
388	# This used to be a kfail gdb/33 and then kfail gdb/931.
389	fail "print Foo<volatile char*>::foo"
390    }
391}
392
393# Template Bar<T, int>
394
395# same as Foo for g++
396gdb_test_multiple "ptype/r Bar" "ptype Bar" {
397    -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 $" {
398	pass "ptype Bar"
399    }
400    -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 $" {
401	xfail "ptype Bar"
402    }
403    -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 $" {
404	# GCC 3.1, DWARF-2 output.
405	kfail "gdb/57" "ptype Bar"
406    }
407    -re "No symbol \"Bar\" in current context.\r\n$gdb_prompt $" {
408	# GCC 2.95.3, stabs+ output.
409	pass "ptype Bar"
410    }
411}
412
413
414# ptype Bar<int,33>
415
416gdb_test_multiple "ptype/r bint" "ptype bint" {
417    -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 $" {
418	pass "ptype bint"
419    }
420    -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 $" {
421	pass "ptype bint"
422    }
423}
424
425# ptype Bar<int, (4>3)>
426
427gdb_test_multiple "ptype/r bint2" "ptype bint2" {
428    -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 $" {
429	pass "ptype bint2"
430    }
431    -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 $" {
432	pass "ptype bint2"
433    }
434}
435
436# Template Baz<T, char>
437
438# Same as Foo, for g++
439gdb_test_multiple "ptype/r Baz" "ptype Baz" {
440    -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 $" {
441	pass "ptype Baz"
442    }
443    -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 $" {
444	xfail "ptype Baz"
445    }
446    -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 $" {
447	# GCC 3.1, DWARF-2 output.
448	kfail "gdb/57" "ptype Baz"
449    }
450    -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 $" {
451	# GCC 3.x, DWARF-2 output, running into gdb/57 and gdb/1512.
452	kfail "gdb/57" "ptype Baz"
453    }
454    -re "No symbol \"Baz\" in current context.\r\n$gdb_prompt $" {
455	# GCC 2.95.3, stabs+ output.
456	pass "ptype Baz"
457    }
458}
459
460
461# ptype Baz<int, 's'>
462
463gdb_test_multiple "ptype/r bazint" "ptype bazint" {
464    -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 $" {
465	pass "ptype bazint"
466    }
467   -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 $" {
468       pass "ptype bazint"
469   }
470}
471
472# ptype Baz<char, 'a'>
473
474gdb_test_multiple "ptype/r bazint2" "ptype bazint2" {
475    -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 $" {
476	pass "ptype bazint2"
477    }
478    -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 $" {
479	pass "ptype bazint2"
480    }
481}
482
483# Template Qux<T, int (*f)(int) >
484# Same as Foo for g++
485gdb_test_multiple "ptype/r Qux" "ptype Qux" {
486    -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 $" {
487	pass "ptype Qux"
488    }
489    -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 $" {
490	pass "ptype Qux"
491    }
492    -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 $" {
493	# GCC 3.1, DWARF-2 output.
494	kfail "gdb/57" "ptype Qux"
495    }
496    -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 $" {
497	# GCC 3.x, DWARF-2 output; gdb/57 + gdb/1512.
498	kfail "gdb/57" "ptype Qux"
499    }
500    -re "No symbol \"Qux\" in current context.\r\n$gdb_prompt $" {
501	# GCC 2.95.3, stabs+ output.
502	pass "ptype Qux"
503    }
504}
505
506# pt Qux<int,&string>
507
508gdb_test_multiple "ptype/r quxint" "ptype quxint" {
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	pass "ptype quxint"
511    }
512    -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 $" {
513	pass "ptype quxint"
514    }
515    -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 $" {
516	pass "ptype quxint"
517    }
518    -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 $" {
519	kfail "gdb/1512" "ptype quxint"
520    }
521}
522
523
524# Template Spec<T1, T2>
525
526# Same as Foo for g++
527gdb_test_multiple "ptype/r Spec" "ptype Spec" {
528    -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 $" {
529	pass "ptype Spec"
530    }
531    -re "type = <(class |)T1, (class |)T2> (class |)Spec \\{\r\n\[ \t\]*public:\r\n\[ \t\]*int x;\r\n\\}\r\n$gdb_prompt $" {
532	xfail "ptype Spec"
533    }
534    -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 $" {
535	# GCC 3.1, DWARF-2 output.
536	kfail "gdb/57" "ptype Spec"
537    }
538    -re "No symbol \"Spec\" in current context.\r\n$gdb_prompt $" {
539	# GCC 2.95.3, stabs+ output.
540	pass "ptype Spec"
541    }
542}
543
544# pt Spec<char,0>
545
546gdb_test_multiple "ptype/r siip" "ptype siip" {
547    -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 $" {
548	pass "ptype siip"
549    }
550    -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 $" {
551	pass "ptype siip"
552    }
553}
554
555# pt Garply<int>
556
557gdb_test_multiple "ptype/r Garply<int>" "ptype Garply<int>" {
558    -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 $" {
559	pass "ptype Garply<int>"
560    }
561    -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 $" {
562	pass "ptype Garply<int>"
563    }
564}
565
566# ptype of nested template name
567
568gdb_test_multiple "ptype/r Garply<Garply<char> >" "ptype Garply<Garply<char> >" {
569    -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 $" {
570	pass "ptype Garply<Garply<char> >"
571    }
572    -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 $" {
573	pass "ptype Garply<Garply<char> >"
574    }
575}
576
577# print out a function from a nested template name
578
579gdb_test "print Garply<Garply<char> >::garply" \
580    "\\$\[0-9\]* = \\{(class |)Garply<char> \\((class |)Garply<Garply<char> > \\*(| const), int, (class |)Garply<char>\\)\\} $hex <Garply<Garply<char>\[ \t\]*>::garply\\(int, (class |)Garply<char>\\)>" \
581    "print Garply<Garply<char> >::garply"
582
583# djb - 06-03-2000
584# Now should work fine
585gdb_test "break Garply<Garply<char> >::garply" \
586    "Breakpoint \[0-9\]* at $hex: file .*templates.cc, line.*"
587