Commit | Line | Data |
---|---|---|
1e1b3428 FF |
1 | # Copyright 1992, 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, |
2 | # 2003, 2004 Free Software Foundation, Inc. | |
c906108c SS |
3 | |
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. | |
8 | # | |
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. | |
13 | # | |
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. | |
17 | ||
18 | # Please email any bugs, comments, and/or additions to this file to: | |
19 | # bug-gdb@prep.ai.mit.edu | |
20 | ||
21 | # This file was written by Fred Fish. (fnf@cygnus.com) | |
22 | # and modified by Bob Manson. (manson@cygnus.com) | |
23 | ||
24 | if $tracelevel then { | |
25 | strace $tracelevel | |
26 | } | |
27 | ||
28 | set prms_id 0 | |
29 | set bug_id 0 | |
30 | ||
31 | set testfile "callfuncs" | |
32 | set srcfile ${testfile}.c | |
33 | set binfile ${objdir}/${subdir}/${testfile} | |
34 | ||
c906108c | 35 | if { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}" executable {debug}] != "" } { |
c906108c | 36 | gdb_suppress_entire_file "Testcase compile failed, so all tests in this file will automatically fail." |
c906108c SS |
37 | } |
38 | ||
39 | # Create and source the file that provides information about the compiler | |
40 | # used to compile the test case. | |
41 | ||
42 | if [get_compiler_info ${binfile}] { | |
43 | return -1; | |
44 | } | |
45 | ||
085dd6e6 JM |
46 | if {$hp_aCC_compiler} { |
47 | set prototypes 1 | |
48 | } else { | |
49 | set prototypes 0 | |
50 | } | |
51 | ||
9fbfe2dc AC |
52 | # Some targets can't do function calls, so don't even bother with this |
53 | # test. | |
c906108c SS |
54 | if [target_info exists gdb,cannot_call_functions] { |
55 | setup_xfail "*-*-*" 2416 | |
56 | fail "This target can not call functions" | |
57 | continue | |
58 | } | |
59 | ||
60 | # Set the current language to C. This counts as a test. If it | |
61 | # fails, then we skip the other tests. | |
62 | ||
63 | proc set_lang_c {} { | |
64 | global gdb_prompt | |
65 | ||
66 | send_gdb "set language c\n" | |
67 | gdb_expect { | |
68 | -re ".*$gdb_prompt $" {} | |
69 | timeout { fail "set language c (timeout)" ; return 0; } | |
70 | } | |
71 | ||
72 | send_gdb "show language\n" | |
73 | gdb_expect { | |
74 | -re ".* source language is \"c\".*$gdb_prompt $" { | |
75 | pass "set language to \"c\"" | |
76 | return 1 | |
77 | } | |
78 | -re ".*$gdb_prompt $" { | |
79 | fail "setting language to \"c\"" | |
80 | return 0 | |
81 | } | |
82 | timeout { | |
83 | fail "can't show language (timeout)" | |
84 | return 0 | |
85 | } | |
86 | } | |
87 | } | |
88 | ||
89 | # FIXME: Before calling this proc, we should probably verify that | |
90 | # we can call inferior functions and get a valid integral value | |
91 | # returned. | |
92 | # Note that it is OK to check for 0 or 1 as the returned values, because C | |
93 | # specifies that the numeric value of a relational or logical expression | |
94 | # (computed in the inferior) is 1 for true and 0 for false. | |
95 | ||
96 | proc do_function_calls {} { | |
97 | global prototypes | |
a0b3c4fd JM |
98 | global gdb_prompt |
99 | ||
c906108c SS |
100 | # We need to up this because this can be really slow on some boards. |
101 | set timeout 60; | |
102 | ||
103 | gdb_test "p t_char_values(0,0)" " = 0" | |
104 | gdb_test "p t_char_values('a','b')" " = 1" | |
105 | gdb_test "p t_char_values(char_val1,char_val2)" " = 1" | |
106 | gdb_test "p t_char_values('a',char_val2)" " = 1" | |
107 | gdb_test "p t_char_values(char_val1,'b')" " = 1" | |
108 | ||
109 | gdb_test "p t_short_values(0,0)" " = 0" | |
110 | gdb_test "p t_short_values(10,-23)" " = 1" | |
111 | gdb_test "p t_short_values(short_val1,short_val2)" " = 1" | |
112 | gdb_test "p t_short_values(10,short_val2)" " = 1" | |
113 | gdb_test "p t_short_values(short_val1,-23)" " = 1" | |
114 | ||
115 | gdb_test "p t_int_values(0,0)" " = 0" | |
116 | gdb_test "p t_int_values(87,-26)" " = 1" | |
117 | gdb_test "p t_int_values(int_val1,int_val2)" " = 1" | |
118 | gdb_test "p t_int_values(87,int_val2)" " = 1" | |
119 | gdb_test "p t_int_values(int_val1,-26)" " = 1" | |
120 | ||
121 | gdb_test "p t_long_values(0,0)" " = 0" | |
122 | gdb_test "p t_long_values(789,-321)" " = 1" | |
123 | gdb_test "p t_long_values(long_val1,long_val2)" " = 1" | |
124 | gdb_test "p t_long_values(789,long_val2)" " = 1" | |
125 | gdb_test "p t_long_values(long_val1,-321)" " = 1" | |
126 | ||
127 | if ![target_info exists gdb,skip_float_tests] { | |
128 | gdb_test "p t_float_values(0.0,0.0)" " = 0" | |
129 | ||
130 | # These next four tests fail on the mn10300. | |
131 | # The first value is passed in regs, the other in memory. | |
132 | # Gcc emits different stabs for the two parameters; the first is | |
133 | # claimed to be a float, the second a double. | |
134 | # dbxout.c in gcc claims this is the desired behavior. | |
a0b3c4fd | 135 | setup_xfail "mn10300-*-*" |
c906108c | 136 | gdb_test "p t_float_values(3.14159,-2.3765)" " = 1" |
a0b3c4fd | 137 | setup_xfail "mn10300-*-*" |
c906108c | 138 | gdb_test "p t_float_values(float_val1,float_val2)" " = 1" |
a0b3c4fd | 139 | setup_xfail "mn10300-*-*" |
c906108c | 140 | gdb_test "p t_float_values(3.14159,float_val2)" " = 1" |
a0b3c4fd | 141 | setup_xfail "mn10300-*-*" |
c906108c SS |
142 | gdb_test "p t_float_values(float_val1,-2.3765)" " = 1" |
143 | ||
144 | # Test passing of arguments which might not be widened. | |
145 | gdb_test "p t_float_values2(0.0,0.0)" " = 0" | |
146 | ||
147 | # Although PR 5318 mentions SunOS specifically, this seems | |
148 | # to be a generic problem on quite a few platforms. | |
149 | if $prototypes then { | |
085dd6e6 | 150 | setup_xfail "sparc-*-*" "mips*-*-*" 5318 |
96457b64 | 151 | if { ! [test_compiler_info gcc-*-*] } then { |
c906108c SS |
152 | setup_xfail "alpha-dec-osf2*" "i*86-*-sysv4*" 5318 |
153 | } | |
154 | } | |
0bc69509 | 155 | |
c906108c | 156 | gdb_test "p t_float_values2(3.14159,float_val2)" " = 1" |
0bc69509 | 157 | |
c906108c SS |
158 | gdb_test "p t_small_values(1,2,3,4,5,6,7,8,9,10)" " = 55" |
159 | ||
160 | gdb_test "p t_double_values(0.0,0.0)" " = 0" | |
161 | gdb_test "p t_double_values(45.654,-67.66)" " = 1" | |
162 | gdb_test "p t_double_values(double_val1,double_val2)" " = 1" | |
163 | gdb_test "p t_double_values(45.654,double_val2)" " = 1" | |
164 | gdb_test "p t_double_values(double_val1,-67.66)" " = 1" | |
165 | } | |
166 | ||
167 | gdb_test "p t_string_values(string_val2,string_val1)" " = 0" | |
168 | gdb_test "p t_string_values(string_val1,string_val2)" " = 1" | |
169 | gdb_test "p t_string_values(\"string 1\",\"string 2\")" " = 1" | |
170 | gdb_test "p t_string_values(\"string 1\",string_val2)" " = 1" | |
171 | gdb_test "p t_string_values(string_val1,\"string 2\")" " = 1" | |
172 | ||
173 | gdb_test "p t_char_array_values(char_array_val2,char_array_val1)" " = 0" | |
174 | gdb_test "p t_char_array_values(char_array_val1,char_array_val2)" " = 1" | |
175 | gdb_test "p t_char_array_values(\"carray 1\",\"carray 2\")" " = 1" | |
176 | gdb_test "p t_char_array_values(\"carray 1\",char_array_val2)" " = 1" | |
177 | gdb_test "p t_char_array_values(char_array_val1,\"carray 2\")" " = 1" | |
178 | ||
179 | gdb_test "p doubleit(4)" " = 8" | |
180 | gdb_test "p add(4,5)" " = 9" | |
181 | gdb_test "p t_func_values(func_val2,func_val1)" " = 0" | |
182 | gdb_test "p t_func_values(func_val1,func_val2)" " = 1" | |
183 | ||
eac98b22 AC |
184 | # GDB currently screws up the passing of function parameters for |
185 | # ABIs that use function descriptors. Instead of passing the | |
186 | # address of te function descriptor, GDB passes the address of the | |
187 | # function body. This results in the called function treating the | |
188 | # first few instructions of the function proper as a descriptor | |
189 | # and attempting a jump through that (a totally random address). | |
190 | setup_kfail "rs6000*-*-aix*" gdb/1457 | |
191 | setup_kfail "powerpc*-*-aix*" gdb/1457 | |
eac98b22 AC |
192 | setup_kfail hppa*-*-hpux* gdb/1457 |
193 | gdb_test "p t_func_values(add,func_val2)" " = 1" | |
194 | setup_kfail "rs6000*-*-aix*" gdb/1457 | |
195 | setup_kfail "powerpc*-*-aix*" gdb/1457 | |
eac98b22 AC |
196 | setup_kfail hppa*-*-hpux* gdb/1457 |
197 | gdb_test "p t_func_values(func_val1,doubleit)" " = 1" | |
198 | setup_kfail "rs6000*-*-aix*" gdb/1457 | |
199 | setup_kfail "powerpc*-*-aix*" gdb/1457 | |
eac98b22 AC |
200 | setup_kfail hppa*-*-hpux* gdb/1457 |
201 | gdb_test "p t_call_add(add,3,4)" " = 7" | |
a0b3c4fd | 202 | gdb_test "p t_call_add(func_val1,3,4)" " = 7" |
c906108c SS |
203 | |
204 | gdb_test "p t_enum_value1(enumval1)" " = 1" | |
205 | gdb_test "p t_enum_value1(enum_val1)" " = 1" | |
206 | gdb_test "p t_enum_value1(enum_val2)" " = 0" | |
207 | ||
208 | gdb_test "p t_enum_value2(enumval2)" " = 1" | |
209 | gdb_test "p t_enum_value2(enum_val2)" " = 1" | |
210 | gdb_test "p t_enum_value2(enum_val1)" " = 0" | |
211 | ||
212 | gdb_test "p sum_args(1,{2})" " = 2" | |
213 | gdb_test "p sum_args(2,{2,3})" " = 5" | |
214 | gdb_test "p sum_args(3,{2,3,4})" " = 9" | |
215 | gdb_test "p sum_args(4,{2,3,4,5})" " = 14" | |
216 | ||
217 | gdb_test "p sum10 (1, 2, 3, 4, 5, 6, 7, 8, 9, 10)" " = 55" | |
218 | ||
219 | gdb_test "p cmp10 (0, 1, 2, 3, 4, 5, 6, 7, 8, 9)" " = 1" | |
220 | ||
221 | gdb_test "p t_structs_c(struct_val1)" "= 120 'x'" \ | |
222 | "call inferior func with struct - returns char" | |
223 | gdb_test "p t_structs_s(struct_val1)" "= 87" \ | |
fd7832a6 | 224 | "call inferior func with struct - returns short" |
c906108c SS |
225 | gdb_test "p t_structs_i(struct_val1)" "= 76" \ |
226 | "call inferior func with struct - returns int" | |
227 | gdb_test "p t_structs_l(struct_val1)" "= 51" \ | |
228 | "call inferior func with struct - returns long" | |
c906108c SS |
229 | gdb_test "p t_structs_f(struct_val1)" "= 2.12.*" \ |
230 | "call inferior func with struct - returns float" | |
c906108c SS |
231 | gdb_test "p t_structs_d(struct_val1)" "= 9.87.*" \ |
232 | "call inferior func with struct - returns double" | |
233 | gdb_test "p t_structs_a(struct_val1)" "= (.unsigned char .. )?\"foo\"" \ | |
234 | "call inferior func with struct - returns char *" | |
235 | } | |
236 | ||
c7db355b PS |
237 | # Procedure to get current content of all registers. |
238 | global all_registers_content | |
239 | set all_registers_content "" | |
240 | proc do_get_all_registers { } { | |
241 | global gdb_prompt | |
242 | global expect_out | |
243 | global all_registers_content | |
244 | ||
245 | set all_registers_content "" | |
246 | send_gdb "info all-registers\n" | |
247 | gdb_expect { | |
248 | -re "info all-registers\r\n(.*)$gdb_prompt $" { | |
249 | set all_registers_content $expect_out(1,string) | |
250 | } | |
251 | default {} | |
252 | } | |
253 | } | |
254 | ||
c906108c SS |
255 | # Start with a fresh gdb. |
256 | ||
257 | gdb_exit | |
258 | gdb_start | |
259 | gdb_reinitialize_dir $srcdir/$subdir | |
260 | gdb_load ${binfile} | |
261 | ||
262 | gdb_test "set print sevenbit-strings" "" | |
263 | gdb_test "set print address off" "" | |
264 | gdb_test "set width 0" "" | |
265 | ||
085dd6e6 JM |
266 | if { $hp_aCC_compiler } { |
267 | # Do not set language explicitly to 'C'. This will cause aCC | |
268 | # tests to fail because promotion rules are different. Just let | |
269 | # the language be set to the default. | |
270 | ||
c906108c SS |
271 | if { ![runto_main] } { |
272 | gdb_suppress_tests; | |
273 | } | |
085dd6e6 JM |
274 | |
275 | # However, turn off overload-resolution for aCC. Having it on causes | |
276 | # a lot of failures. | |
277 | ||
278 | gdb_test "set overload-resolution 0" ".*" | |
279 | } else { | |
280 | if { ![set_lang_c] } { | |
281 | gdb_suppress_tests; | |
282 | } else { | |
283 | if { ![runto_main] } { | |
284 | gdb_suppress_tests; | |
285 | } | |
286 | } | |
c906108c SS |
287 | } |
288 | ||
0bc69509 JB |
289 | get_debug_format |
290 | ||
c7db355b PS |
291 | # Make sure that malloc gets called and that the floating point unit |
292 | # is initialized via a call to t_double_values. | |
7dbd117d MC |
293 | gdb_test "next" "t_double_values\\(double_val1, double_val2\\);.*" \ |
294 | "next to t_double_values" | |
295 | gdb_test "next" "t_structs_c\\(struct_val1\\);.*" \ | |
296 | "next to t_structs_c" | |
c7db355b PS |
297 | |
298 | # Save all register contents. | |
299 | do_get_all_registers | |
300 | set old_reg_content $all_registers_content | |
301 | ||
302 | # Perform function calls. | |
c906108c SS |
303 | do_function_calls |
304 | ||
c7db355b PS |
305 | # Check if all registers still have the same value. |
306 | do_get_all_registers | |
307 | set new_reg_content $all_registers_content | |
308 | if ![string compare $old_reg_content $new_reg_content] then { | |
309 | pass "gdb function calls preserve register contents" | |
310 | } else { | |
311 | set old_reg_content $all_registers_content | |
312 | fail "gdb function calls preserve register contents" | |
313 | } | |
314 | ||
315 | # Set breakpoint at a function we will call from gdb. | |
316 | gdb_breakpoint add | |
317 | ||
318 | # Call function (causing a breakpoint hit in the call dummy) and do a continue, | |
319 | # make sure we are back at main and still have the same register contents. | |
db62520a MS |
320 | gdb_test "print add(4,5)" \ |
321 | "The program being debugged stopped while.*" \ | |
322 | "stop at breakpoint in call dummy function" | |
c7db355b PS |
323 | gdb_test "continue" "Continuing.*" "continue from call dummy breakpoint" |
324 | if ![gdb_test "bt 2" \ | |
325 | "#0 main.*" \ | |
326 | "bt after continuing from call dummy breakpoint"] then { | |
327 | do_get_all_registers | |
328 | set new_reg_content $all_registers_content | |
329 | if ![string compare $old_reg_content $new_reg_content] then { | |
330 | pass "continue after stop in call dummy preserves register contents" | |
331 | } else { | |
332 | fail "continue after stop in call dummy preserves register contents" | |
333 | } | |
334 | } | |
335 | ||
336 | # Call function (causing a breakpoint hit in the call dummy) and do a finish, | |
337 | # make sure we are back at main and still have the same register contents. | |
ed4c619a AC |
338 | gdb_test "print add(4,5)" "The program being debugged stopped while.*" \ |
339 | "call function causing a breakpoint then do a finish" | |
c7db355b | 340 | gdb_test "finish" \ |
9549d9c1 | 341 | "Value returned is .* = 9" \ |
c7db355b PS |
342 | "finish from call dummy breakpoint returns correct value" |
343 | if ![gdb_test "bt 2" \ | |
344 | "#0 main.*" \ | |
345 | "bt after finishing from call dummy breakpoint"] then { | |
346 | do_get_all_registers | |
347 | set new_reg_content $all_registers_content | |
348 | if ![string compare $old_reg_content $new_reg_content] then { | |
349 | pass "finish after stop in call dummy preserves register contents" | |
350 | } else { | |
351 | fail "finish after stop in call dummy preserves register contents" | |
352 | } | |
353 | } | |
354 | ||
355 | # Call function (causing a breakpoint hit in the call dummy) and do a return | |
356 | # with a value, make sure we are back at main with the same register contents. | |
ed4c619a AC |
357 | gdb_test "print add(4,5)" "The program being debugged stopped while.*" \ |
358 | "call function causing a breakpoint and then do a return" | |
c7db355b PS |
359 | if ![gdb_test "return 7" \ |
360 | "#0 main.*" \ | |
361 | "back at main after return from call dummy breakpoint" \ | |
362 | "Make add return now. .y or n.*" \ | |
363 | "y"] then { | |
364 | do_get_all_registers | |
365 | set new_reg_content $all_registers_content | |
366 | if ![string compare $old_reg_content $new_reg_content] then { | |
367 | pass "return after stop in call dummy preserves register contents" | |
368 | } else { | |
369 | fail "return after stop in call dummy preserves register contents" | |
370 | } | |
371 | } | |
372 | ||
db62520a MS |
373 | # Call function (causing a breakpoint hit in the call dummy), and |
374 | # call another function from the call dummy frame (thereby setting up | |
375 | # several nested call dummy frames). Test that backtrace and finish | |
376 | # work when several call dummies are nested. | |
377 | gdb_breakpoint sum10 | |
378 | gdb_breakpoint t_small_values | |
379 | gdb_test "print add(2,3)" "The program being debugged stopped while.*" \ | |
380 | "stop at nested call level 1" | |
381 | gdb_test "backtrace" \ | |
382 | "\#0 add \\(a=2, b=3\\).*\#1 <function called from gdb>.*\#2 main.*" \ | |
383 | "backtrace at nested call level 1" | |
384 | gdb_test "print add(4,5)" "The program being debugged stopped while.*" \ | |
385 | "stop at nested call level 2" | |
386 | gdb_test "backtrace" \ | |
387 | "\#0 add \\(a=4, b=5\\).*\#1 <function called from gdb>.*\#2 add \\(a=2, b=3\\).*\#3 <function called from gdb>.*\#4 main.*" \ | |
388 | "backtrace at nested call level 2" | |
389 | gdb_test "print sum10(2,4,6,8,10,12,14,16,18,20)" \ | |
390 | "The program being debugged stopped while.*" \ | |
391 | "stop at nested call level 3" | |
392 | gdb_test "backtrace" \ | |
393 | "\#0 sum10 \\(i0=2, i1=4, i2=6, i3=8, i4=10, i5=12, i6=14, i7=16, i8=18, i9=20\\).*\#1 <function called from gdb>.*\#2 add \\(a=4, b=5\\).*\#3 <function called from gdb>.*\#4 add \\(a=2, b=3\\).*\#5 <function called from gdb>.*\#6 main.*" \ | |
394 | "backtrace at nested call level 3" | |
395 | gdb_test "print t_small_values(1,3,5,7,9,11,13,15,17,19)" \ | |
396 | "The program being debugged stopped while.*" \ | |
397 | "stop at nested call level 4" | |
398 | gdb_test "backtrace" \ | |
99ebe9ac | 399 | "\#0 t_small_values \\(arg1=1 '.001', arg2=3, arg3=5, arg4=7 '.a', arg5=9, arg6=11 '.v', arg7=13, arg8=15, arg9=17, arg10=19\\).*\#2 sum10 \\(i0=2, i1=4, i2=6, i3=8, i4=10, i5=12, i6=14, i7=16, i8=18, i9=20\\).*\#3 <function called from gdb>.*\#4 add \\(a=4, b=5\\).*\#5 <function called from gdb>.*\#6 add \\(a=2, b=3\\).*\#7 <function called from gdb>.*\#8 main.*" \ |
db62520a MS |
400 | "backtrace at nested call level 4" |
401 | gdb_test "finish" "Value returned is .* = 100" \ | |
402 | "Finish from nested call level 4" | |
403 | gdb_test "backtrace" \ | |
404 | "\#0 sum10 \\(i0=2, i1=4, i2=6, i3=8, i4=10, i5=12, i6=14, i7=16, i8=18, i9=20\\).*\#1 <function called from gdb>.*\#2 add \\(a=4, b=5\\).*\#3 <function called from gdb>.*\#4 add \\(a=2, b=3\\).*\#5 <function called from gdb>.*\#6 main.*" \ | |
405 | "backtrace after finish from nested call level 4" | |
406 | gdb_test "finish" "Value returned is .* = 110" \ | |
407 | "Finish from nested call level 3" | |
408 | gdb_test "backtrace" \ | |
409 | "\#0 add \\(a=4, b=5\\).*\#1 <function called from gdb>.*\#2 add \\(a=2, b=3\\).*\#3 <function called from gdb>.*\#4 main.*" \ | |
410 | "backtrace after finish from nested call level 3" | |
411 | gdb_test "finish" "Value returned is .* = 9" \ | |
412 | "Finish from nested call level 2" | |
413 | gdb_test "backtrace" \ | |
414 | "\#0 add \\(a=2, b=3\\).*\#1 <function called from gdb>.*\#2 main.*" \ | |
415 | "backtrace after finish from nested call level 2" | |
416 | gdb_test "finish" "Value returned is .* = 5" \ | |
417 | "Finish from nested call level 1" | |
418 | gdb_test "backtrace" "\#0 main .*" \ | |
419 | "backtrace after finish from nested call level 1" | |
420 | ||
421 | do_get_all_registers | |
422 | set new_reg_content $all_registers_content | |
423 | if ![string compare $old_reg_content $new_reg_content] then { | |
424 | pass "nested call dummies preserve register contents" | |
425 | } else { | |
426 | fail "nested call dummies preserve register contents" | |
427 | } | |
428 | ||
c906108c | 429 | return 0 |
db62520a | 430 |