* [COMMITTED] ada: Remove unreferenced utility routine Is_Actual_Tagged_Parameter
@ 2023-05-22 8:50 Marc Poulhiès
0 siblings, 0 replies; only message in thread
From: Marc Poulhiès @ 2023-05-22 8:50 UTC (permalink / raw)
To: gcc-patches; +Cc: Piotr Trojanek
From: Piotr Trojanek <trojanek@adacore.com>
Routine Is_Actual_Tagged_Parameter was added to detect unsupported SPARK
2005 constructs, but this feature was deconstructed in favor of SPARK
2014 and its SPARK_Mode aspects.
gcc/ada/
* sem_util.ads (Is_Actual_Tagged_Parameter): Remove spec.
* sem_util.adb (Is_Actual_Tagged_Parameter): Remove body.
Tested on x86_64-pc-linux-gnu, committed on master.
---
gcc/ada/sem_util.adb | 12 ------------
gcc/ada/sem_util.ads | 4 ----
2 files changed, 16 deletions(-)
diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb
index cb0cbf2cf3a..ef591c935eb 100644
--- a/gcc/ada/sem_util.adb
+++ b/gcc/ada/sem_util.adb
@@ -15235,18 +15235,6 @@ package body Sem_Util is
end case;
end Is_Actual_Parameter;
- --------------------------------
- -- Is_Actual_Tagged_Parameter --
- --------------------------------
-
- function Is_Actual_Tagged_Parameter (N : Node_Id) return Boolean is
- Formal : Entity_Id;
- Call : Node_Id;
- begin
- Find_Actual (N, Formal, Call);
- return Present (Formal) and then Is_Tagged_Type (Etype (Formal));
- end Is_Actual_Tagged_Parameter;
-
---------------------
-- Is_Aliased_View --
---------------------
diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads
index 060d04241d3..7bb8cdbe3f3 100644
--- a/gcc/ada/sem_util.ads
+++ b/gcc/ada/sem_util.ads
@@ -1759,10 +1759,6 @@ package Sem_Util is
function Is_Actual_Parameter (N : Node_Id) return Boolean;
-- Determines if N is an actual parameter in a subprogram or entry call
- function Is_Actual_Tagged_Parameter (N : Node_Id) return Boolean;
- -- Determines if N is an actual parameter of a formal of tagged type in a
- -- subprogram call.
-
function Is_Aliased_View (Obj : Node_Id) return Boolean;
-- Determine if Obj is an aliased view, i.e. the name of an object to which
-- 'Access or 'Unchecked_Access can apply. Note that this routine uses the
--
2.40.0
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2023-05-22 8:50 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-05-22 8:50 [COMMITTED] ada: Remove unreferenced utility routine Is_Actual_Tagged_Parameter 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).