DWARF - support for arrays whose bound is a discriminant

Joel Brobecker brobecker@adacore.com
Thu Jan 15 10:00:00 GMT 2015


Hello,

This patch series enhances the debugger to properly handle the case
where an array is declared inside a record, and some of its bounds
are a discriminant. Eg:

       type Array_Type is array (Integer range <>) of Integer;
       type Record_Type (N : Integer) is record
          A : Array_Type (1 .. N);
       end record;

We already properly support these kinds of objects in Ada, but
only through the use of GNAT-specific encodings. What this set
of patches does is add support from pure-DWARF constructs, with
the intent of slowly phasing out those encodings.

Patch #1 & #2 are only prep-patches making sense on their own,
which plug some holes that patch #3 uncover. The testcase for
patch #1 is the same as for patch #3.

Each patch has been tested individually on x86_64-linux, with
no regression.

Thank you,
-- 
Joel



More information about the Gdb-patches mailing list