diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-02-27 17:48:42 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-10 09:34:56 -0400 |
| commit | bbfd4f21c04a7e41c68e1841fcbd97853a94eb40 (patch) | |
| tree | 900f19fdc08b469a298aa533f69f81f554e6d6fe /gcc | |
| parent | 640ef7149ec24b61b0a1dcb642d59cb29c7e9983 (diff) | |
| download | gcc-bbfd4f21c04a7e41c68e1841fcbd97853a94eb40.zip gcc-bbfd4f21c04a7e41c68e1841fcbd97853a94eb40.tar.gz gcc-bbfd4f21c04a7e41c68e1841fcbd97853a94eb40.tar.bz2 | |
[Ada] Remove unreferenced GNATprove utility routine Get_Low_Bound
2020-06-10 Piotr Trojanek <trojanek@adacore.com>
gcc/ada/
* sem_aux.ads, sem_aux.adb (Get_Low_Bound): Remove.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/sem_aux.adb | 13 | ||||
| -rw-r--r-- | gcc/ada/sem_aux.ads | 3 |
2 files changed, 0 insertions, 16 deletions
diff --git a/gcc/ada/sem_aux.adb b/gcc/ada/sem_aux.adb index 63e94b4..0cd538a 100644 --- a/gcc/ada/sem_aux.adb +++ b/gcc/ada/sem_aux.adb @@ -485,19 +485,6 @@ package body Sem_Aux is return Id; end Get_Called_Entity; - ------------------- - -- Get_Low_Bound -- - ------------------- - - function Get_Low_Bound (E : Entity_Id) return Node_Id is - begin - if Ekind (E) = E_String_Literal_Subtype then - return String_Literal_Low_Bound (E); - else - return Type_Low_Bound (E); - end if; - end Get_Low_Bound; - ------------------ -- Get_Rep_Item -- ------------------ diff --git a/gcc/ada/sem_aux.ads b/gcc/ada/sem_aux.ads index 6f0d75e..41ce3f0 100644 --- a/gcc/ada/sem_aux.ads +++ b/gcc/ada/sem_aux.ads @@ -165,9 +165,6 @@ package Sem_Aux is -- Obtain the entity of the entry, operator, or subprogram being invoked -- by call Call. - function Get_Low_Bound (E : Entity_Id) return Node_Id; - -- For an index subtype or string literal subtype, returns its low bound - function Get_Unary_Nkind (Op : Entity_Id) return Node_Kind; -- Op must be an entity with an Ekind of E_Operator. This function returns -- the Nkind value that would be used to construct a unary operator node |