]> git.ipfire.org Git - thirdparty/binutils-gdb.git/commit - gdb/ada-lang.c
[Ada] error trying to call function when parameter is aligner type.
authorJoel Brobecker <brobecker@adacore.com>
Fri, 30 Jan 2015 13:51:19 +0000 (08:51 -0500)
committerJoel Brobecker <brobecker@adacore.com>
Fri, 8 May 2015 15:51:43 +0000 (08:51 -0700)
commit8344af1e7bffd13add24bd02bc462d9389294fd2
treed13e567ecaabb26a5ab35c2a7c2b5111a9357c87
parent80b0912bff495fd51e34050637357aeb243eefbb
[Ada] error trying to call function when parameter is aligner type.

We observed on x86-windows that trying to call a function from
GDB leads to a mysterious "Invalid cast" error. This can be
observed in gdb.ada/float_param.exp:

   (gdb) call set_long_double(1, global_small_struct, 4.0)
   Invalid cast.

This happens because the 3rd parameter, a Long_Long_Float, is
actually passed wrapped inside a PAD structure. As documented
in GNAT's exp_dbug.ads, PAD types are simple wrappers that GNAT
uses to handle types with size or alignment constraints.

We already support those when printing an object encapsulated
in a PAD type, but not when trying to pass an argument that
is wrapped inside a PAD type.  As a result, what happens is that
call_function_by_hand ends up with an argument with a type
that looks incompatible with the expected type of the argument.
The error comes when trying to push the arguments in inferior
memory, while trying to coerce each one of them to their expected
types (in value_arg_coerce).

Note that the problem is not specific to Windows, but so far, this is
the only platform where we've seen this happen.

gdb/ChangeLog:

* ada-lang.c (ada_convert_actual): Add handling of formals
passed inside an aligner type.

Tested on x86-windows (AdaCore testsuite) and x86_64-linux (official
testsuite as well as AdaCore's testsuite).
gdb/ChangeLog
gdb/ada-lang.c