Re: [RFA/sparc] "finish" does not work if function returns array.

[Mark Kettenis <mark.kettenis@xs4all.nl>]

> From: Joel Brobecker <brobecker@adacore.com>
> Date: Fri, 30 Apr 2010 15:30:20 -0700
> 
> This is something that is not explicitly covered by the ABI, which
> would explain why it's not covered by the code yet.  In Ada, functions
> can return arrays, for instance:
> 
>    type Data_Small is array (1 .. 2) of Integer;
>    function Create_Small return Data_Small;

Yeah, it's a serious problem that ABIs only tend to cover the C
language.

>  gdb/sparc-tdep.c   |    7 ++++++-
>  gdb/sparc64-tdep.c |    7 ++++++-
>  2 files changed, 12 insertions(+), 2 deletions(-)
> 
> diff --git a/gdb/sparc-tdep.c b/gdb/sparc-tdep.c
> index a2bae9f..f882505 100644
> --- a/gdb/sparc-tdep.c
> +++ b/gdb/sparc-tdep.c
> @@ -221,7 +221,11 @@ sparc_floating_p (const struct type *type)
>    return 0;
>  }
>  
> -/* Check whether TYPE is "Structure or Union".  */
> +/* Check whether TYPE is "Structure or Union".
> +
> +   In terms of subprogram calls, arrays are treated the same as struct
> +   and union types.  So this function also returns non-zero for array
> +   types.  */

Could you turn that into "In terms of Ada subprogram calls..."?