mirror of
https://sourceware.org/git/binutils-gdb.git
synced 2025-02-05 12:53:16 +08:00
aa3cfbda2f
Prior to this patch, calling functions on the inferior with arguments and then using these arguments within a function resulted in an invalid memory access. This is because Fortran arguments are typically passed as pointers to values. It is possible to call Fortran functions, but memory must be allocated in the inferior, so a pointer can be passed to the function, and the language must be set to C to enable C-style casting. This is cumbersome and not a pleasant debug experience. This patch implements the GNU Fortran argument passing conventions with caveats. Firstly, it does not handle the VALUE attribute as there is insufficient DWARF information to determine when this is the case. Secondly, functions with optional parameters can only be called with all parameters present. Both these cases are marked as KFAILS in the test. Since the GNU Fortran argument passing convention has been implemented, there is no guarantee that this patch will work correctly, in all cases, with other compilers. Despite these limitations, this patch improves the ease with which functions can be called in many cases, without taking away the existing approach of calling with the language set to C. Regression tested on x86_64, aarch64 and POWER9 with GCC 7.3.0. Regression tested with Ada on x86_64. Regression tested with native-extended-gdbserver target board. gdb/ChangeLog: * eval.c (evaluate_subexp_standard): Call Fortran argument wrapping logic. * f-lang.c (struct value): A value which can be passed into a Fortran function call. (fortran_argument_convert): Wrap Fortran arguments in a pointer where appropriate. (struct type): Value ready for a Fortran function call. (fortran_preserve_arg_pointer): Undo check_typedef, the pointer is needed. * f-lang.h (fortran_argument_convert): Declaration. (fortran_preserve_arg_pointer): Declaration. * infcall.c (value_arg_coerce): Call Fortran argument logic. gdb/testsuite/ChangeLog: * gdb.fortran/function-calls.exp: New file. * gdb.fortran/function-calls.f90: New test.
104 lines
3.9 KiB
Plaintext
104 lines
3.9 KiB
Plaintext
# Copyright 2019 Free Software Foundation, Inc.
|
|
|
|
# This program is free software; you can redistribute it and/or modify
|
|
# it under the terms of the GNU General Public License as published by
|
|
# the Free Software Foundation; either version 3 of the License, or
|
|
# (at your option) any later version.
|
|
#
|
|
# This program is distributed in the hope that it will be useful,
|
|
# but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
# GNU General Public License for more details.
|
|
#
|
|
# You should have received a copy of the GNU General Public License
|
|
# along with this program. If not, see <http://www.gnu.org/licenses/> .
|
|
|
|
# Exercise passing and returning arguments in Fortran. This test case
|
|
# is based on the GNU Fortran Argument passing conventions.
|
|
|
|
if {[skip_fortran_tests]} { return -1 }
|
|
|
|
standard_testfile ".f90"
|
|
|
|
if {[prepare_for_testing ${testfile}.exp ${testfile} ${srcfile} {debug f90}]} {
|
|
return -1
|
|
}
|
|
|
|
if {![runto [gdb_get_line_number "post_init"]]} then {
|
|
perror "couldn't run to breakpoint post_init"
|
|
continue
|
|
}
|
|
|
|
# Use inspired by gdb.base/callfuncs.exp.
|
|
gdb_test_no_output "set unwindonsignal on"
|
|
|
|
# Baseline: function and subroutine call with no arguments.
|
|
gdb_test "p no_arg()" " = .TRUE."
|
|
gdb_test_no_output "call no_arg_subroutine()"
|
|
|
|
# Argument class: literal, inferior variable, convenience variable,
|
|
# function call return value, function.
|
|
# Paragraph 3: Variables are passed by reference.
|
|
gdb_test "p one_arg(.TRUE.)" " = .TRUE."
|
|
gdb_test "p one_arg(untrue)" " = .FALSE."
|
|
gdb_test_no_output "set \$var = .FALSE."
|
|
gdb_test "p one_arg(\$var)" " = .FALSE."
|
|
gdb_test "p one_arg(one_arg(.TRUE.))" " = .TRUE."
|
|
gdb_test "p one_arg(one_arg(.FALSE.))" " = .FALSE."
|
|
gdb_test_no_output "call run(no_arg_subroutine)"
|
|
|
|
# Return: constant.
|
|
gdb_test "p return_constant()" " = 17"
|
|
# Return derived type and call a function in a module.
|
|
gdb_test "p derived_types_and_module_calls::build_cart(7,8)" \
|
|
" = \\\( x = 7, y = 8 \\\)"
|
|
|
|
# Two hidden arguments. 1. returned string and 2. string length.
|
|
# Paragraph 1.
|
|
gdb_test "p return_string(returned_string_debugger, 40)" ""
|
|
gdb_test "p returned_string_debugger" "'returned in hidden first argument '"
|
|
|
|
# Argument type: real(kind=4), complex, array, pointer, derived type,
|
|
# derived type with allocatable, nested derived type.
|
|
# Paragraph 4: pointer.
|
|
gdb_test "p pointer_function(int_pointer)" " = 87"
|
|
# Paragraph 4: array.
|
|
gdb_test "call array_function(integer_array)" " = 17"
|
|
gdb_test "p derived_types_and_module_calls::pass_cart(c)" \
|
|
" = \\\( x = 2, y = 4 \\\)"
|
|
# Allocatable elements in a derived type. Technical report ISO/IEC 15581.
|
|
gdb_test "p derived_types_and_module_calls::pass_cart_nd(c_nd)" " = 4"
|
|
gdb_test "p derived_types_and_module_calls::pass_nested_cart(nested_c)" \
|
|
"= \\\( d = \\\( x = 1, y = 2 \\\), z = 3 \\\)"
|
|
# Result within some tolerance.
|
|
gdb_test "p real4_argument(real4)" " = 3.${decimal}"
|
|
|
|
# Paragraph 2. Complex argument and return.
|
|
gdb_test "p complex_argument(fft)" " = \\\(2.${decimal},3.${decimal}\\\)"
|
|
|
|
# Function with optional arguments.
|
|
# Paragraph 10: Option reference arguments.
|
|
gdb_test "p sum_some(1,2,3)" " = 6"
|
|
|
|
# There is currently no mechanism to call a function without all
|
|
# optional parameters present.
|
|
setup_kfail "gdb/24147" *-*-*
|
|
gdb_test "p sum_some(1,2)" " = 3"
|
|
|
|
# Paragraph 10: optional value arguments. There is insufficient DWARF
|
|
# information to reliably make this case work.
|
|
setup_kfail "gdb/24305" *-*-*
|
|
gdb_test "p one_arg_value(10)" " = 10"
|
|
|
|
# DW_AT_artificial formal parameters must be passed manually. This
|
|
# assert will fail if the length of the string is wrapped in a pointer.
|
|
# Paragraph 7: Character type.
|
|
gdb_test "p hidden_string_length('arbitrary string', 16)" " = 16"
|
|
|
|
# Several arguments.
|
|
gdb_test "p several_arguments(2, 3, 5)" " = 10"
|
|
gdb_test "p mix_of_scalar_arguments(5, .TRUE., 3.5)" " = 9"
|
|
|
|
# Calling other functions: Recursive call.
|
|
gdb_test "p fibonacci(6)" " = 8"
|