1 /**************************************************************************** 2 * * 3 * GNAT COMPILER COMPONENTS * 4 * * 5 * FE * 6 * * 7 * C Header File * 8 * * 9 * Copyright (C) 1992-2015, Free Software Foundation, Inc. * 10 * * 11 * GNAT is free software; you can redistribute it and/or modify it under * 12 * terms of the GNU General Public License as published by the Free Soft- * 13 * ware Foundation; either version 3, or (at your option) any later ver- * 14 * sion. GNAT is distributed in the hope that it will be useful, but WITH- * 15 * OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY * 16 * or FITNESS FOR A PARTICULAR PURPOSE. * 17 * * 18 * As a special exception under Section 7 of GPL version 3, you are granted * 19 * additional permissions described in the GCC Runtime Library Exception, * 20 * version 3.1, as published by the Free Software Foundation. * 21 * * 22 * You should have received a copy of the GNU General Public License and * 23 * a copy of the GCC Runtime Library Exception along with this program; * 24 * see the files COPYING3 and COPYING.RUNTIME respectively. If not, see * 25 * <http://www.gnu.org/licenses/>. * 26 * * 27 * GNAT was originally developed by the GNAT team at New York University. * 28 * Extensive contributions were provided by Ada Core Technologies Inc. * 29 * * 30 ****************************************************************************/ 31 32 /* This file contains declarations to access front-end functions and variables 33 used by gigi. 34 35 WARNING: functions taking String_Pointer parameters must abide by the rule 36 documented alongside the definition of String_Pointer in types.h. */ 37 38 #ifdef __cplusplus 39 extern "C" { 40 #endif 41 42 /* atree: */ 43 44 #define Serious_Errors_Detected atree__serious_errors_detected 45 46 /* comperr: */ 47 48 #define Compiler_Abort comperr__compiler_abort 49 extern int Compiler_Abort (String_Pointer, String_Pointer, Boolean) ATTRIBUTE_NORETURN; 50 51 /* csets: */ 52 53 #define Fold_Lower(C) csets__fold_lower[C] 54 #define Fold_Upper(C) csets__fold_upper[C] 55 extern char Fold_Lower[], Fold_Upper[]; 56 57 /* debug: */ 58 59 #define Debug_Flag_NN debug__debug_flag_nn 60 extern Boolean Debug_Flag_NN; 61 62 /* einfo: */ 63 64 #define Set_Alignment einfo__set_alignment 65 #define Set_Component_Bit_Offset einfo__set_component_bit_offset 66 #define Set_Component_Size einfo__set_component_size 67 #define Set_Esize einfo__set_esize 68 #define Set_Mechanism einfo__set_mechanism 69 #define Set_RM_Size einfo__set_rm_size 70 71 extern void Set_Alignment (Entity_Id, Uint); 72 extern void Set_Component_Bit_Offset (Entity_Id, Uint); 73 extern void Set_Component_Size (Entity_Id, Uint); 74 extern void Set_Esize (Entity_Id, Uint); 75 extern void Set_Mechanism (Entity_Id, Mechanism_Type); 76 extern void Set_RM_Size (Entity_Id, Uint); 77 78 #define Is_Entity_Name einfo__is_entity_name 79 extern Boolean Is_Entity_Name (Node_Id); 80 81 #define Get_Attribute_Definition_Clause einfo__get_attribute_definition_clause 82 extern Node_Id Get_Attribute_Definition_Clause (Entity_Id, char); 83 84 /* errout: */ 85 86 #define Error_Msg_N errout__error_msg_n 87 #define Error_Msg_NE errout__error_msg_ne 88 #define Set_Identifier_Casing errout__set_identifier_casing 89 90 extern void Error_Msg_N (String_Pointer, Node_Id); 91 extern void Error_Msg_NE (String_Pointer, Node_Id, Entity_Id); 92 extern void Set_Identifier_Casing (Char *, const Char *); 93 94 /* err_vars: */ 95 96 #define Error_Msg_Node_2 err_vars__error_msg_node_2 97 #define Error_Msg_Uint_1 err_vars__error_msg_uint_1 98 #define Error_Msg_Uint_2 err_vars__error_msg_uint_2 99 100 extern Entity_Id Error_Msg_Node_2; 101 extern Uint Error_Msg_Uint_1; 102 extern Uint Error_Msg_Uint_2; 103 extern Nat Serious_Errors_Detected; 104 105 /* exp_ch11: */ 106 107 #define Get_Local_Raise_Call_Entity exp_ch11__get_local_raise_call_entity 108 #define Get_RT_Exception_Entity exp_ch11__get_rt_exception_entity 109 #define Get_RT_Exception_Name exp_ch11__get_rt_exception_name 110 111 extern Entity_Id Get_Local_Raise_Call_Entity (void); 112 extern Entity_Id Get_RT_Exception_Entity (int); 113 extern void Get_RT_Exception_Name (int); 114 115 /* exp_code: */ 116 117 #define Asm_Input_Constraint exp_code__asm_input_constraint 118 #define Asm_Input_Value exp_code__asm_input_value 119 #define Asm_Output_Constraint exp_code__asm_output_constraint 120 #define Asm_Output_Variable exp_code__asm_output_variable 121 #define Asm_Template exp_code__asm_template 122 #define Clobber_Get_Next exp_code__clobber_get_next 123 #define Clobber_Setup exp_code__clobber_setup 124 #define Is_Asm_Volatile exp_code__is_asm_volatile 125 #define Next_Asm_Input exp_code__next_asm_input 126 #define Next_Asm_Output exp_code__next_asm_output 127 #define Setup_Asm_Inputs exp_code__setup_asm_inputs 128 #define Setup_Asm_Outputs exp_code__setup_asm_outputs 129 130 extern Node_Id Asm_Input_Constraint (void); 131 extern Node_Id Asm_Input_Value (void); 132 extern Node_Id Asm_Output_Constraint (void); 133 extern Node_Id Asm_Output_Variable (void); 134 extern Node_Id Asm_Template (Node_Id); 135 extern char *Clobber_Get_Next (void); 136 extern void Clobber_Setup (Node_Id); 137 extern Boolean Is_Asm_Volatile (Node_Id); 138 extern void Next_Asm_Input (void); 139 extern void Next_Asm_Output (void); 140 extern void Setup_Asm_Inputs (Node_Id); 141 extern void Setup_Asm_Outputs (Node_Id); 142 143 /* exp_dbug: */ 144 145 #define Get_Encoded_Name exp_dbug__get_encoded_name 146 #define Get_External_Name exp_dbug__get_external_name 147 148 extern void Get_Encoded_Name (Entity_Id); 149 extern void Get_External_Name (Entity_Id, Boolean, String_Pointer); 150 151 /* exp_util: */ 152 153 #define Is_Fully_Repped_Tagged_Type exp_util__is_fully_repped_tagged_type 154 155 extern Boolean Is_Fully_Repped_Tagged_Type (Entity_Id); 156 157 /* lib: */ 158 159 #define Cunit lib__cunit 160 #define Ident_String lib__ident_string 161 #define In_Extended_Main_Code_Unit lib__in_extended_main_code_unit 162 #define In_Same_Source_Unit lib__in_same_source_unit 163 164 extern Node_Id Cunit (Unit_Number_Type); 165 extern Node_Id Ident_String (Unit_Number_Type); 166 extern Boolean In_Extended_Main_Code_Unit (Entity_Id); 167 extern Boolean In_Same_Source_Unit (Node_Id, Node_Id); 168 169 /* opt: */ 170 171 #define Back_End_Inlining opt__back_end_inlining 172 #define Exception_Extra_Info opt__exception_extra_info 173 #define Exception_Locations_Suppressed opt__exception_locations_suppressed 174 #define Exception_Mechanism opt__exception_mechanism 175 #define Float_Format opt__float_format 176 #define Generate_SCO_Instance_Table opt__generate_sco_instance_table 177 #define GNAT_Mode opt__gnat_mode 178 #define List_Representation_Info opt__list_representation_info 179 #define No_Strict_Aliasing_CP opt__no_strict_aliasing 180 181 typedef enum { 182 Front_End_SJLJ, Back_End_ZCX, Back_End_SJLJ 183 } Exception_Mechanism_Type; 184 185 extern Boolean Back_End_Inlining; 186 extern Boolean Exception_Extra_Info; 187 extern Boolean Exception_Locations_Suppressed; 188 extern Exception_Mechanism_Type Exception_Mechanism; 189 extern Char Float_Format; 190 extern Boolean Generate_SCO_Instance_Table; 191 extern Boolean GNAT_Mode; 192 extern Int List_Representation_Info; 193 extern Boolean No_Strict_Aliasing_CP; 194 195 #define ZCX_Exceptions opt__zcx_exceptions 196 #define SJLJ_Exceptions opt__sjlj_exceptions 197 #define Front_End_Exceptions opt__front_end_exceptions 198 #define Back_End_Exceptions opt__back_end_exceptions 199 200 extern Boolean ZCX_Exceptions (void); 201 extern Boolean SJLJ_Exceptions (void); 202 extern Boolean Front_End_Exceptions (void); 203 extern Boolean Back_End_Exceptions (void); 204 205 /* restrict: */ 206 207 #define No_Exception_Handlers_Set restrict__no_exception_handlers_set 208 #define Check_No_Implicit_Heap_Alloc restrict__check_no_implicit_heap_alloc 209 #define Check_No_Implicit_Task_Alloc restrict__check_no_implicit_task_alloc 210 #define Check_No_Implicit_Protected_Alloc restrict__check_no_implicit_protected_alloc 211 #define Check_Elaboration_Code_Allowed restrict__check_elaboration_code_allowed 212 #define Check_Implicit_Dynamic_Code_Allowed restrict__check_implicit_dynamic_code_allowed 213 214 extern Boolean No_Exception_Handlers_Set (void); 215 extern void Check_No_Implicit_Heap_Alloc (Node_Id); 216 extern void Check_No_Implicit_Task_Alloc (Node_Id); 217 extern void Check_No_Implicit_Protected_Alloc (Node_Id); 218 extern void Check_Elaboration_Code_Allowed (Node_Id); 219 extern void Check_Implicit_Dynamic_Code_Allowed (Node_Id); 220 221 /* sem_aggr: */ 222 #define Is_Others_Aggregate sem_aggr__is_others_aggregate 223 224 extern Boolean Is_Others_Aggregate (Node_Id); 225 226 /* sem_aux: */ 227 228 #define Ancestor_Subtype sem_aux__ancestor_subtype 229 #define First_Discriminant sem_aux__first_discriminant 230 #define First_Stored_Discriminant sem_aux__first_stored_discriminant 231 #define First_Subtype sem_aux__first_subtype 232 #define Is_By_Reference_Type sem_aux__is_by_reference_type 233 #define Is_Derived_Type sem_aux__is_derived_type 234 235 extern Entity_Id Ancestor_Subtype (Entity_Id); 236 extern Entity_Id First_Discriminant (Entity_Id); 237 extern Entity_Id First_Stored_Discriminant (Entity_Id); 238 extern Entity_Id First_Subtype (Entity_Id); 239 extern Boolean Is_By_Reference_Type (Entity_Id); 240 extern Boolean Is_Derived_Type (Entity_Id); 241 242 /* sem_elim: */ 243 244 #define Eliminate_Error_Msg sem_elim__eliminate_error_msg 245 246 extern void Eliminate_Error_Msg (Node_Id, Entity_Id); 247 248 /* sem_eval: */ 249 250 #define Compile_Time_Known_Value sem_eval__compile_time_known_value 251 #define Expr_Value sem_eval__expr_value 252 #define Expr_Value_S sem_eval__expr_value_s 253 #define Is_OK_Static_Expression sem_eval__is_ok_static_expression 254 #define Is_OK_Static_Subtype sem_eval__is_ok_static_subtype 255 256 extern Uint Expr_Value (Node_Id); 257 extern Node_Id Expr_Value_S (Node_Id); 258 extern Boolean Compile_Time_Known_Value (Node_Id); 259 extern Boolean Is_OK_Static_Expression (Node_Id); 260 extern Boolean Is_OK_Static_Subtype (Entity_Id); 261 262 /* sem_util: */ 263 264 #define Defining_Entity sem_util__defining_entity 265 #define First_Actual sem_util__first_actual 266 #define Next_Actual sem_util__next_actual 267 #define Requires_Transient_Scope sem_util__requires_transient_scope 268 269 extern Entity_Id Defining_Entity (Node_Id); 270 extern Node_Id First_Actual (Node_Id); 271 extern Node_Id Next_Actual (Node_Id); 272 extern Boolean Requires_Transient_Scope (Entity_Id); 273 274 /* sinfo: */ 275 276 #define End_Location sinfo__end_location 277 #define Set_Has_No_Elaboration_Code sinfo__set_has_no_elaboration_code 278 #define Set_Present_Expr sinfo__set_present_expr 279 280 extern Source_Ptr End_Location (Node_Id); 281 extern void Set_Has_No_Elaboration_Code (Node_Id, Boolean); 282 extern void Set_Present_Expr (Node_Id, Uint); 283 284 /* targparm: */ 285 286 #define Backend_Overflow_Checks_On_Target targparm__backend_overflow_checks_on_target 287 #define Machine_Overflows_On_Target targparm__machine_overflows_on_target 288 #define Signed_Zeros_On_Target targparm__signed_zeros_on_target 289 #define Stack_Check_Probes_On_Target targparm__stack_check_probes_on_target 290 #define Stack_Check_Limits_On_Target targparm__stack_check_limits_on_target 291 292 extern Boolean Backend_Overflow_Checks_On_Target; 293 extern Boolean Machine_Overflows_On_Target; 294 extern Boolean Signed_Zeros_On_Target; 295 extern Boolean Stack_Check_Probes_On_Target; 296 extern Boolean Stack_Check_Limits_On_Target; 297 298 #ifdef __cplusplus 299 } 300 #endif 301