[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.

diff --git a/gcc/ada/sem_aux.adb b/gcc/ada/sem_aux.adb
index 63e94b4cbb1dde99c355dd3f5c7f906635c1d154..0cd538ae9d528fb61e0b55af66a493c1317310f7 100644 (file)
--- 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 6f0d75e6d58dff5cd5b9f28baf84c13507994fe9..41ce3f0aad42c9fd63f41af7e6ca0ec2f31e6143 100644 (file)
--- 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