When debugging a mixed Ada/C program using this scenario:
authorXavier Roirand <roirand@adacore.com>
Wed, 8 May 2019 16:55:44 +0000 (12:55 -0400)
committerJoel Brobecker <brobecker@adacore.com>
Wed, 8 May 2019 17:41:54 +0000 (13:41 -0400)
commit2228ef7700e81bfedbffe352f3efa3716224cdbe
tree265633a11f7db56707a5542468c17b6ea16fa117
parent60fcc1c3d0d8f1e271b19210b1707b4aa589f273
When debugging a mixed Ada/C program using this scenario:

- set print frame-arguements all
- an Ada function named pck.call_me calls a C function named break_me
- you put a breakpoint in break_me and the program reaches this
  breakpoint.

Now display the backtrace:

  (gdb) bt
  #0  break_me () at [...]
  #1  0x000000000040243e in pck.call_me (
      s={P_ARRAY = 0x7fffffffe21c, P_BOUNDS = 0x41e6e8}) at [...]

whereas we should expect:

  (gdb) bt
  #0  break_me () at [...]
  #1  0x000000000040243e in pck.call_me (s="test") at [...]

The problem is that GDB prints the S parameter in the pck.call_me Ada
function using the current language, so the C one, because the program
is stopped in a C function, whereas it should use the pck.call_me frame
one. This behavior is ok when user manually changes the language but it's
not the right one when language is auto.

This patch fixes this problem so now when using auto language, all Ada
frame arguments are printed using Ada like syntax when the frame is part
of Ada code, even if the program is stopped in a frame using a different
language.

If the user explicitly sets a language (using "set language ...") then
no change here, all the Ada frame arguments are printed using this
language.

gdb/ChangeLog:

    * ada-valprint.c (ada_val_print_gnat_array): Remove language
    parameter and use Ada language definition instead.
    (ada_val_print_ptr): Remove unused language parameter.
    (ada_val_print_num): Remove language parameter and use Ada language
    definition instead.
    (ada_val_print_enum, ada_val_print_flt): Remove unused language
    parameter.
    (ada_val_print_struct_union, ada_val_print_ref): Remove language
    parameter and use Ada language definition instead.
    (ada_val_print_1): Update all ada_val_print_xxx calls.
    Remove language parameter.
    (ada_val_print): Update ada_val_print_1 call.

gdb/testsuite/ChangeLog:

    * gdb.ada/frame_arg_lang.exp: New testcase.
    * gdb.ada/frame_arg_lang/bla.adb: New file.
    * gdb.ada/frame_arg_lang/pck.ads: New file.
    * gdb.ada/frame_arg_lang/pck.adb: New file.
    * gdb.ada/frame_arg_lang/foo.c: New file.

Tested on x86_64-linux, no regressions.
gdb/ChangeLog
gdb/ada-valprint.c
gdb/testsuite/ChangeLog
gdb/testsuite/gdb.ada/frame_arg_lang.exp [new file with mode: 0644]
gdb/testsuite/gdb.ada/frame_arg_lang/bla.adb [new file with mode: 0644]
gdb/testsuite/gdb.ada/frame_arg_lang/foo.c [new file with mode: 0644]
gdb/testsuite/gdb.ada/frame_arg_lang/pck.adb [new file with mode: 0644]
gdb/testsuite/gdb.ada/frame_arg_lang/pck.ads [new file with mode: 0644]
This page took 0.036258 seconds and 4 git commands to generate.