1 /****************************************************************************
3 * GNAT COMPILER COMPONENTS *
9 * Copyright (C) 1992-2023, Free Software Foundation, Inc. *
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. *
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. *
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/>. *
27 * GNAT was originally developed by the GNAT team at New York University. *
28 * Extensive contributions were provided by Ada Core Technologies Inc. *
30 ****************************************************************************/
32 /* This is the C header that contains the declarations of Ada subprograms and
33 variables used by gigi and not declared in other C header files. It was
34 created manually from Ada specifications. The original Ada declarations
35 in these specifications must be marked with:
37 "WARNING: There is a matching C declaration of this <entity_kind> in fe.h"
39 where <entity_kind> is either "subprogram" or "variable" or "type".
41 WARNING: functions taking String_Pointer parameters must abide by the rule
42 documented alongside the definition of String_Pointer in types.h. */
50 #define Serious_Errors_Detected atree__serious_errors_detected
52 extern Nat Serious_Errors_Detected
;
56 #define Compiler_Abort comperr__compiler_abort
58 extern void Compiler_Abort (String_Pointer
, String_Pointer
, Boolean
) ATTRIBUTE_NORETURN
;
62 #define Debug_Flag_Dot_KK debug__debug_flag_dot_kk
63 #define Debug_Flag_Dot_R debug__debug_flag_dot_r
64 #define Debug_Flag_Dot_8 debug__debug_flag_dot_8
65 #define Debug_Flag_NN debug__debug_flag_nn
67 extern Boolean Debug_Flag_Dot_KK
;
68 extern Boolean Debug_Flag_Dot_R
;
69 extern Boolean Debug_Flag_Dot_8
;
70 extern Boolean Debug_Flag_NN
;
74 /* Valid_Uint is used to preserve the old behavior of Esize and
75 friends, where Uint_0 was the default. All calls to this
80 return X
== No_Uint
? Uint_0
: X
;
83 #define Set_Alignment einfo__entities__set_alignment
84 #define Set_Component_Bit_Offset einfo__entities__set_component_bit_offset
85 #define Set_Component_Size einfo__entities__set_component_size
86 #define Set_Esize einfo__entities__set_esize
87 #define Set_Mechanism einfo__entities__set_mechanism
88 #define Set_Normalized_First_Bit einfo__entities__set_normalized_first_bit
89 #define Set_Normalized_Position einfo__entities__set_normalized_position
90 #define Set_RM_Size einfo__entities__set_rm_size
92 extern void Set_Alignment (Entity_Id
, Uint
);
93 extern void Set_Component_Bit_Offset (Entity_Id
, Uint
);
94 extern void Set_Component_Size (Entity_Id
, Uint
);
95 extern void Set_Esize (Entity_Id
, Uint
);
96 extern void Set_Mechanism (Entity_Id
, Mechanism_Type
);
97 extern void Set_Normalized_First_Bit (Entity_Id
, Uint
);
98 extern void Set_Normalized_Position (Entity_Id
, Uint
);
99 extern void Set_RM_Size (Entity_Id
, Uint
);
101 #define Is_Entity_Name einfo__utils__is_entity_name
103 extern Boolean
Is_Entity_Name (Node_Id
);
105 #define Get_Attribute_Definition_Clause einfo__utils__get_attribute_definition_clause
107 extern Node_Id
Get_Attribute_Definition_Clause (Entity_Id
, unsigned char);
111 #define Error_Msg_N errout__error_msg_n
112 #define Error_Msg_NE errout__error_msg_ne
113 #define Set_Identifier_Casing errout__set_identifier_casing
115 extern void Error_Msg_N (String_Pointer
, Node_Id
);
116 extern void Error_Msg_NE (String_Pointer
, Node_Id
, Entity_Id
);
117 extern void Set_Identifier_Casing (void *, const void *);
121 #define Error_Msg_Uint_1 err_vars__error_msg_uint_1
122 #define Error_Msg_Uint_2 err_vars__error_msg_uint_2
124 extern Uint Error_Msg_Uint_1
;
125 extern Uint Error_Msg_Uint_2
;
129 #define Get_Local_Raise_Call_Entity exp_ch11__get_local_raise_call_entity
130 #define Get_RT_Exception_Entity exp_ch11__get_rt_exception_entity
131 #define Get_RT_Exception_Name exp_ch11__get_rt_exception_name
132 #define Warn_If_No_Local_Raise exp_ch11__warn_if_no_local_raise
134 extern Entity_Id
Get_Local_Raise_Call_Entity (void);
135 extern Entity_Id
Get_RT_Exception_Entity (int);
136 extern void Get_RT_Exception_Name (enum RT_Exception_Code
);
137 extern void Warn_If_No_Local_Raise (int);
141 #define Asm_Input_Constraint exp_code__asm_input_constraint
142 #define Asm_Input_Value exp_code__asm_input_value
143 #define Asm_Output_Constraint exp_code__asm_output_constraint
144 #define Asm_Output_Variable exp_code__asm_output_variable
145 #define Asm_Template exp_code__asm_template
146 #define Clobber_Get_Next exp_code__clobber_get_next
147 #define Clobber_Setup exp_code__clobber_setup
148 #define Is_Asm_Volatile exp_code__is_asm_volatile
149 #define Next_Asm_Input exp_code__next_asm_input
150 #define Next_Asm_Output exp_code__next_asm_output
151 #define Setup_Asm_Inputs exp_code__setup_asm_inputs
152 #define Setup_Asm_Outputs exp_code__setup_asm_outputs
154 extern Node_Id
Asm_Input_Constraint (void);
155 extern Node_Id
Asm_Input_Value (void);
156 extern Node_Id
Asm_Output_Constraint (void);
157 extern Node_Id
Asm_Output_Variable (void);
158 extern Node_Id
Asm_Template (Node_Id
);
159 extern void *Clobber_Get_Next (void);
160 extern void Clobber_Setup (Node_Id
);
161 extern Boolean
Is_Asm_Volatile (Node_Id
);
162 extern void Next_Asm_Input (void);
163 extern void Next_Asm_Output (void);
164 extern void Setup_Asm_Inputs (Node_Id
);
165 extern void Setup_Asm_Outputs (Node_Id
);
169 #define Get_Encoded_Name exp_dbug__get_encoded_name
170 #define Get_External_Name exp_dbug__get_external_name
171 #define Get_Variant_Encoding exp_dbug__get_variant_encoding
173 extern void Get_Encoded_Name (Entity_Id
);
174 extern void Get_External_Name (Entity_Id
, Boolean
, String_Pointer
);
175 extern void Get_Variant_Encoding (Entity_Id
);
179 #define Is_Init_Proc exp_tss__is_init_proc
181 extern Boolean
Is_Init_Proc (Entity_Id
);
185 #define Find_Interface_Tag exp_util__find_interface_tag
186 #define Is_Fully_Repped_Tagged_Type exp_util__is_fully_repped_tagged_type
187 #define Is_Related_To_Func_Return exp_util__is_related_to_func_return
188 #define Is_Secondary_Stack_Thunk exp_util__is_secondary_stack_thunk
189 #define Thunk_Target exp_util__thunk_target
191 extern Entity_Id
Find_Interface_Tag (Entity_Id
, Entity_Id
);
192 extern Boolean
Is_Fully_Repped_Tagged_Type (Entity_Id
);
193 extern Boolean
Is_Related_To_Func_Return (Entity_Id
);
194 extern Boolean
Is_Secondary_Stack_Thunk (Entity_Id
);
195 extern Entity_Id
Thunk_Target (Entity_Id
);
199 #define Cunit lib__cunit
200 #define Ident_String lib__ident_string
201 #define In_Extended_Main_Code_Unit lib__in_extended_main_code_unit
203 extern Node_Id
Cunit (Unit_Number_Type
);
204 extern Node_Id
Ident_String (Unit_Number_Type
);
205 extern Boolean
In_Extended_Main_Code_Unit (Entity_Id
);
209 #define Ada_Version opt__ada_version
210 #define Back_End_Inlining opt__back_end_inlining
211 #define Debug_Generated_Code opt__debug_generated_code
212 #define Enable_128bit_Types opt__enable_128bit_types
213 #define Exception_Extra_Info opt__exception_extra_info
214 #define Exception_Locations_Suppressed opt__exception_locations_suppressed
215 #define Generate_SCO_Instance_Table opt__generate_sco_instance_table
216 #define GNAT_Mode opt__gnat_mode
217 #define List_Representation_Info opt__list_representation_info
218 #define No_Strict_Aliasing_CP opt__no_strict_aliasing
219 #define Suppress_Checks opt__suppress_checks
220 #define Unnest_Subprogram_Mode opt__unnest_subprogram_mode
223 Ada_83
, Ada_95
, Ada_2005
, Ada_2012
, Ada_2022
225 // Ada_With_Core_Extensions and Ada_With_All_Extensions (see opt.ads) are not
226 // used on the C side for now. If we decide to use them, we should import
227 // All_Extensions_Allowed and Core_Extensions_Allowed functions.
229 extern Ada_Version_Type Ada_Version
;
230 extern Boolean Back_End_Inlining
;
231 extern Boolean Debug_Generated_Code
;
232 extern Boolean Enable_128bit_Types
;
233 extern Boolean Exception_Extra_Info
;
234 extern Boolean Exception_Locations_Suppressed
;
235 extern Boolean Generate_SCO_Instance_Table
;
236 extern Boolean GNAT_Mode
;
237 extern Int List_Representation_Info
;
238 extern Boolean No_Strict_Aliasing_CP
;
239 extern Boolean Suppress_Checks
;
240 extern Boolean Unnest_Subprogram_Mode
;
242 #define ZCX_Exceptions opt__zcx_exceptions
243 #define SJLJ_Exceptions opt__sjlj_exceptions
245 extern Boolean
ZCX_Exceptions (void);
246 extern Boolean
SJLJ_Exceptions (void);
250 #define Check_Elaboration_Code_Allowed \
251 restrict__check_elaboration_code_allowed
252 #define Check_Implicit_Dynamic_Code_Allowed \
253 restrict__check_implicit_dynamic_code_allowed
254 #define Check_No_Implicit_Heap_Alloc \
255 restrict__check_no_implicit_heap_alloc
256 #define Check_No_Implicit_Protected_Alloc \
257 restrict__check_no_implicit_protected_alloc
258 #define Check_No_Implicit_Task_Alloc \
259 restrict__check_no_implicit_task_alloc
260 #define Check_Restriction_No_Dependence_On_System \
261 restrict__check_restriction_no_dependence_on_system
262 #define No_Exception_Handlers_Set \
263 restrict__no_exception_handlers_set
264 #define No_Exception_Propagation_Active \
265 restrict__no_exception_propagation_active
267 extern void Check_Elaboration_Code_Allowed (Node_Id
);
268 extern void Check_Implicit_Dynamic_Code_Allowed (Node_Id
);
269 extern void Check_No_Implicit_Heap_Alloc (Node_Id
);
270 extern void Check_No_Implicit_Protected_Alloc (Node_Id
);
271 extern void Check_No_Implicit_Task_Alloc (Node_Id
);
272 extern void Check_Restriction_No_Dependence_On_System (Name_Id
, Node_Id
);
273 extern Boolean
No_Exception_Handlers_Set (void);
274 extern Boolean
No_Exception_Propagation_Active (void);
278 #define Is_Single_Aggregate sem_aggr__is_single_aggregate
280 extern Boolean
Is_Single_Aggregate (Node_Id
);
284 #define Ancestor_Subtype sem_aux__ancestor_subtype
285 #define Constant_Value sem_aux__constant_value
286 #define First_Discriminant sem_aux__first_discriminant
287 #define First_Stored_Discriminant sem_aux__first_stored_discriminant
288 #define First_Subtype sem_aux__first_subtype
289 #define Is_By_Reference_Type sem_aux__is_by_reference_type
290 #define Is_Derived_Type sem_aux__is_derived_type
292 extern Entity_Id
Ancestor_Subtype (Entity_Id
);
293 extern Node_Id
Constant_Value (Entity_Id
);
294 extern Entity_Id
First_Discriminant (Entity_Id
);
295 extern Entity_Id
First_Stored_Discriminant (Entity_Id
);
296 extern Entity_Id
First_Subtype (Entity_Id
);
297 extern Boolean
Is_By_Reference_Type (Entity_Id
);
298 extern Boolean
Is_Derived_Type (Entity_Id
);
302 #define Compile_Time_Known_Value sem_eval__compile_time_known_value
303 #define Is_Null_Range sem_eval__is_null_range
305 extern Boolean
Compile_Time_Known_Value (Node_Id
);
306 extern Boolean
Is_Null_Range (Node_Id
, Node_Id
);
310 #define Defining_Entity sem_util__defining_entity
311 #define First_Actual sem_util__first_actual
312 #define Has_Storage_Model_Type_Aspect sem_util__storage_model_support__has_storage_model_type_aspect
313 #define Has_Designated_Storage_Model_Aspect sem_util__storage_model_support__has_designated_storage_model_aspect
314 #define Is_Expression_Function sem_util__is_expression_function
315 #define Is_Variable_Size_Record sem_util__is_variable_size_record
316 #define Needs_Secondary_Stack sem_util__needs_secondary_stack
317 #define Next_Actual sem_util__next_actual
318 #define Storage_Model_Object sem_util__storage_model_support__storage_model_object
319 #define Storage_Model_Copy_From sem_util__storage_model_support__storage_model_copy_from
320 #define Storage_Model_Copy_To sem_util__storage_model_support__storage_model_copy_to
322 extern Entity_Id
Defining_Entity (Node_Id
);
323 extern Node_Id
First_Actual (Node_Id
);
324 extern Boolean
Has_Storage_Model_Type_Aspect (Entity_Id
);
325 extern Boolean
Has_Designated_Storage_Model_Aspect (Entity_Id
);
326 extern Boolean
Is_Expression_Function (Entity_Id
);
327 extern Boolean
Is_Variable_Size_Record (Entity_Id
);
328 extern Boolean
Needs_Secondary_Stack (Entity_Id
);
329 extern Node_Id
Next_Actual (Node_Id
);
330 extern Entity_Id
Storage_Model_Object (Entity_Id
);
331 extern Entity_Id
Storage_Model_Copy_From (Entity_Id
);
332 extern Entity_Id
Storage_Model_Copy_To (Entity_Id
);
336 #define End_Location sinfo__utils__end_location
337 #define Set_Has_No_Elaboration_Code sinfo__nodes__set_has_no_elaboration_code
338 #define Set_Present_Expr sinfo__nodes__set_present_expr
340 extern Source_Ptr
End_Location (Node_Id
);
341 extern void Set_Has_No_Elaboration_Code (Node_Id
, Boolean
);
342 extern void Set_Present_Expr (Node_Id
, Uint
);
346 #define Debug_Source_Name sinput__debug_source_name
347 #define Get_Column_Number sinput__get_column_number
348 #define Get_Logical_Line_Number sinput__get_logical_line_number
349 #define Get_Source_File_Index sinput__get_source_file_index
351 extern File_Name_Type
Debug_Source_Name (Source_File_Index
);
352 extern Column_Number_Type
Get_Column_Number (Source_Ptr
);
353 extern Line_Number_Type
Get_Logical_Line_Number (Source_Ptr
);
354 extern Source_File_Index
Get_Source_File_Index (Source_Ptr
);
358 #define Machine_Overflows_On_Target \
359 targparm__machine_overflows_on_target
360 #define Signed_Zeros_On_Target \
361 targparm__signed_zeros_on_target
362 #define Stack_Check_Limits_On_Target \
363 targparm__stack_check_limits_on_target
364 #define Stack_Check_Probes_On_Target \
365 targparm__stack_check_probes_on_target
367 extern Boolean Machine_Overflows_On_Target
;
368 extern Boolean Signed_Zeros_On_Target
;
369 extern Boolean Stack_Check_Limits_On_Target
;
370 extern Boolean Stack_Check_Probes_On_Target
;
374 #define Get_Warn_On_Questionable_Layout warnsw__get_warn_on_questionable_layout
376 extern Boolean
Get_Warn_On_Questionable_Layout (void);
378 // The following corresponds to Ada code in Einfo.Utils.
381 typedef Component_Alignment_Kind C
;
383 typedef Mechanism_Type M
;
390 #define Is_Access_Object_Type einfo__utils__is_access_object_type
391 B
Is_Access_Object_Type (E Id
);
393 #define Is_Named_Access_Type einfo__utils__is_named_access_type
394 B
Is_Named_Access_Type (E Id
);
396 #define Address_Clause einfo__utils__address_clause
397 N
Address_Clause (E Id
);
399 #define Aft_Value einfo__utils__aft_value
402 #define Alignment_Clause einfo__utils__alignment_clause
403 N
Alignment_Clause (E Id
);
405 #define Base_Type einfo__utils__base_type
408 #define Declaration_Node einfo__utils__declaration_node
409 N
Declaration_Node (E Id
);
411 #define Designated_Type einfo__utils__designated_type
412 E
Designated_Type (E Id
);
414 #define First_Component einfo__utils__first_component
415 E
First_Component (E Id
);
417 #define First_Component_Or_Discriminant einfo__utils__first_component_or_discriminant
418 E
First_Component_Or_Discriminant (E Id
);
420 #define First_Formal einfo__utils__first_formal
421 E
First_Formal (E Id
);
423 #define First_Formal_With_Extras einfo__utils__first_formal_with_extras
424 E
First_Formal_With_Extras (E Id
);
426 #define Has_Attach_Handler einfo__utils__has_attach_handler
427 B
Has_Attach_Handler (E Id
);
429 #define Has_Entries einfo__utils__has_entries
430 B
Has_Entries (E Id
);
432 #define Has_Foreign_Convention einfo__utils__has_foreign_convention
433 B
Has_Foreign_Convention (E Id
);
435 #define Has_Interrupt_Handler einfo__utils__has_interrupt_handler
436 B
Has_Interrupt_Handler (E Id
);
438 #define Has_Non_Limited_View einfo__utils__has_non_limited_view
439 B
Has_Non_Limited_View (E Id
);
441 #define Has_Non_Null_Abstract_State einfo__utils__has_non_null_abstract_state
442 B
Has_Non_Null_Abstract_State (E Id
);
444 #define Has_Non_Null_Visible_Refinement einfo__utils__has_non_null_visible_refinement
445 B
Has_Non_Null_Visible_Refinement (E Id
);
447 #define Has_Null_Abstract_State einfo__utils__has_null_abstract_state
448 B
Has_Null_Abstract_State (E Id
);
450 #define Has_Null_Visible_Refinement einfo__utils__has_null_visible_refinement
451 B
Has_Null_Visible_Refinement (E Id
);
453 #define Implementation_Base_Type einfo__utils__implementation_base_type
454 E
Implementation_Base_Type (E Id
);
456 #define Is_Base_Type einfo__utils__is_base_type
457 B
Is_Base_Type (E Id
);
459 #define Is_Boolean_Type einfo__utils__is_boolean_type
460 B
Is_Boolean_Type (E Id
);
462 #define Is_Constant_Object einfo__utils__is_constant_object
463 B
Is_Constant_Object (E Id
);
465 #define Is_Controlled einfo__utils__is_controlled
466 B
Is_Controlled (E Id
);
468 #define Is_Discriminal einfo__utils__is_discriminal
469 B
Is_Discriminal (E Id
);
471 #define Is_Dynamic_Scope einfo__utils__is_dynamic_scope
472 B
Is_Dynamic_Scope (E Id
);
474 #define Is_Elaboration_Target einfo__utils__is_elaboration_target
475 B
Is_Elaboration_Target (E Id
);
477 #define Is_External_State einfo__utils__is_external_state
478 B
Is_External_State (E Id
);
480 #define Is_Finalizer einfo__utils__is_finalizer
481 B
Is_Finalizer (E Id
);
483 #define Is_Null_State einfo__utils__is_null_state
484 B
Is_Null_State (E Id
);
486 #define Is_Package_Or_Generic_Package einfo__utils__is_package_or_generic_package
487 B
Is_Package_Or_Generic_Package (E Id
);
489 #define Is_Packed_Array einfo__utils__is_packed_array
490 B
Is_Packed_Array (E Id
);
492 #define Is_Prival einfo__utils__is_prival
495 #define Is_Protected_Component einfo__utils__is_protected_component
496 B
Is_Protected_Component (E Id
);
498 #define Is_Protected_Interface einfo__utils__is_protected_interface
499 B
Is_Protected_Interface (E Id
);
501 #define Is_Protected_Record_Type einfo__utils__is_protected_record_type
502 B
Is_Protected_Record_Type (E Id
);
504 #define Is_Relaxed_Initialization_State einfo__utils__is_relaxed_initialization_state
505 B
Is_Relaxed_Initialization_State (E Id
);
507 #define Is_Standard_Character_Type einfo__utils__is_standard_character_type
508 B
Is_Standard_Character_Type (E Id
);
510 #define Is_Standard_String_Type einfo__utils__is_standard_string_type
511 B
Is_Standard_String_Type (E Id
);
513 #define Is_String_Type einfo__utils__is_string_type
514 B
Is_String_Type (E Id
);
516 #define Is_Synchronized_Interface einfo__utils__is_synchronized_interface
517 B
Is_Synchronized_Interface (E Id
);
519 #define Is_Synchronized_State einfo__utils__is_synchronized_state
520 B
Is_Synchronized_State (E Id
);
522 #define Is_Task_Interface einfo__utils__is_task_interface
523 B
Is_Task_Interface (E Id
);
525 #define Is_Task_Record_Type einfo__utils__is_task_record_type
526 B
Is_Task_Record_Type (E Id
);
528 #define Is_Wrapper_Package einfo__utils__is_wrapper_package
529 B
Is_Wrapper_Package (E Id
);
531 #define Last_Formal einfo__utils__last_formal
532 E
Last_Formal (E Id
);
534 #define Machine_Emax_Value einfo__utils__machine_emax_value
535 U
Machine_Emax_Value (E Id
);
537 #define Machine_Emin_Value einfo__utils__machine_emin_value
538 U
Machine_Emin_Value (E Id
);
540 #define Machine_Mantissa_Value einfo__utils__machine_mantissa_value
541 U
Machine_Mantissa_Value (E Id
);
543 #define Machine_Radix_Value einfo__utils__machine_radix_value
544 U
Machine_Radix_Value (E Id
);
546 #define Model_Emin_Value einfo__utils__model_emin_value
547 U
Model_Emin_Value (E Id
);
549 #define Model_Epsilon_Value einfo__utils__model_epsilon_value
550 R
Model_Epsilon_Value (E Id
);
552 #define Model_Mantissa_Value einfo__utils__model_mantissa_value
553 U
Model_Mantissa_Value (E Id
);
555 #define Model_Small_Value einfo__utils__model_small_value
556 R
Model_Small_Value (E Id
);
558 #define Next_Component einfo__utils__next_component
559 E
Next_Component (E Id
);
561 #define Next_Component_Or_Discriminant einfo__utils__next_component_or_discriminant
562 E
Next_Component_Or_Discriminant (E Id
);
564 #define Next_Discriminant einfo__utils__next_discriminant
565 E
Next_Discriminant (E Id
);
567 #define Next_Formal einfo__utils__next_formal
568 E
Next_Formal (E Id
);
570 #define Next_Formal_With_Extras einfo__utils__next_formal_with_extras
571 E
Next_Formal_With_Extras (E Id
);
573 #define Number_Dimensions einfo__utils__number_dimensions
574 Pos
Number_Dimensions (E Id
);
576 #define Number_Entries einfo__utils__number_entries
577 Nat
Number_Entries (E Id
);
579 #define Number_Formals einfo__utils__number_formals
580 Pos
Number_Formals (E Id
);
582 #define Object_Size_Clause einfo__utils__object_size_clause
583 N
Object_Size_Clause (E Id
);
585 #define Partial_Refinement_Constituents einfo__utils__partial_refinement_constituents
586 L
Partial_Refinement_Constituents (E Id
);
588 #define Primitive_Operations einfo__utils__primitive_operations
589 L
Primitive_Operations (E Id
);
591 #define Root_Type einfo__utils__root_type
594 #define Safe_Emax_Value einfo__utils__safe_emax_value
595 U
Safe_Emax_Value (E Id
);
597 #define Safe_First_Value einfo__utils__safe_first_value
598 R
Safe_First_Value (E Id
);
600 #define Safe_Last_Value einfo__utils__safe_last_value
601 R
Safe_Last_Value (E Id
);
603 #define Scope_Depth einfo__utils__scope_depth
604 U
Scope_Depth (E Id
);
606 #define Scope_Depth_Set einfo__utils__scope_depth_set
607 B
Scope_Depth_Set (E Id
);
609 #define Size_Clause einfo__utils__size_clause
610 N
Size_Clause (E Id
);
612 #define Stream_Size_Clause einfo__utils__stream_size_clause
613 N
Stream_Size_Clause (E Id
);
615 #define Type_High_Bound einfo__utils__type_high_bound
616 N
Type_High_Bound (E Id
);
618 #define Type_Low_Bound einfo__utils__type_low_bound
619 N
Type_Low_Bound (E Id
);
621 #define Underlying_Type einfo__utils__underlying_type
622 E
Underlying_Type (E Id
);
624 #define Known_Alignment einfo__utils__known_alignment
625 B
Known_Alignment (Entity_Id E
);
627 #define Known_Component_Bit_Offset einfo__utils__known_component_bit_offset
628 B
Known_Component_Bit_Offset (Entity_Id E
);
630 #define Known_Component_Size einfo__utils__known_component_size
631 B
Known_Component_Size (Entity_Id E
);
633 #define Known_Esize einfo__utils__known_esize
634 B
Known_Esize (Entity_Id E
);
636 #define Known_Normalized_First_Bit einfo__utils__known_normalized_first_bit
637 B
Known_Normalized_First_Bit (Entity_Id E
);
639 #define Known_Normalized_Position einfo__utils__known_normalized_position
640 B
Known_Normalized_Position (Entity_Id E
);
642 #define Known_Normalized_Position_Max einfo__utils__known_normalized_position_max
643 B
Known_Normalized_Position_Max (Entity_Id E
);
645 #define Known_RM_Size einfo__utils__known_rm_size
646 B
Known_RM_Size (Entity_Id E
);
648 #define Copy_Alignment einfo__utils__copy_alignment
649 B
Copy_Alignment(Entity_Id To
, Entity_Id From
);
651 #define Copy_Esize einfo__utils__copy_esize
652 B
Copy_Esize(Entity_Id To
, Entity_Id From
);
654 #define Copy_RM_Size einfo__utils__copy_rm_size
655 B
Copy_RM_Size(Entity_Id To
, Entity_Id From
);
657 #define Is_Discrete_Or_Fixed_Point_Type einfo__utils__is_discrete_or_fixed_point_type
658 B
Is_Discrete_Or_Fixed_Point_Type (E Id
);
660 #define Is_Floating_Point_Type einfo__utils__is_floating_point_type
661 B
Is_Floating_Point_Type (E Id
);
663 #define Is_Record_Type einfo__utils__is_record_type
664 B
Is_Record_Type (E Id
);
666 #define Is_Full_Access einfo__utils__is_full_access
667 B
Is_Full_Access (E Id
);
669 #define Next_Index einfo__utils__next_index
670 Node_Id
Next_Index (Node_Id Id
);
672 #define Next_Literal einfo__utils__next_literal
673 E
Next_Literal (E Id
);
675 #define Next_Stored_Discriminant einfo__utils__next_stored_discriminant
676 E
Next_Stored_Discriminant (E Id
);
678 #define Parameter_Mode einfo__utils__parameter_mode
679 // Parameter_Mode really returns Formal_Kind, but that is not visible, because
680 // fe.h is included before einfo.h.
681 Entity_Kind
Parameter_Mode (E Id
);
683 // The following is needed because Convention in Sem_Util is a renaming
684 // of Basic_Convention.
686 #define Convention einfo__entities__basic_convention
687 Convention_Id
Convention (N Node
);
689 // See comments regarding Entity_Or_Associated_Node in Sinfo.Utils.
691 #define Entity sinfo__nodes__entity_or_associated_node
692 Entity_Id
Entity (N Node
);
694 // See comments regarding Renamed_Or_Alias in Einfo.Utils
696 #define Alias einfo__entities__renamed_or_alias
698 #define Renamed_Entity einfo__entities__renamed_or_alias
699 Node_Id
Renamed_Entity (N Node
);
701 #define Renamed_Object einfo__entities__renamed_or_alias
702 Node_Id
Renamed_Object (N Node
);