From: Tom Tromey <tromey@adacore.com>
To: gdb-patches@sourceware.org
Subject: [PATCH 2/2] Refine Ada overload matching
Date: Tue, 05 Dec 2023 08:37:13 -0700 [thread overview]
Message-ID: <20231205-ada-overload-v1-2-9d97ac80a60e@adacore.com> (raw)
In-Reply-To: <20231205-ada-overload-v1-0-9d97ac80a60e@adacore.com>
Currently, the overload handling in Ada assumes that any two array
types are compatible. However, this is obviously untrue, and a user
reported an oddity where comparing two Ada strings resulted in a call
to the "=" function for packed boolean arrays.
This patch improves the situation somewhat, by requiring that the two
arrays have the same arity and compatible base element types. This is
still over-broad, but it seems safe and is better than the status quo.
---
gdb/ada-lang.c | 45 ++++++++++++++++++++-------
gdb/testsuite/gdb.ada/overloads.exp | 33 ++++++++++++++++++++
gdb/testsuite/gdb.ada/overloads/overloads.adb | 41 ++++++++++++++++++++++++
3 files changed, 108 insertions(+), 11 deletions(-)
diff --git a/gdb/ada-lang.c b/gdb/ada-lang.c
index 9d5c8d5534b..ac50ba5838c 100644
--- a/gdb/ada-lang.c
+++ b/gdb/ada-lang.c
@@ -3930,9 +3930,35 @@ ada_resolve_variable (struct symbol *sym, const struct block *block,
return candidates[i];
}
-/* Return non-zero if formal type FTYPE matches actual type ATYPE. */
-/* The term "match" here is rather loose. The match is heuristic and
- liberal. */
+static bool ada_type_match (struct type *ftype, struct type *atype);
+
+/* Helper for ada_type_match that checks that two array types are
+ compatible. As with that function, FTYPE is the formal type and
+ ATYPE is the actual type. */
+
+static bool
+ada_type_match_arrays (struct type *ftype, struct type *atype)
+{
+ if (ftype->code () != TYPE_CODE_ARRAY
+ && !ada_is_array_descriptor_type (ftype))
+ return false;
+ if (atype->code () != TYPE_CODE_ARRAY
+ && !ada_is_array_descriptor_type (atype))
+ return false;
+
+ if (ada_array_arity (ftype) != ada_array_arity (atype))
+ return false;
+
+ struct type *f_elt_type = ada_array_element_type (ftype, -1);
+ struct type *a_elt_type = ada_array_element_type (atype, -1);
+ return ada_type_match (f_elt_type, a_elt_type);
+}
+
+/* Return non-zero if formal type FTYPE matches actual type ATYPE.
+ The term "match" here is rather loose. The match is heuristic and
+ liberal -- while it tries to reject matches that are obviously
+ incorrect, it may still let through some that do not strictly
+ correspond to Ada rules. */
static bool
ada_type_match (struct type *ftype, struct type *atype)
@@ -3970,18 +3996,15 @@ ada_type_match (struct type *ftype, struct type *atype)
return false;
}
- case TYPE_CODE_ARRAY:
- return (atype->code () == TYPE_CODE_ARRAY
- || ada_is_array_descriptor_type (atype));
-
case TYPE_CODE_STRUCT:
- if (ada_is_array_descriptor_type (ftype))
- return (atype->code () == TYPE_CODE_ARRAY
- || ada_is_array_descriptor_type (atype));
- else
+ if (!ada_is_array_descriptor_type (ftype))
return (atype->code () == TYPE_CODE_STRUCT
&& !ada_is_array_descriptor_type (atype));
+ [[fallthrough]];
+ case TYPE_CODE_ARRAY:
+ return ada_type_match_arrays (ftype, atype);
+
case TYPE_CODE_UNION:
case TYPE_CODE_FLT:
return (atype->code () == ftype->code ());
diff --git a/gdb/testsuite/gdb.ada/overloads.exp b/gdb/testsuite/gdb.ada/overloads.exp
new file mode 100644
index 00000000000..41749a3774f
--- /dev/null
+++ b/gdb/testsuite/gdb.ada/overloads.exp
@@ -0,0 +1,33 @@
+# Copyright 2021-2023 Free Software Foundation, Inc.
+#
+# This program is free software; you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation; either version 3 of the License, or
+# (at your option) any later version.
+#
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with this program. If not, see <http://www.gnu.org/licenses/>.
+
+load_lib "ada.exp"
+
+require allow_ada_tests
+
+standard_ada_testfile overloads
+
+if {[gdb_compile_ada "${srcfile}" "${binfile}" executable {debug}] != ""} {
+ return -1
+}
+
+clean_restart ${testfile}
+
+set bp_location [gdb_get_line_number "START" ${testdir}/overloads.adb]
+runto "overloads.adb:$bp_location"
+
+# Before the fix, these would show overload menus.
+gdb_test "print Oload(PA)" " = 23"
+gdb_test "print Oload(CA)" " = 91"
diff --git a/gdb/testsuite/gdb.ada/overloads/overloads.adb b/gdb/testsuite/gdb.ada/overloads/overloads.adb
new file mode 100644
index 00000000000..698d662712b
--- /dev/null
+++ b/gdb/testsuite/gdb.ada/overloads/overloads.adb
@@ -0,0 +1,41 @@
+-- Copyright 2023 Free Software Foundation, Inc.
+--
+-- This program is free software; you can redistribute it and/or modify
+-- it under the terms of the GNU General Public License as published by
+-- the Free Software Foundation; either version 3 of the License, or
+-- (at your option) any later version.
+--
+-- This program is distributed in the hope that it will be useful,
+-- but WITHOUT ANY WARRANTY; without even the implied warranty of
+-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+-- GNU General Public License for more details.
+--
+-- You should have received a copy of the GNU General Public License
+-- along with this program. If not, see <http://www.gnu.org/licenses/>.
+
+procedure Overloads is
+
+ type Packed_Array is array (4 .. 7) of Boolean;
+ pragma pack (Packed_Array);
+
+ type Char_Array is array (1 .. 4) of Character;
+
+ function Oload (P : Packed_Array) return Integer is
+ begin
+ return 23;
+ end Oload;
+
+ function Oload (C : Char_Array) return Integer is
+ begin
+ return 91;
+ end Oload;
+
+ PA : Packed_Array := (True, False, True, False);
+ CA : Char_Array := ('A', 'B', 'C', 'D');
+
+ B1 : constant Integer := Oload (PA);
+ B2 : constant Integer := Oload (CA);
+
+begin
+ null; -- START
+end Overloads;
--
2.43.0
next prev parent reply other threads:[~2023-12-05 15:37 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-12-05 15:37 [PATCH 0/2] Improve Ada overload handling Tom Tromey
2023-12-05 15:37 ` [PATCH 1/2] Boolify ada_type_match Tom Tromey
2023-12-05 15:37 ` Tom Tromey [this message]
2023-12-15 19:34 ` [PATCH 0/2] Improve Ada overload handling Tom Tromey
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=20231205-ada-overload-v1-2-9d97ac80a60e@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;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).