[Ada] Remove unreferenced GNATprove utility routine Get_Low_Bound

Message ID 20200610133540.GA80613@adacore.com
State New
Headers show
Series
  • [Ada] Remove unreferenced GNATprove utility routine Get_Low_Bound
Related show

Commit Message

Pierre-Marie de Rodat June 10, 2020, 1:35 p.m.
Routine Get_Low_Bound was added to frontend while moving utility
routines from the GNATprove backend, but it is no longer referenced.
(Surprisingly, there is no Get_High_Bound routine anywhere).

Tested on x86_64-pc-linux-gnu, committed on trunk

2020-06-10  Piotr Trojanek  <trojanek@adacore.com>

gcc/ada/

	* sem_aux.ads, sem_aux.adb (Get_Low_Bound): Remove.

Patch

--- gcc/ada/sem_aux.adb
+++ 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 --
    ------------------

--- gcc/ada/sem_aux.ads
+++ 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