From: Piotr Trojanek Date: Fri, 3 Feb 2023 14:57:28 +0000 (+0100) Subject: ada: Remove unreferenced utility routine Is_Actual_Tagged_Parameter X-Git-Tag: basepoints/gcc-15~9094 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a26f6a6aad719128011bb66f686392b6fca2a823;p=thirdparty%2Fgcc.git ada: Remove unreferenced utility routine Is_Actual_Tagged_Parameter 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. --- diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index cb0cbf2cf3a8..ef591c935eb2 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 060d04241d37..7bb8cdbe3f38 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