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 cb0cbf2cf3a85fa45dc7c299466dbdb8a76b0130..ef591c935eb275e4aca0259d2f2294e89e3b94c5 100644 (file)
--- 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 060d04241d37b3a6996c1f0b2df341fea0617fae..7bb8cdbe3f38eebb0581dfc11e7d80b6bd03687c 100644 (file)
--- 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