From a26f6a6aad719128011bb66f686392b6fca2a823 Mon Sep 17 00:00:00 2001 From: Piotr Trojanek Date: Fri, 3 Feb 2023 15:57:28 +0100 Subject: 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. --- gcc/ada/sem_util.ads | 4 ---- 1 file changed, 4 deletions(-) (limited to 'gcc/ada/sem_util.ads') diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads index 060d042..7bb8cdb 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 -- cgit v1.1