ada:

[pf3gnuchains/gcc-fork.git] / gcc / ada / sem_case.ads

diff --git a/gcc/ada/sem_case.ads b/gcc/ada/sem_case.ads
index 78ae7c6..ccee41f 100644 (file)
--- a/gcc/ada/sem_case.ads
+++ b/gcc/ada/sem_case.ads
@@ -34,16 +34,6 @@ with Types; use Types;
 
 package Sem_Case is
 
-   type Choice_Bounds is record
-     Lo   : Node_Id;
-     Hi   : Node_Id;
-     Node : Node_Id;
-   end record;
-
-   type Choice_Table_Type is array (Pos range <>) of Choice_Bounds;
-   --  Table type used to sort the choices present in a case statement,
-   --  array aggregate or record variant.
-
    procedure No_OP (C : Node_Id);
    --  The no-operation routine. Does absolutely nothing. Can be used
    --  in the following generic for the parameter Process_Empty_Choice.
@@ -75,16 +65,9 @@ package Sem_Case is
 
    package Generic_Choices_Processing is
 
-      function Number_Of_Choices (N : Node_Id) return Nat;
-      --  Iterates through the choices of N, (N can be a case expression, case
-      --  statement, array aggregate or record variant), counting all the
-      --  Choice nodes except for the Others choice.
-
       procedure Analyze_Choices
         (N              : Node_Id;
          Subtyp         : Entity_Id;
-         Choice_Table   : out Choice_Table_Type;
-         Last_Choice    : out Nat;
          Raises_CE      : out Boolean;
          Others_Present : out Boolean);
       --  From a case expression, case statement, array aggregate or record
@@ -92,23 +75,6 @@ package Sem_Case is
       --  choices. Subtyp is the subtype of the discrete choices. The type
       --  against which the discrete choices must be resolved is its base type.
       --
-      --  On entry Choice_Table must be big enough to contain all the discrete
-      --  choices encountered. The lower bound of Choice_Table must be one.
-      --
-      --  On exit Choice_Table contains all the static and non empty discrete
-      --  choices in sorted order. Last_Choice gives the position of the last
-      --  valid choice in Choice_Table, Choice_Table'First contains the first.
-      --  We can have Last_Choice < Choice_Table'Last for one (or several) of
-      --  the following reasons:
-      --
-      --    (a) The list of choices contained a non static choice
-      --
-      --    (b) The list of choices contained an empty choice
-      --        (something like "1 .. 0 => ")
-      --
-      --    (c) One of the bounds of a discrete choice contains an
-      --        error or raises constraint error.
-      --
       --  In one of the bounds of a discrete choice raises a constraint
       --  error the flag Raise_CE is set.
       --