Code cleanup related to itypes for Ada 2022 null array aggregates.
Remove routine that was added in 2011 but is not referenced by
GNATprove since 2015.
Tested on x86_64-pc-linux-gnu, committed on trunk
gcc/ada/
* sem_util.ads (Itype_Has_Declaration): Remove spec.
* sem_util.adb (Itype_Has_Declaration): Remove body.diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb
--- a/gcc/ada/sem_util.adb
+++ b/gcc/ada/sem_util.adb
@@ -22167,19 +22167,6 @@ package body Sem_Util is
pragma Assert (No (Actual));
end Iterate_Call_Parameters;
- ---------------------------
- -- Itype_Has_Declaration --
- ---------------------------
-
- function Itype_Has_Declaration (Id : Entity_Id) return Boolean is
- begin
- pragma Assert (Is_Itype (Id));
- return Present (Parent (Id))
- and then Nkind (Parent (Id)) in
- N_Full_Type_Declaration | N_Subtype_Declaration
- and then Defining_Entity (Parent (Id)) = Id;
- end Itype_Has_Declaration;
-
-------------------------
-- Kill_Current_Values --
-------------------------
diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads
--- a/gcc/ada/sem_util.ads
+++ b/gcc/ada/sem_util.ads
@@ -2561,11 +2561,6 @@ package Sem_Util is
-- Calls Handle_Parameter for each pair of formal and actual parameters of
-- a function, procedure, or entry call.
- function Itype_Has_Declaration (Id : Entity_Id) return Boolean;
- -- Applies to Itypes. True if the Itype is attached to a declaration for
- -- the type through its Parent field, which may or not be present in the
- -- tree.
-
procedure Kill_Current_Values (Last_Assignment_Only : Boolean := False);
-- This procedure is called to clear all constant indications from all
-- entities in the current scope and in any parent scopes if the current
