* [COMMITTED] ada: Follow-up improvement to implementation of storage models
@ 2023-05-16 8:40 Marc Poulhiès
0 siblings, 0 replies; only message in thread
From: Marc Poulhiès @ 2023-05-16 8:40 UTC (permalink / raw)
To: gcc-patches; +Cc: Eric Botcazou
From: Eric Botcazou <ebotcazou@adacore.com>
It avoids to recreate an actual subtype for an explicit dereference.
gcc/ada/
* sem_util.adb (Get_Actual_Subtype): For an explicit dereference,
return the Actual_Designated_Subtype if it is present.
(Get_Actual_Subtype_If_Available): Likewise.
Tested on x86_64-pc-linux-gnu, committed on master.
---
gcc/ada/sem_util.adb | 16 ++++++++++++++++
1 file changed, 16 insertions(+)
diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb
index 8bce0229867..ad74de6b6f6 100644
--- a/gcc/ada/sem_util.adb
+++ b/gcc/ada/sem_util.adb
@@ -10017,6 +10017,14 @@ package body Sem_Util is
then
return Actual_Subtype (Entity (N));
+ -- Similarly, if we have an explicit dereference, then we get the
+ -- actual subtype from the node itself if one has been built.
+
+ elsif Nkind (N) = N_Explicit_Dereference
+ and then Present (Actual_Designated_Subtype (N))
+ then
+ return Actual_Designated_Subtype (N);
+
-- Actual subtype of unchecked union is always itself. We never need
-- the "real" actual subtype. If we did, we couldn't get it anyway
-- because the discriminant is not available. The restrictions on
@@ -10130,6 +10138,14 @@ package body Sem_Util is
then
return Actual_Subtype (Entity (N));
+ -- Similarly, if we have an explicit dereference, then we get the
+ -- actual subtype from the node itself if one has been built.
+
+ elsif Nkind (N) = N_Explicit_Dereference
+ and then Present (Actual_Designated_Subtype (N))
+ then
+ return Actual_Designated_Subtype (N);
+
-- Otherwise the Etype of N is returned unchanged
else
--
2.40.0
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2023-05-16 8:40 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-05-16 8:40 [COMMITTED] ada: Follow-up improvement to implementation of storage models Marc Poulhiès
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).