--- /dev/null
+package Case_Optimization_Pkg1 is
+
+ type Element is null record;
+
+ type Internal_Element_Kinds is
+ (Not_An_Element,
+ An_All_Calls_Remote_Pragma,
+ An_Asynchronous_Pragma,
+ An_Atomic_Pragma,
+ An_Atomic_Components_Pragma,
+ An_Attach_Handler_Pragma,
+ A_Controlled_Pragma,
+ A_Convention_Pragma,
+ A_Discard_Names_Pragma,
+ An_Elaborate_Pragma,
+ An_Elaborate_All_Pragma,
+ An_Elaborate_Body_Pragma,
+ An_Export_Pragma,
+ An_Import_Pragma,
+ An_Inline_Pragma,
+ An_Inspection_Point_Pragma,
+ An_Interrupt_Handler_Pragma,
+ An_Interrupt_Priority_Pragma,
+ A_Linker_Options_Pragma,
+ A_List_Pragma,
+ A_Locking_Policy_Pragma,
+ A_Normalize_Scalars_Pragma,
+ An_Optimize_Pragma,
+ A_Pack_Pragma,
+ A_Page_Pragma,
+ A_Preelaborate_Pragma,
+ A_Priority_Pragma,
+ A_Pure_Pragma,
+ A_Queuing_Policy_Pragma,
+ A_Remote_Call_Interface_Pragma,
+ A_Remote_Types_Pragma,
+ A_Restrictions_Pragma,
+ A_Reviewable_Pragma,
+ A_Shared_Passive_Pragma,
+ A_Storage_Size_Pragma,
+ A_Suppress_Pragma,
+ A_Task_Dispatching_Policy_Pragma,
+ A_Volatile_Pragma,
+ A_Volatile_Components_Pragma,
+ An_Assert_Pragma,
+ An_Assertion_Policy_Pragma,
+ A_Detect_Blocking_Pragma,
+ A_No_Return_Pragma,
+ A_Partition_Elaboration_Policy_Pragma,
+ A_Preelaborable_Initialization_Pragma,
+ A_Priority_Specific_Dispatching_Pragma,
+ A_Profile_Pragma,
+ A_Relative_Deadline_Pragma,
+ An_Unchecked_Union_Pragma,
+ An_Unsuppress_Pragma,
+ An_Implementation_Defined_Pragma,
+ An_Unknown_Pragma,
+ A_Defining_Identifier,
+ A_Defining_Character_Literal,
+ A_Defining_Enumeration_Literal,
+ A_Defining_And_Operator,
+ A_Defining_Or_Operator,
+ A_Defining_Xor_Operator,
+ A_Defining_Equal_Operator,
+ A_Defining_Not_Equal_Operator,
+ A_Defining_Less_Than_Operator,
+ A_Defining_Less_Than_Or_Equal_Operator,
+ A_Defining_Greater_Than_Operator,
+ A_Defining_Greater_Than_Or_Equal_Operator,
+ A_Defining_Plus_Operator,
+ A_Defining_Minus_Operator,
+ A_Defining_Concatenate_Operator,
+ A_Defining_Unary_Plus_Operator,
+ A_Defining_Unary_Minus_Operator,
+ A_Defining_Multiply_Operator,
+ A_Defining_Divide_Operator,
+ A_Defining_Mod_Operator,
+ A_Defining_Rem_Operator,
+ A_Defining_Exponentiate_Operator,
+ A_Defining_Abs_Operator,
+ A_Defining_Not_Operator,
+ A_Defining_Expanded_Name,
+ An_Ordinary_Type_Declaration,
+ A_Task_Type_Declaration,
+ A_Protected_Type_Declaration,
+ An_Incomplete_Type_Declaration,
+ A_Tagged_Incomplete_Type_Declaration,
+ A_Private_Type_Declaration,
+ A_Private_Extension_Declaration,
+ A_Subtype_Declaration,
+ A_Variable_Declaration,
+ A_Constant_Declaration,
+ A_Deferred_Constant_Declaration,
+ A_Single_Task_Declaration,
+ A_Single_Protected_Declaration,
+ An_Integer_Number_Declaration,
+ A_Real_Number_Declaration,
+ An_Enumeration_Literal_Specification,
+ A_Discriminant_Specification,
+ A_Component_Declaration,
+ A_Loop_Parameter_Specification,
+ A_Procedure_Declaration,
+ A_Function_Declaration,
+ A_Parameter_Specification,
+ A_Procedure_Body_Declaration,
+ A_Function_Body_Declaration,
+ A_Return_Object_Declaration,
+ A_Null_Procedure_Declaration,
+ A_Package_Declaration,
+ A_Package_Body_Declaration,
+ An_Object_Renaming_Declaration,
+ An_Exception_Renaming_Declaration,
+ A_Package_Renaming_Declaration,
+ A_Procedure_Renaming_Declaration,
+ A_Function_Renaming_Declaration,
+ A_Generic_Package_Renaming_Declaration,
+ A_Generic_Procedure_Renaming_Declaration,
+ A_Generic_Function_Renaming_Declaration,
+ A_Task_Body_Declaration,
+ A_Protected_Body_Declaration,
+ An_Entry_Declaration,
+ An_Entry_Body_Declaration,
+ An_Entry_Index_Specification,
+ A_Procedure_Body_Stub,
+ A_Function_Body_Stub,
+ A_Package_Body_Stub,
+ A_Task_Body_Stub,
+ A_Protected_Body_Stub,
+ An_Exception_Declaration,
+ A_Choice_Parameter_Specification,
+ A_Generic_Procedure_Declaration,
+ A_Generic_Function_Declaration,
+ A_Generic_Package_Declaration,
+ A_Package_Instantiation,
+ A_Procedure_Instantiation,
+ A_Function_Instantiation,
+ A_Formal_Object_Declaration,
+ A_Formal_Type_Declaration,
+ A_Formal_Procedure_Declaration,
+ A_Formal_Function_Declaration,
+ A_Formal_Package_Declaration,
+ A_Formal_Package_Declaration_With_Box,
+ A_Derived_Type_Definition,
+ A_Derived_Record_Extension_Definition,
+ An_Enumeration_Type_Definition,
+ A_Signed_Integer_Type_Definition,
+ A_Modular_Type_Definition,
+ A_Root_Integer_Definition,
+ A_Root_Real_Definition,
+ A_Universal_Integer_Definition,
+ A_Universal_Real_Definition,
+ A_Universal_Fixed_Definition,
+ A_Floating_Point_Definition,
+ An_Ordinary_Fixed_Point_Definition,
+ A_Decimal_Fixed_Point_Definition,
+ An_Unconstrained_Array_Definition,
+ A_Constrained_Array_Definition,
+ A_Record_Type_Definition,
+ A_Tagged_Record_Type_Definition,
+ An_Ordinary_Interface,
+ A_Limited_Interface,
+ A_Task_Interface,
+ A_Protected_Interface,
+ A_Synchronized_Interface,
+ A_Pool_Specific_Access_To_Variable,
+ An_Access_To_Variable,
+ An_Access_To_Constant,
+ An_Access_To_Procedure,
+ An_Access_To_Protected_Procedure,
+ An_Access_To_Function,
+ An_Access_To_Protected_Function,
+ A_Subtype_Indication,
+ A_Range_Attribute_Reference,
+ A_Simple_Expression_Range,
+ A_Digits_Constraint,
+ A_Delta_Constraint,
+ An_Index_Constraint,
+ A_Discriminant_Constraint,
+ A_Component_Definition,
+ A_Discrete_Subtype_Indication_As_Subtype_Definition,
+ A_Discrete_Range_Attribute_Reference_As_Subtype_Definition,
+ A_Discrete_Simple_Expression_Range_As_Subtype_Definition,
+ A_Discrete_Subtype_Indication,
+ A_Discrete_Range_Attribute_Reference,
+ A_Discrete_Simple_Expression_Range,
+ An_Unknown_Discriminant_Part,
+ A_Known_Discriminant_Part,
+ A_Record_Definition,
+ A_Null_Record_Definition,
+ A_Null_Component,
+ A_Variant_Part,
+ A_Variant,
+ An_Others_Choice,
+ An_Anonymous_Access_To_Variable,
+ An_Anonymous_Access_To_Constant,
+ An_Anonymous_Access_To_Procedure,
+ An_Anonymous_Access_To_Protected_Procedure,
+ An_Anonymous_Access_To_Function,
+ An_Anonymous_Access_To_Protected_Function,
+ A_Private_Type_Definition,
+ A_Tagged_Private_Type_Definition,
+ A_Private_Extension_Definition,
+ A_Task_Definition,
+ A_Protected_Definition,
+ A_Formal_Private_Type_Definition,
+ A_Formal_Tagged_Private_Type_Definition,
+ A_Formal_Derived_Type_Definition,
+ A_Formal_Discrete_Type_Definition,
+ A_Formal_Signed_Integer_Type_Definition,
+ A_Formal_Modular_Type_Definition,
+ A_Formal_Floating_Point_Definition,
+ A_Formal_Ordinary_Fixed_Point_Definition,
+ A_Formal_Decimal_Fixed_Point_Definition,
+ A_Formal_Ordinary_Interface,
+ A_Formal_Limited_Interface,
+ A_Formal_Task_Interface,
+ A_Formal_Protected_Interface,
+ A_Formal_Synchronized_Interface,
+ A_Formal_Unconstrained_Array_Definition,
+ A_Formal_Constrained_Array_Definition,
+ A_Formal_Pool_Specific_Access_To_Variable,
+ A_Formal_Access_To_Variable,
+ A_Formal_Access_To_Constant,
+ A_Formal_Access_To_Procedure,
+ A_Formal_Access_To_Protected_Procedure,
+ A_Formal_Access_To_Function,
+ A_Formal_Access_To_Protected_Function,
+ An_Integer_Literal,
+ A_Real_Literal,
+ A_String_Literal,
+ An_Identifier,
+ An_And_Operator,
+ An_Or_Operator,
+ An_Xor_Operator,
+ An_Equal_Operator,
+ A_Not_Equal_Operator,
+ A_Less_Than_Operator,
+ A_Less_Than_Or_Equal_Operator,
+ A_Greater_Than_Operator,
+ A_Greater_Than_Or_Equal_Operator,
+ A_Plus_Operator,
+ A_Minus_Operator,
+ A_Concatenate_Operator,
+ A_Unary_Plus_Operator,
+ A_Unary_Minus_Operator,
+ A_Multiply_Operator,
+ A_Divide_Operator,
+ A_Mod_Operator,
+ A_Rem_Operator,
+ An_Exponentiate_Operator,
+ An_Abs_Operator,
+ A_Not_Operator,
+ A_Character_Literal,
+ An_Enumeration_Literal,
+ An_Explicit_Dereference,
+ A_Function_Call,
+ An_Indexed_Component,
+ A_Slice,
+ A_Selected_Component,
+ An_Access_Attribute,
+ An_Address_Attribute,
+ An_Adjacent_Attribute,
+ An_Aft_Attribute,
+ An_Alignment_Attribute,
+ A_Base_Attribute,
+ A_Bit_Order_Attribute,
+ A_Body_Version_Attribute,
+ A_Callable_Attribute,
+ A_Caller_Attribute,
+ A_Ceiling_Attribute,
+ A_Class_Attribute,
+ A_Component_Size_Attribute,
+ A_Compose_Attribute,
+ A_Constrained_Attribute,
+ A_Copy_Sign_Attribute,
+ A_Count_Attribute,
+ A_Definite_Attribute,
+ A_Delta_Attribute,
+ A_Denorm_Attribute,
+ A_Digits_Attribute,
+ An_Exponent_Attribute,
+ An_External_Tag_Attribute,
+ A_First_Attribute,
+ A_First_Bit_Attribute,
+ A_Floor_Attribute,
+ A_Fore_Attribute,
+ A_Fraction_Attribute,
+ An_Identity_Attribute,
+ An_Image_Attribute,
+ An_Input_Attribute,
+ A_Last_Attribute,
+ A_Last_Bit_Attribute,
+ A_Leading_Part_Attribute,
+ A_Length_Attribute,
+ A_Machine_Attribute,
+ A_Machine_Emax_Attribute,
+ A_Machine_Emin_Attribute,
+ A_Machine_Mantissa_Attribute,
+ A_Machine_Overflows_Attribute,
+ A_Machine_Radix_Attribute,
+ A_Machine_Rounds_Attribute,
+ A_Max_Attribute,
+ A_Max_Size_In_Storage_Elements_Attribute,
+ A_Min_Attribute,
+ A_Model_Attribute,
+ A_Model_Emin_Attribute,
+ A_Model_Epsilon_Attribute,
+ A_Model_Mantissa_Attribute,
+ A_Model_Small_Attribute,
+ A_Modulus_Attribute,
+ An_Output_Attribute,
+ A_Partition_ID_Attribute,
+ A_Pos_Attribute,
+ A_Position_Attribute,
+ A_Pred_Attribute,
+ A_Range_Attribute,
+ A_Read_Attribute,
+ A_Remainder_Attribute,
+ A_Round_Attribute,
+ A_Rounding_Attribute,
+ A_Safe_First_Attribute,
+ A_Safe_Last_Attribute,
+ A_Scale_Attribute,
+ A_Scaling_Attribute,
+ A_Signed_Zeros_Attribute,
+ A_Size_Attribute,
+ A_Small_Attribute,
+ A_Storage_Pool_Attribute,
+ A_Storage_Size_Attribute,
+ A_Succ_Attribute,
+ A_Tag_Attribute,
+ A_Terminated_Attribute,
+ A_Truncation_Attribute,
+ An_Unbiased_Rounding_Attribute,
+ An_Unchecked_Access_Attribute,
+ A_Val_Attribute,
+ A_Valid_Attribute,
+ A_Value_Attribute,
+ A_Version_Attribute,
+ A_Wide_Image_Attribute,
+ A_Wide_Value_Attribute,
+ A_Wide_Width_Attribute,
+ A_Width_Attribute,
+ A_Write_Attribute,
+ A_Machine_Rounding_Attribute,
+ A_Mod_Attribute,
+ A_Priority_Attribute,
+ A_Stream_Size_Attribute,
+ A_Wide_Wide_Image_Attribute,
+ A_Wide_Wide_Value_Attribute,
+ A_Wide_Wide_Width_Attribute,
+ An_Implementation_Defined_Attribute,
+ An_Unknown_Attribute,
+ A_Record_Aggregate,
+ An_Extension_Aggregate,
+ A_Positional_Array_Aggregate,
+ A_Named_Array_Aggregate,
+ An_And_Then_Short_Circuit,
+ An_Or_Else_Short_Circuit,
+ An_In_Range_Membership_Test,
+ A_Not_In_Range_Membership_Test,
+ An_In_Type_Membership_Test,
+ A_Not_In_Type_Membership_Test,
+ A_Null_Literal,
+ A_Parenthesized_Expression,
+ A_Type_Conversion,
+ A_Qualified_Expression,
+ An_Allocation_From_Subtype,
+ An_Allocation_From_Qualified_Expression,
+ A_Pragma_Argument_Association,
+ A_Discriminant_Association,
+ A_Record_Component_Association,
+ An_Array_Component_Association,
+ A_Parameter_Association,
+ A_Generic_Association,
+ A_Null_Statement,
+ An_Assignment_Statement,
+ An_If_Statement,
+ A_Case_Statement,
+ A_Loop_Statement,
+ A_While_Loop_Statement,
+ A_For_Loop_Statement,
+ A_Block_Statement,
+ An_Exit_Statement,
+ A_Goto_Statement,
+ A_Procedure_Call_Statement,
+ A_Return_Statement,
+ An_Extended_Return_Statement,
+ An_Accept_Statement,
+ An_Entry_Call_Statement,
+ A_Requeue_Statement,
+ A_Requeue_Statement_With_Abort,
+ A_Delay_Until_Statement,
+ A_Delay_Relative_Statement,
+ A_Terminate_Alternative_Statement,
+ A_Selective_Accept_Statement,
+ A_Timed_Entry_Call_Statement,
+ A_Conditional_Entry_Call_Statement,
+ An_Asynchronous_Select_Statement,
+ An_Abort_Statement,
+ A_Raise_Statement,
+ A_Code_Statement,
+ An_If_Path,
+ An_Elsif_Path,
+ An_Else_Path,
+ A_Case_Path,
+ A_Select_Path,
+ An_Or_Path,
+ A_Then_Abort_Path,
+ A_Use_Package_Clause,
+ A_Use_Type_Clause,
+ A_With_Clause,
+ An_Attribute_Definition_Clause,
+ An_Enumeration_Representation_Clause,
+ A_Record_Representation_Clause,
+ An_At_Clause,
+ A_Component_Clause,
+ An_Exception_Handler,
+ Non_Trivial_Mapping,
+ Not_Implemented_Mapping,
+ Trivial_Mapping,
+ No_Mapping);
+
+ subtype Internal_Expression_Kinds is Internal_Element_Kinds
+ range An_Integer_Literal .. An_Allocation_From_Qualified_Expression;
+
+ subtype Internal_Operator_Symbol_Kinds is Internal_Expression_Kinds
+ range An_And_Operator .. A_Not_Operator;
+
+ function Int_Kind (E : Element) return Internal_Element_Kinds;
+
+end Case_Optimization_Pkg1;
projects / gcc.git / commitdiff