From: Piotr Trojanek <troja...@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
