diff options
Diffstat (limited to 'gcc/ada/sem_case.ads')
-rw-r--r-- | gcc/ada/sem_case.ads | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/gcc/ada/sem_case.ads b/gcc/ada/sem_case.ads index 78ae7c6..ccee41f 100644 --- 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. -- |