diff options
author | Piotr Trojanek <trojanek@adacore.com> | 2023-02-03 15:57:28 +0100 |
---|---|---|
committer | Marc Poulhiès <poulhies@adacore.com> | 2023-05-22 10:44:08 +0200 |
commit | a26f6a6aad719128011bb66f686392b6fca2a823 (patch) | |
tree | 289dbfef93fed50e628c9bf360081542d73eb166 /gcc/ada/sem_util.ads | |
parent | 561b239327842ca4f21bdbb6535e629b907355e4 (diff) |
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.
Diffstat (limited to 'gcc/ada/sem_util.ads')
-rw-r--r-- | gcc/ada/sem_util.ads | 4 |
1 files changed, 0 insertions, 4 deletions
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 |