From: Tom Tromey <tromey@adacore.com>
To: gdb-patches@sourceware.org
Cc: Tom Tromey <tromey@adacore.com>
Subject: [PATCH 2/9] Fix decoding of multi-dimensional constrained packed arrays
Date: Wed, 30 Sep 2020 14:05:53 -0600 [thread overview]
Message-ID: <20200930200600.1207702-3-tromey@adacore.com> (raw)
In-Reply-To: <20200930200600.1207702-1-tromey@adacore.com>
Printing a multi-dimensional constrained packed array in Ada would not
show the correct values. The bug here is that, when decoding the type
of such an array, only the innermost dimension's element bitsize would
be correct. For outer dimensions, the bitsize must account for the
size of each sub-array, but this was not done.
This patch fixes the problem by arranging to compute these sizes after
decoding the array type. I've included a bit more test case than is
strictly necessary -- the current test here was derived from an
internal test, and this patch brings the two into sync.
2020-09-30 Tom Tromey <tromey@adacore.com>
* ada-lang.c (recursively_update_array_bitsize): New function.
(decode_constrained_packed_array_type): Call it.
gdb/testsuite/ChangeLog
2020-09-30 Tom Tromey <tromey@adacore.com>
* gdb.ada/enum_idx_packed.exp: Add tests.
* gdb.ada/enum_idx_packed/foo.adb: Add variables.
* gdb.ada/enum_idx_packed/pck.adb: Add functions.
* gdb.ada/enum_idx_packed/pck.ads: Add types, function
declarations.
---
gdb/ChangeLog | 5 ++
gdb/ada-lang.c | 41 ++++++++++++++++
gdb/testsuite/ChangeLog | 8 ++++
gdb/testsuite/gdb.ada/enum_idx_packed.exp | 48 +++++++++++++++++++
gdb/testsuite/gdb.ada/enum_idx_packed/foo.adb | 12 ++++-
gdb/testsuite/gdb.ada/enum_idx_packed/pck.adb | 40 ++++++++++++++++
gdb/testsuite/gdb.ada/enum_idx_packed/pck.ads | 24 ++++++++++
7 files changed, 176 insertions(+), 2 deletions(-)
diff --git a/gdb/ada-lang.c b/gdb/ada-lang.c
index b4b7e838114..624e4ad702b 100644
--- a/gdb/ada-lang.c
+++ b/gdb/ada-lang.c
@@ -2157,6 +2157,35 @@ decode_constrained_packed_array_type (struct type *type)
return constrained_packed_array_type (shadow_type, &bits);
}
+/* Helper function for decode_constrained_packed_array. Set the field
+ bitsize on a series of packed arrays. Returns the number of
+ elements in TYPE. */
+
+static LONGEST
+recursively_update_array_bitsize (struct type *type)
+{
+ gdb_assert (type->code () == TYPE_CODE_ARRAY);
+
+ LONGEST low, high;
+ if (get_discrete_bounds (type->index_type (), &low, &high) < 0
+ || low > high)
+ return 0;
+ LONGEST our_len = high - low + 1;
+
+ struct type *elt_type = TYPE_TARGET_TYPE (type);
+ if (elt_type->code () == TYPE_CODE_ARRAY)
+ {
+ LONGEST elt_len = recursively_update_array_bitsize (elt_type);
+ LONGEST elt_bitsize = elt_len * TYPE_FIELD_BITSIZE (elt_type, 0);
+ TYPE_FIELD_BITSIZE (type, 0) = elt_bitsize;
+
+ TYPE_LENGTH (type) = ((our_len * elt_bitsize + HOST_CHAR_BIT - 1)
+ / HOST_CHAR_BIT);
+ }
+
+ return our_len;
+}
+
/* Given that ARR is a struct value *indicating a GNAT constrained packed
array, returns a simple array that denotes that array. Its type is a
standard GDB array type except that the BITSIZEs of the array
@@ -2186,6 +2215,18 @@ decode_constrained_packed_array (struct value *arr)
return NULL;
}
+ /* Decoding the packed array type could not correctly set the field
+ bitsizes for any dimension except the innermost, because the
+ bounds may be variable and were not passed to that function. So,
+ we further resolve the array bounds here and then update the
+ sizes. */
+ const gdb_byte *valaddr = value_contents_for_printing (arr);
+ CORE_ADDR address = value_address (arr);
+ gdb::array_view<const gdb_byte> view
+ = gdb::make_array_view (valaddr, TYPE_LENGTH (type));
+ type = resolve_dynamic_type (type, view, address);
+ recursively_update_array_bitsize (type);
+
if (type_byte_order (value_type (arr)) == BFD_ENDIAN_BIG
&& ada_is_modular_type (value_type (arr)))
{
diff --git a/gdb/testsuite/gdb.ada/enum_idx_packed.exp b/gdb/testsuite/gdb.ada/enum_idx_packed.exp
index bfa091ec9a6..480de71b7c4 100644
--- a/gdb/testsuite/gdb.ada/enum_idx_packed.exp
+++ b/gdb/testsuite/gdb.ada/enum_idx_packed.exp
@@ -28,7 +28,55 @@ clean_restart ${testfile}
set bp_location [gdb_get_line_number "STOP" ${testdir}/foo.adb]
runto "foo.adb:$bp_location"
+gdb_test "ptype full" \
+ "type = array \\(black \\.\\. white\\) of boolean <packed: 1-bit elements>"
+
gdb_test "print full" " = \\(false, true, false, true, false\\)"
gdb_test "print full'first" " = black"
+gdb_test "ptype primary" \
+ "type = array \\(red \\.\\. blue\\) of boolean <packed: 1-bit elements>"
+
+gdb_test "print primary" " = \\(red => false, true, false\\)"
+
+gdb_test "print primary'first" " = red"
+
+gdb_test "ptype cold" \
+ "type = array \\(green \\.\\. blue\\) of boolean <packed: 1-bit elements>"
+
+gdb_test "print cold" " = \\(green => false, true\\)"
+
+gdb_test "print cold'first" " = green"
+
+# Note the bounds values are still not correctly displayed. So we get
+# the enum equivalent of "1 .. 0" (empty range) as the array ranges.
+# Accept that for now.
+gdb_test "ptype small" \
+ "array \\(red \\.\\. green\\) of boolean <packed: 1-bit elements>"
+
+gdb_test "print small" " = \\(red => false, true\\)"
+
+gdb_test "print small'first" " = red"
+
+gdb_test "ptype multi" \
+ "array \\(red \\.\\. green, low .. medium\\) of boolean <packed: 1-bit elements>"
+
+gdb_test "print multi" \
+ " = \\(red => \\(low => true, false\\), \\(low => true, false\\)\\)"
+
+gdb_test "print multi'first" " = red"
+
+set base "\\(true, false, true, false, true, false, true, false, true, false\\)"
+set matrix "\\("
+foreach x {1 2 3 4 5 6 7} {
+ if {$x > 1} {
+ append matrix ", "
+ }
+ append matrix $base
+}
+append matrix "\\)"
+
+gdb_test "print multi_multi" " = \\($matrix, $matrix\\)"
+gdb_test "print multi_multi(1,3)" " = $base"
+gdb_test "print multi_multi(2)" " = $matrix"
diff --git a/gdb/testsuite/gdb.ada/enum_idx_packed/foo.adb b/gdb/testsuite/gdb.ada/enum_idx_packed/foo.adb
index 6f142a18b00..e9f30747167 100644
--- a/gdb/testsuite/gdb.ada/enum_idx_packed/foo.adb
+++ b/gdb/testsuite/gdb.ada/enum_idx_packed/foo.adb
@@ -17,8 +17,16 @@ with Pck; use Pck;
procedure Foo is
Full : Full_Table := (False, True, False, True, False);
+ Primary : Primary_Table := (False, True, False);
+ Cold : Cold_Table := (False, True);
+ Small : Small_Table := New_Small_Table (Low => Red, High => Green);
+ Multi : Multi_Table := New_Multi_Table (Red, Green, Low, Medium);
+ Multi_Multi : Multi_Multi_Table := New_Multi_Multi_Table (1, 2, 1, 7, 1, 10);
begin
Do_Nothing (Full'Address); -- STOP
+ Do_Nothing (Primary'Address);
+ Do_Nothing (Cold'Address);
+ Do_Nothing (Small'Address);
+ Do_Nothing (Multi'Address);
+ Do_Nothing (Multi_Multi'Address);
end Foo;
-
-
diff --git a/gdb/testsuite/gdb.ada/enum_idx_packed/pck.adb b/gdb/testsuite/gdb.ada/enum_idx_packed/pck.adb
index 5b18de9952b..a4e04747526 100644
--- a/gdb/testsuite/gdb.ada/enum_idx_packed/pck.adb
+++ b/gdb/testsuite/gdb.ada/enum_idx_packed/pck.adb
@@ -14,6 +14,46 @@
-- along with this program. If not, see <http://www.gnu.org/licenses/>.
package body Pck is
+
+ function New_Small_Table (Low: Color; High: Color) return Small_Table is
+ Result : Small_Table (Low .. High);
+ begin
+ for J in Low .. High loop
+ Result (J) := (J = Black or J = Green or J = White);
+ end loop;
+ return Result;
+ end New_Small_Table;
+
+ function New_Multi_Table (Low, High: Color; LS, HS: Strength)
+ return Multi_Table is
+ Result : Multi_Table (Low .. High, LS .. HS);
+ Next : Boolean := True;
+ begin
+ for J in Low .. High loop
+ for K in LS .. HS loop
+ Result (J, K) := Next;
+ Next := not Next;
+ end loop;
+ end loop;
+ return Result;
+ end New_Multi_Table;
+
+ function New_Multi_Multi_Table (L1, H1, L2, H2, L3, H3: Positive)
+ return Multi_Multi_Table is
+ Result : Multi_Multi_Table (L1 .. H1, L2 .. H2, L3 .. H3);
+ Next : Boolean := True;
+ begin
+ for J in L1 .. H1 loop
+ for K in L2 .. H2 loop
+ for L in L3 .. H3 loop
+ Result (J, K, L) := Next;
+ Next := not Next;
+ end loop;
+ end loop;
+ end loop;
+ return Result;
+ end New_Multi_Multi_Table;
+
procedure Do_Nothing (A : System.Address) is
begin
null;
diff --git a/gdb/testsuite/gdb.ada/enum_idx_packed/pck.ads b/gdb/testsuite/gdb.ada/enum_idx_packed/pck.ads
index c8f5b00d5c0..fdfd8bbc4c6 100644
--- a/gdb/testsuite/gdb.ada/enum_idx_packed/pck.ads
+++ b/gdb/testsuite/gdb.ada/enum_idx_packed/pck.ads
@@ -16,8 +16,32 @@
with System;
package Pck is
type Color is (Black, Red, Green, Blue, White);
+ type Strength is (None, Low, Medium, High);
+
type Full_Table is array (Color) of Boolean;
pragma Pack (Full_Table);
+ subtype Primary_Color is Color range Red .. Blue;
+ type Primary_Table is array (Primary_Color) of Boolean;
+ pragma Pack (Primary_Table);
+
+ type Cold_Color is new Color range Green .. Blue;
+ type Cold_Table is array (Cold_Color) of Boolean;
+ pragma Pack (Cold_Table);
+
+ type Small_Table is array (Color range <>) of Boolean;
+ pragma Pack (Small_Table);
+ function New_Small_Table (Low: Color; High: Color) return Small_Table;
+
+ type Multi_Table is array (Color range <>, Strength range <>) of Boolean;
+ pragma Pack (Multi_Table);
+ function New_Multi_Table (Low, High: Color; LS, HS: Strength)
+ return Multi_Table;
+
+ type Multi_Multi_Table is array (Positive range <>, Positive range <>, Positive range <>) of Boolean;
+ pragma Pack (Multi_Multi_Table);
+ function New_Multi_Multi_Table (L1, H1, L2, H2, L3, H3: Positive)
+ return Multi_Multi_Table;
+
procedure Do_Nothing (A : System.Address);
end Pck;
--
2.26.2
next prev parent reply other threads:[~2020-09-30 20:06 UTC|newest]
Thread overview: 20+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-09-30 20:05 [PATCH 0/9] Fix most -fgnat-encodings=minimal failures Tom Tromey
2020-09-30 20:05 ` [PATCH 1/9] Avoid crash in ada-lang.c:to_fixed_array_type Tom Tromey
2020-09-30 20:05 ` Tom Tromey [this message]
2020-09-30 20:05 ` [PATCH 3/9] Synthesize array descriptors with -fgnat-encodings=minimal Tom Tromey
2020-11-06 12:08 ` Luis Machado via Gdb-patches
2020-11-06 17:55 ` Tom Tromey
2020-09-30 20:05 ` [PATCH 4/9] Reject slicing a packed array Tom Tromey
2020-09-30 20:05 ` [PATCH 5/9] Resolve dynamic type in ada_value_struct_elt Tom Tromey
2020-09-30 20:05 ` [PATCH 6/9] Fix bit strides for -fgnat-encodings=minimal Tom Tromey
2020-09-30 20:05 ` [PATCH 7/9] Only use stride for final element type Tom Tromey
2020-09-30 20:05 ` [PATCH 8/9] Use bit stride when taking slice of array Tom Tromey
2020-09-30 20:06 ` [PATCH 9/9] Recognize names of array types Tom Tromey
2020-11-04 15:49 ` [PATCH 0/9] Fix most -fgnat-encodings=minimal failures Tom Tromey
2020-11-04 16:33 ` Tom de Vries
2020-11-04 17:20 ` Tom de Vries
2020-11-04 18:52 ` Tom Tromey
2020-11-04 19:54 ` Tom de Vries
2020-11-16 14:32 ` Tom de Vries
2020-11-16 14:01 ` [PATCH][gdb/testsuite] Fix minimal encodings KPASSes Tom de Vries
2020-11-23 19:10 ` [committed][gdb/testsuite] " Tom de Vries
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20200930200600.1207702-3-tromey@adacore.com \
--to=tromey@adacore.com \
--cc=gdb-patches@sourceware.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox