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 | |
parent | 561b239327842ca4f21bdbb6535e629b907355e4 (diff) | |
download | gcc-a26f6a6aad719128011bb66f686392b6fca2a823.zip gcc-a26f6a6aad719128011bb66f686392b6fca2a823.tar.gz gcc-a26f6a6aad719128011bb66f686392b6fca2a823.tar.bz2 |
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.
-rw-r--r-- | gcc/ada/sem_util.adb | 12 | ||||
-rw-r--r-- | gcc/ada/sem_util.ads | 4 |
2 files changed, 0 insertions, 16 deletions
diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index cb0cbf2..ef591c9 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 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 |