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