diff options
Diffstat (limited to 'gcc/ada/bindgen.adb')
| -rw-r--r-- | gcc/ada/bindgen.adb | 1326 |
1 files changed, 9 insertions, 1317 deletions
diff --git a/gcc/ada/bindgen.adb b/gcc/ada/bindgen.adb index 8c89a5095a8..279fc5567dd 100644 --- a/gcc/ada/bindgen.adb +++ b/gcc/ada/bindgen.adb @@ -240,54 +240,27 @@ package body Bindgen is procedure Gen_Adainit_Ada; -- Generates the Adainit procedure (Ada code case) - procedure Gen_Adainit_C; - -- Generates the Adainit procedure (C code case) - procedure Gen_Adafinal_Ada; -- Generate the Adafinal procedure (Ada code case) - procedure Gen_Adafinal_C; - -- Generate the Adafinal procedure (C code case) - procedure Gen_Elab_Externals_Ada; -- Generate sequence of external declarations for elaboration (Ada) - procedure Gen_Elab_Externals_C; - -- Generate sequence of external declarations for elaboration (C) - procedure Gen_Elab_Calls_Ada; -- Generate sequence of elaboration calls (Ada code case) - procedure Gen_Elab_Calls_C; - -- Generate sequence of elaboration calls (C code case) - procedure Gen_Elab_Order_Ada; -- Generate comments showing elaboration order chosen (Ada code case) - procedure Gen_Elab_Order_C; - -- Generate comments showing elaboration order chosen (C code case) - - procedure Gen_Elab_Defs_C; - -- Generate sequence of definitions for elaboration routines (C code case) - procedure Gen_Finalize_Library_Ada; -- Generate a sequence of finalization calls to elaborated packages (Ada) - procedure Gen_Finalize_Library_C; - -- Generate a sequence of finalization calls to elaborated packages (C) - - procedure Gen_Finalize_Library_Defs_C; - -- Generate a sequence of defininitions for package finalizers (C case) - procedure Gen_CodePeer_Wrapper; -- For CodePeer, generate wrapper which calls user-defined main subprogram procedure Gen_Main_Ada; -- Generate procedure main (Ada code case) - procedure Gen_Main_C; - -- Generate main() procedure (C code case) - procedure Gen_Object_Files_Options; -- Output comments containing a list of the full names of the object -- files to be linked and the list of linker options supplied by @@ -296,21 +269,12 @@ package body Bindgen is procedure Gen_Output_File_Ada (Filename : String); -- Generate output file (Ada code case) - procedure Gen_Output_File_C (Filename : String); - -- Generate output file (C code case) - procedure Gen_Restrictions_Ada; -- Generate initialization of restrictions variable (Ada code case) - procedure Gen_Restrictions_C; - -- Generate initialization of restrictions variable (C code case) - procedure Gen_Versions_Ada; -- Output series of definitions for unit versions (Ada code case) - procedure Gen_Versions_C; - -- Output series of definitions for unit versions (C code case) - function Get_Ada_Main_Name return String; -- This function is used in the Ada main output case to compute a usable -- name for the generated main program. The normal main program name is @@ -400,10 +364,6 @@ package body Bindgen is -- up all output unit numbers nicely as required by the value, and -- by the total number of units. - procedure Write_Info_Ada_C (Ada : String; C : String; Common : String); - -- For C code case, write C & Common, for Ada case write Ada & Common - -- to current binder output file using Write_Binder_Info. - procedure Write_Statement_Buffer; -- Write out contents of statement buffer up to Last, and reset Last to 0 @@ -478,32 +438,6 @@ package body Bindgen is WBI (""); end Gen_Adafinal_Ada; - -------------------- - -- Gen_Adafinal_C -- - -------------------- - - procedure Gen_Adafinal_C is - begin - WBI ("void " & Ada_Final_Name.all & " (void) {"); - - WBI (" if (!is_elaborated)"); - WBI (" return;"); - WBI (" is_elaborated = 0;"); - - if not Bind_Main_Program then - if Lib_Final_Built then - WBI (" finalize_library ();"); - end if; - - -- Main program case - - else - WBI (" system__standard_library__adafinal ();"); - end if; - WBI ("}"); - WBI (""); - end Gen_Adafinal_C; - --------------------- -- Gen_Adainit_Ada -- --------------------- @@ -989,289 +923,6 @@ package body Bindgen is WBI (""); end Gen_Adainit_Ada; - ------------------- - -- Gen_Adainit_C -- - -------------------- - - procedure Gen_Adainit_C is - Main_Priority : Int renames ALIs.Table (ALIs.First).Main_Priority; - Main_CPU : Int renames ALIs.Table (ALIs.First).Main_CPU; - - begin - WBI ("void " & Ada_Init_Name.all & " (void)"); - WBI ("{"); - - WBI (" if (is_elaborated)"); - WBI (" return;"); - WBI (" is_elaborated = 1;"); - - -- Standard library suppressed - - if Suppress_Standard_Library_On_Target then - - -- Case of High_Integrity_Mode mode. Set __gl_main_priority and - -- __gl_main_cpu if needed for the Ravenscar profile. - - if Main_Priority /= No_Main_Priority then - WBI (" extern int __gl_main_priority;"); - Set_String (" __gl_main_priority = "); - Set_Int (Main_Priority); - Set_Char (';'); - Write_Statement_Buffer; - end if; - - if Main_CPU /= No_Main_CPU then - WBI (" extern int __gl_main_cpu;"); - Set_String (" __gl_main_cpu = "); - Set_Int (Main_CPU); - Set_Char (';'); - Write_Statement_Buffer; - end if; - - -- Normal case (standard library not suppressed) - - else - -- Generate definition for interrupt states string - - Set_String (" static const char *local_interrupt_states = """); - - for J in 0 .. IS_Pragma_Settings.Last loop - Set_Char (IS_Pragma_Settings.Table (J)); - end loop; - - Set_String (""";"); - Write_Statement_Buffer; - - -- Generate definition for priority specific dispatching string - - Set_String - (" static const char *local_priority_specific_dispatching = """); - - for J in 0 .. PSD_Pragma_Settings.Last loop - Set_Char (PSD_Pragma_Settings.Table (J)); - end loop; - - Set_String (""";"); - Write_Statement_Buffer; - - -- Generate declaration for secondary stack default if needed - - if Sec_Stack_Used and then Default_Sec_Stack_Size /= -1 then - WBI (" extern int system__secondary_stack__" & - "default_secondary_stack_size;"); - end if; - - WBI (""); - - -- Code for normal case (standard library not suppressed) - - -- We call the routine from inside adainit() because this works for - -- both programs with and without binder generated "main" functions. - - WBI (" extern int __gl_main_priority;"); - Set_String (" __gl_main_priority = "); - Set_Int (Main_Priority); - Set_Char (';'); - Write_Statement_Buffer; - - WBI (" extern int __gl_time_slice_val;"); - Set_String (" __gl_time_slice_val = "); - - if Task_Dispatching_Policy = 'F' - and then ALIs.Table (ALIs.First).Time_Slice_Value = -1 - then - Set_Int (0); - else - Set_Int (ALIs.Table (ALIs.First).Time_Slice_Value); - end if; - - Set_Char (';'); - Write_Statement_Buffer; - - WBI (" extern char __gl_wc_encoding;"); - Set_String (" __gl_wc_encoding = '"); - Set_Char (Get_WC_Encoding); - - Set_String ("';"); - Write_Statement_Buffer; - - WBI (" extern char __gl_locking_policy;"); - Set_String (" __gl_locking_policy = '"); - Set_Char (Locking_Policy_Specified); - Set_String ("';"); - Write_Statement_Buffer; - - WBI (" extern char __gl_queuing_policy;"); - Set_String (" __gl_queuing_policy = '"); - Set_Char (Queuing_Policy_Specified); - Set_String ("';"); - Write_Statement_Buffer; - - WBI (" extern char __gl_task_dispatching_policy;"); - Set_String (" __gl_task_dispatching_policy = '"); - Set_Char (Task_Dispatching_Policy_Specified); - Set_String ("';"); - Write_Statement_Buffer; - - WBI (" extern int __gl_main_cpu;"); - Set_String (" __gl_main_cpu = "); - Set_Int (Main_CPU); - Set_Char (';'); - Write_Statement_Buffer; - - Gen_Restrictions_C; - - WBI (" extern const void *__gl_interrupt_states;"); - WBI (" __gl_interrupt_states = local_interrupt_states;"); - - WBI (" extern int __gl_num_interrupt_states;"); - Set_String (" __gl_num_interrupt_states = "); - Set_Int (IS_Pragma_Settings.Last + 1); - Set_String (";"); - Write_Statement_Buffer; - - WBI (" extern const void *__gl_priority_specific_dispatching;"); - WBI (" __gl_priority_specific_dispatching =" & - " local_priority_specific_dispatching;"); - - WBI (" extern int __gl_num_specific_dispatching;"); - Set_String (" __gl_num_specific_dispatching = "); - Set_Int (PSD_Pragma_Settings.Last + 1); - Set_String (";"); - Write_Statement_Buffer; - - WBI (" extern int __gl_unreserve_all_interrupts;"); - Set_String (" __gl_unreserve_all_interrupts = "); - Set_Int (Boolean'Pos (Unreserve_All_Interrupts_Specified)); - Set_String (";"); - Write_Statement_Buffer; - - if Exception_Tracebacks then - WBI (" extern int __gl_exception_tracebacks;"); - WBI (" __gl_exception_tracebacks = 1;"); - end if; - - WBI (" extern int __gl_zero_cost_exceptions;"); - Set_String (" __gl_zero_cost_exceptions = "); - Set_Int (Boolean'Pos (Zero_Cost_Exceptions_Specified)); - Set_String (";"); - Write_Statement_Buffer; - - WBI (" extern int __gl_detect_blocking;"); - Set_String (" __gl_detect_blocking = "); - - if Detect_Blocking then - Set_Int (1); - else - Set_Int (0); - end if; - - Set_String (";"); - Write_Statement_Buffer; - - WBI (" extern int __gl_default_stack_size;"); - Set_String (" __gl_default_stack_size = "); - Set_Int (Default_Stack_Size); - Set_String (";"); - Write_Statement_Buffer; - - WBI (" extern int __gl_leap_seconds_support;"); - Set_String (" __gl_leap_seconds_support = "); - - if Leap_Seconds_Support then - Set_Int (1); - else - Set_Int (0); - end if; - - Set_String (";"); - Write_Statement_Buffer; - - -- Import entry point for elaboration time signal handler - -- installation, and indication of if it's been called previously. - - WBI (" extern int __gnat_handler_installed;"); - WBI (""); - - -- Install elaboration time signal handler - - WBI (" if (__gnat_handler_installed == 0)"); - WBI (" __gnat_install_handler ();"); - - -- Import entry point for environment feature enable/disable - -- routine, and indication that it's been called previously. - - if OpenVMS_On_Target then - WBI (" extern int __gnat_features_set;"); - WBI (""); - - WBI (" if (__gnat_features_set == 0)"); - WBI (" __gnat_set_features ();"); - end if; - end if; - - -- Initialize stack limit for the environment task if the stack - -- check method is stack limit and stack check is enabled. - - if Stack_Check_Limits_On_Target - and then (Stack_Check_Default_On_Target or Stack_Check_Switch_Set) - then - WBI (""); - WBI (" __gnat_initialize_stack_limit ();"); - end if; - - -- Generate call to set Initialize_Scalar values if needed - - if Initialize_Scalars_Used then - WBI (""); - Set_String (" system__scalar_values__initialize('"); - Set_Char (Initialize_Scalars_Mode1); - Set_String ("', '"); - Set_Char (Initialize_Scalars_Mode2); - Set_String ("');"); - Write_Statement_Buffer; - end if; - - -- Generate assignment of default secondary stack size if set - - if Sec_Stack_Used and then Default_Sec_Stack_Size /= -1 then - WBI (""); - Set_String (" system__secondary_stack__"); - Set_String ("default_secondary_stack_size = "); - Set_Int (Opt.Default_Sec_Stack_Size); - Set_Char (';'); - Write_Statement_Buffer; - end if; - - -- In the main program case, attach finalize_library to the soft link. - -- Do it only when not using a restricted run time, in which case tasks - -- are non-terminating, so we do not want library-level finalization. - - if Bind_Main_Program - and then not Configurable_Run_Time_On_Target - and then not Suppress_Standard_Library_On_Target - then - WBI (""); - WBI (" extern void (*__gnat_finalize_library_objects)(void);"); - - if Lib_Final_Built then - Set_String (" __gnat_finalize_library_objects = "); - Set_String ("&finalize_library;"); - else - Set_String (" __gnat_finalize_library_objects = 0;"); - end if; - - Write_Statement_Buffer; - end if; - - -- Generate elaboration calls - - WBI (""); - Gen_Elab_Calls_C; - WBI ("}"); - WBI (""); - end Gen_Adainit_C; - ---------------------------- -- Gen_Elab_Externals_Ada -- ---------------------------- @@ -1361,45 +1012,6 @@ package body Bindgen is WBI (""); end Gen_Elab_Externals_Ada; - -------------------------- - -- Gen_Elab_Externals_C -- - -------------------------- - - procedure Gen_Elab_Externals_C is - begin - for E in Elab_Order.First .. Elab_Order.Last loop - declare - Unum : constant Unit_Id := Elab_Order.Table (E); - U : Unit_Record renames Units.Table (Unum); - - begin - -- Check for Elab entity to be set for this unit - - if U.Set_Elab_Entity - - -- Don't generate reference for stand alone library - - and then not U.SAL_Interface - - -- Don't generate reference for predefined file in No_Run_Time - -- mode, since we don't include the object files in this case - - and then not - (No_Run_Time_Mode - and then Is_Predefined_File_Name (U.Sfile)) - then - Set_String ("extern short int "); - Get_Name_String (U.Uname); - Set_Unit_Name; - Set_String ("_E;"); - Write_Statement_Buffer; - end if; - end; - end loop; - - WBI (""); - end Gen_Elab_Externals_C; - ------------------------ -- Gen_Elab_Calls_Ada -- ------------------------ @@ -1541,135 +1153,6 @@ package body Bindgen is end loop; end Gen_Elab_Calls_Ada; - ---------------------- - -- Gen_Elab_Calls_C -- - ---------------------- - - procedure Gen_Elab_Calls_C is - begin - for E in Elab_Order.First .. Elab_Order.Last loop - declare - Unum : constant Unit_Id := Elab_Order.Table (E); - U : Unit_Record renames Units.Table (Unum); - - Unum_Spec : Unit_Id; - -- This is the unit number of the spec that corresponds to - -- this entry. It is the same as Unum except when the body - -- and spec are different and we are currently processing - -- the body, in which case it is the spec (Unum + 1). - - begin - if U.Utype = Is_Body then - Unum_Spec := Unum + 1; - else - Unum_Spec := Unum; - end if; - - -- Nothing to do if predefined unit in no run time mode - - if No_Run_Time_Mode and then Is_Predefined_File_Name (U.Sfile) then - null; - - -- Likewise if this is an interface to a stand alone library - - elsif U.SAL_Interface then - null; - - -- Case of no elaboration code - - elsif U.No_Elab then - - -- The only case in which we have to do something is if this - -- is a body, with a separate spec, where the separate spec - -- has an elaboration entity defined. In that case, this is - -- where we increment the elaboration entity. - - if U.Utype = Is_Body - and then Units.Table (Unum_Spec).Set_Elab_Entity - then - Get_Name_String (U.Uname); - - Set_String (" "); - Set_Unit_Name; - Set_String ("_E++;"); - Write_Statement_Buffer; - end if; - - -- Here if elaboration code is present. If binding a library - -- or if there is a non-Ada main subprogram then we generate: - - -- if (uname_E == 0) - -- uname__elab[s|b] (); - -- uname_E++; - - -- Otherwise, elaboration routines are called unconditionally: - - -- uname__elab[s|b] (); - -- uname_E++; - - -- The uname_E increment is skipped if this is a separate spec, - -- since it will be done when we process the body. - - else - Get_Name_String (U.Uname); - - if Force_Checking_Of_Elaboration_Flags - or Interface_Library_Unit - or not Bind_Main_Program - then - Set_String (" if ("); - Set_Unit_Name; - Set_String ("_E == 0)"); - Write_Statement_Buffer; - Set_String (" "); - end if; - - Set_String (" "); - Set_Unit_Name; - Set_String ("___elab"); - Set_Char (Name_Buffer (Name_Len)); -- 's' or 'b' for spec/body - Set_String (" ();"); - Write_Statement_Buffer; - - if U.Utype /= Is_Spec then - Set_String (" "); - Set_Unit_Name; - Set_String ("_E++;"); - Write_Statement_Buffer; - end if; - end if; - end; - end loop; - end Gen_Elab_Calls_C; - - ---------------------- - -- Gen_Elab_Defs_C -- - ---------------------- - - procedure Gen_Elab_Defs_C is - begin - WBI ("/* BEGIN ELABORATION DEFINITIONS */"); - - for E in Elab_Order.First .. Elab_Order.Last loop - - -- Generate declaration of elaboration procedure if elaboration - -- needed. Note that passive units are always excluded. - - if not Units.Table (Elab_Order.Table (E)).No_Elab then - Get_Name_String (Units.Table (Elab_Order.Table (E)).Uname); - Set_String ("extern void "); - Set_Unit_Name; - Set_String ("___elab"); - Set_Char (Name_Buffer (Name_Len)); -- 's' or 'b' for spec/body - Set_String (" (void);"); - Write_Statement_Buffer; - end if; - end loop; - - WBI ("/* END ELABORATION DEFINITIONS */"); - WBI (""); - end Gen_Elab_Defs_C; - ------------------------ -- Gen_Elab_Order_Ada -- ------------------------ @@ -1689,24 +1172,6 @@ package body Bindgen is WBI (""); end Gen_Elab_Order_Ada; - ---------------------- - -- Gen_Elab_Order_C -- - ---------------------- - - procedure Gen_Elab_Order_C is - begin - WBI ("/* BEGIN ELABORATION ORDER"); - - for J in Elab_Order.First .. Elab_Order.Last loop - Get_Name_String (Units.Table (Elab_Order.Table (J)).Uname); - Set_Name_Buffer; - Write_Statement_Buffer; - end loop; - - WBI (" END ELABORATION ORDER */"); - WBI (""); - end Gen_Elab_Order_C; - ------------------------------ -- Gen_Finalize_Library_Ada -- ------------------------------ @@ -1979,194 +1444,6 @@ package body Bindgen is end if; end Gen_Finalize_Library_Ada; - ---------------------------- - -- Gen_Finalize_Library_C -- - ---------------------------- - - procedure Gen_Finalize_Library_C is - U : Unit_Record; - Uspec : Unit_Record; - Unum : Unit_Id; - - procedure Gen_Header; - -- Generate the header of the finalization routine - - procedure Gen_Header is - begin - WBI ("static void finalize_library(void) {"); - end Gen_Header; - - begin - for E in reverse Elab_Order.First .. Elab_Order.Last loop - Unum := Elab_Order.Table (E); - U := Units.Table (Unum); - - -- Dealing with package bodies is a little complicated. In such - -- cases we must retrieve the package spec since it contains the - -- spec of the body finalizer. - - if U.Utype = Is_Body then - Unum := Unum + 1; - Uspec := Units.Table (Unum); - else - Uspec := U; - end if; - - Get_Name_String (Uspec.Uname); - - -- We are only interested in non-generic packages - - if U.Unit_Kind /= 'p' or else U.Is_Generic then - null; - - -- .. that are not interfaces to a stand alone library - - elsif U.SAL_Interface then - null; - - -- Case of no finalization - - elsif not U.Has_Finalizer then - - -- The only case in which we have to do something is if this - -- is a body, with a separate spec, where the separate spec - -- has a finalizer. In that case, this is where we decrement - -- the elaboration entity. - - if U.Utype = Is_Body and then Uspec.Has_Finalizer then - if not Lib_Final_Built then - Gen_Header; - Lib_Final_Built := True; - end if; - - Set_String (" "); - Set_Unit_Name; - Set_String ("_E--;"); - Write_Statement_Buffer; - end if; - - else - if not Lib_Final_Built then - Gen_Header; - Lib_Final_Built := True; - end if; - - -- If binding a library or if there is a non-Ada main subprogram - -- then we generate: - - -- uname_E--; - -- if (uname_E == 0) - -- uname__finalize_[spec|body] (); - - -- Otherwise, finalization routines are called unconditionally: - - -- uname_E--; - -- uname__finalize_[spec|body] (); - - -- The uname_E decrement is skipped if this is a separate spec, - -- since it will be done when we process the body. - - if U.Utype /= Is_Spec then - Set_String (" "); - Set_Unit_Name; - Set_String ("_E--;"); - Write_Statement_Buffer; - end if; - - if Interface_Library_Unit or not Bind_Main_Program then - Set_String (" if ("); - Set_Unit_Name; - Set_String ("_E == 0)"); - Write_Statement_Buffer; - Set_String (" "); - end if; - - Set_String (" "); - Get_Name_String (Uspec.Uname); - Set_Unit_Name; - Set_String ("__finalize_"); - - -- Package spec processing - - if U.Utype = Is_Spec - or else U.Utype = Is_Spec_Only - then - Set_String ("spec"); - - -- Package body processing - - else - Set_String ("body"); - end if; - - Set_String (" ();"); - - Write_Statement_Buffer; - end if; - end loop; - - if Lib_Final_Built then - WBI ("}"); - WBI (""); - end if; - end Gen_Finalize_Library_C; - - --------------------------------- - -- Gen_Finalize_Library_Defs_C -- - --------------------------------- - - procedure Gen_Finalize_Library_Defs_C is - U : Unit_Record; - Uspec : Unit_Record; - Unum : Unit_Id; - - begin - WBI ("/* BEGIN FINALIZE DEFINITIONS */"); - - for E in reverse Elab_Order.First .. Elab_Order.Last loop - Unum := Elab_Order.Table (E); - U := Units.Table (Unum); - - -- We are only interested in non-generic packages - - if U.Unit_Kind = 'p' - and then U.Has_Finalizer - and then not U.Is_Generic - and then not U.No_Elab - then - -- Dealing with package bodies is a little complicated. In such - -- cases we must retrieve the package spec since it contains the - -- spec of the body finalizer. - - if U.Utype = Is_Body then - Unum := Unum + 1; - Uspec := Units.Table (Unum); - else - Uspec := U; - end if; - - Set_String ("extern void "); - Get_Name_String (Uspec.Uname); - Set_Unit_Name; - Set_String ("__finalize_"); - - if U.Utype = Is_Spec - or else U.Utype = Is_Spec_Only - then - Set_String ("spec"); - else - Set_String ("body"); - end if; - - Set_String (" (void);"); - Write_Statement_Buffer; - end if; - end loop; - - WBI ("/* END FINALIZE DEFINITIONS */"); - WBI (""); - end Gen_Finalize_Library_Defs_C; - -------------------------- -- Gen_CodePeer_Wrapper -- -------------------------- @@ -2454,201 +1731,6 @@ package body Bindgen is WBI (""); end Gen_Main_Ada; - ---------------- - -- Gen_Main_C -- - ---------------- - - procedure Gen_Main_C is - begin - if Exit_Status_Supported_On_Target then - WBI ("#include <stdlib.h>"); - WBI (""); - Set_String ("int "); - else - Set_String ("void "); - end if; - - Set_String (Get_Main_Name); - - -- Generate command line args in prototype if present on target - - if Command_Line_Args_On_Target then - Write_Statement_Buffer (" (int argc, char **argv, char **envp)"); - - -- Case of no command line arguments on target - - else - Write_Statement_Buffer (" (void)"); - end if; - - WBI ("{"); - - -- Generate a reference to __gnat_ada_main_program_name. This symbol - -- is not referenced elsewhere in the generated program, but is - -- needed by the debugger (that's why it is generated in the first - -- place). The reference stops Ada_Main_Program_Name from being - -- optimized away by smart linkers, such as the AiX linker. - - -- Because this variable is unused, we declare this variable as - -- volatile in order to tell the compiler to preserve it at any - -- level of optimization. - - if Bind_Main_Program then - WBI (" char * volatile ensure_reference " & - "__attribute__ ((__unused__)) = " & - "__gnat_ada_main_program_name;"); - WBI (""); - - if not Suppress_Standard_Library_On_Target - and then not No_Main_Subprogram - then - WBI (" int SEH [2];"); - WBI (""); - end if; - end if; - - -- If main program is a function, generate result variable - - if ALIs.Table (ALIs.First).Main_Program = Func then - WBI (" int result;"); - end if; - - -- Set command line argument values from parameters if command line - -- arguments are present on target - - if Command_Line_Args_On_Target then - WBI (" gnat_argc = argc;"); - WBI (" gnat_argv = argv;"); - WBI (" gnat_envp = envp;"); - WBI (""); - - -- If configurable run-time, then nothing to do, since in this case - -- the gnat_argc/argv/envp variables are entirely suppressed. - - elsif Configurable_Run_Time_On_Target then - null; - - -- if no command line arguments on target, set dummy values - - else - WBI (" gnat_argc = 0;"); - WBI (" gnat_argv = 0;"); - WBI (" gnat_envp = 0;"); - end if; - - if Opt.Default_Exit_Status /= 0 - and then Bind_Main_Program - and then not Configurable_Run_Time_Mode - then - Set_String (" __gnat_set_exit_status ("); - Set_Int (Opt.Default_Exit_Status); - Set_String (");"); - Write_Statement_Buffer; - end if; - - -- Initializes dynamic stack measurement if needed - - if Dynamic_Stack_Measurement then - Set_String (" __gnat_stack_usage_initialize ("); - Set_Int (Dynamic_Stack_Measurement_Array_Size); - Set_String (");"); - Write_Statement_Buffer; - end if; - - -- The __gnat_initialize routine is used only if we have a run-time - - if not Suppress_Standard_Library_On_Target then - if not No_Main_Subprogram and then Bind_Main_Program then - WBI (" __gnat_initialize ((void *)SEH);"); - else - WBI (" __gnat_initialize ((void *)0);"); - end if; - end if; - - WBI (" " & Ada_Init_Name.all & " ();"); - - if not No_Main_Subprogram then - - -- Output main program name - - Get_Name_String (Units.Table (First_Unit_Entry).Uname); - - -- Main program is procedure case - - if ALIs.Table (ALIs.First).Main_Program = Proc then - Set_String (" "); - Set_Main_Program_Name; - Set_String (" ();"); - Write_Statement_Buffer; - - -- Main program is function case - - else -- ALIs.Table (ALIs_First).Main_Program = Func - Set_String (" result = "); - Set_Main_Program_Name; - Set_String (" ();"); - Write_Statement_Buffer; - end if; - - end if; - - -- Call adafinal if finalization active - - if not Cumulative_Restrictions.Set (No_Finalization) then - WBI (" " & Ada_Final_Name.all & " ();"); - end if; - - -- Outputs the dynamic stack measurement if needed - - if Dynamic_Stack_Measurement then - WBI (" __gnat_stack_usage_output_results ();"); - end if; - - -- The finalize routine is used only if we have a run-time - - if not Suppress_Standard_Library_On_Target then - WBI (" __gnat_finalize ();"); - end if; - - -- Case of main program is a function, so the value it returns - -- is the exit status in this case. - - if ALIs.Table (ALIs.First).Main_Program = Func then - if Exit_Status_Supported_On_Target then - - -- VMS must use Posix exit routine in order to get the effect - -- of a Unix compatible setting of the program exit status. - -- For all other systems, we use the standard exit routine. - - if OpenVMS_On_Target then - WBI (" decc$__posix_exit (result);"); - else - WBI (" exit (result);"); - end if; - end if; - - -- Case of main program is a procedure, in which case the exit - -- status is whatever was set by a Set_Exit call most recently - - else - if Exit_Status_Supported_On_Target then - - -- VMS must use Posix exit routine in order to get the effect - -- of a Unix compatible setting of the program exit status. - -- For all other systems, we use the standard exit routine. - - if OpenVMS_On_Target then - WBI (" decc$__posix_exit (gnat_exit_status);"); - else - WBI (" exit (gnat_exit_status);"); - end if; - end if; - end if; - - WBI ("}"); - WBI (""); - end Gen_Main_C; - ------------------------------ -- Gen_Object_Files_Options -- ------------------------------ @@ -2706,8 +1788,7 @@ package body Bindgen is Write_Str (Name_Buffer (Start .. Stop - 1)); Write_Eol; end if; - Write_Info_Ada_C - (" -- ", "", Name_Buffer (Start .. Stop - 1)); + WBI (" -- " & Name_Buffer (Start .. Stop - 1)); end if; Start := Stop + 1; @@ -2717,7 +1798,7 @@ package body Bindgen is -- Start of processing for Gen_Object_Files_Options begin - Write_Info_Ada_C ("-- ", "/* ", " BEGIN Object file/option list"); + WBI ("-- BEGIN Object file/option list"); if Object_List_Filename /= null then Set_List_File (Object_List_Filename.all); @@ -2742,7 +1823,7 @@ package body Bindgen is or else System.OS_Lib.Is_Regular_File (Name_Buffer (1 .. Name_Len)) then - Write_Info_Ada_C (" -- ", "", Name_Buffer (1 .. Name_Len)); + WBI (" -- " & Name_Buffer (1 .. Name_Len)); if Output_Object_List then Write_Str (Name_Buffer (1 .. Name_Len)); @@ -2857,7 +1938,7 @@ package body Bindgen is -- Write directly to avoid -K output (why???) - Write_Info_Ada_C (" -- ", "", Name_Buffer (1 .. Name_Len)); + WBI (" -- " & Name_Buffer (1 .. Name_Len)); if With_DECGNAT then Name_Len := 0; @@ -2905,11 +1986,7 @@ package body Bindgen is Write_Eol; end if; - if Ada_Bind_File then - WBI ("-- END Object file/option list "); - else - WBI (" END Object file/option list */"); - end if; + WBI ("-- END Object file/option list "); end Gen_Object_Files_Options; --------------------- @@ -2926,16 +2003,10 @@ package body Bindgen is Set_PSD_Pragma_Table; - -- Override Ada_Bind_File and Bind_Main_Program for VMs since JGNAT only - -- supports Ada code, and the main program is already generated by the - -- compiler. - - if VM_Target /= No_VM then - Ada_Bind_File := True; + -- For JGNAT the main program is already generated by the compiler - if VM_Target = JVM_Target then - Bind_Main_Program := False; - end if; + if VM_Target = JVM_Target then + Bind_Main_Program := False; end if; -- Override time slice value if -T switch is set @@ -2958,11 +2029,7 @@ package body Bindgen is Check_System_Restrictions_Used; - if Ada_Bind_File then - Gen_Output_File_Ada (Filename); - else - Gen_Output_File_C (Filename); - end if; + Gen_Output_File_Ada (Filename); end Gen_Output_File; ------------------------- @@ -3335,217 +2402,6 @@ package body Bindgen is Close_Binder_Output; end Gen_Output_File_Ada; - ----------------------- - -- Gen_Output_File_C -- - ----------------------- - - procedure Gen_Output_File_C (Filename : String) is - - Needs_Library_Finalization : constant Boolean := - not Configurable_Run_Time_On_Target - and then Has_Finalizer; - -- ??? seems like we repeat this cantation often, should it be global? - - Bfile : Name_Id; - pragma Warnings (Off, Bfile); - -- Name of generated bind file (not referenced) - - begin - Create_Binder_Output (Filename, 'c', Bfile); - - Resolve_Binder_Options; - - -- If -a has been specified use __attribute__((constructor)) for the - -- init procedure and __attribute__((destructor)) for the final one. - - if Use_Pragma_Linker_Constructor then - WBI ("extern void " & Ada_Init_Name.all & - " (void) __attribute__((constructor));"); - else - WBI ("extern void " & Ada_Init_Name.all & " (void);"); - end if; - - if not Cumulative_Restrictions.Set (No_Finalization) then - if Use_Pragma_Linker_Constructor then - WBI ("extern void " & Ada_Final_Name.all & - " (void) __attribute__((destructor));"); - else - WBI ("extern void " & Ada_Final_Name.all & " (void);"); - end if; - end if; - - WBI ("extern void system__standard_library__adafinal (void);"); - - if not No_Main_Subprogram then - Set_String ("extern "); - - if Exit_Status_Supported_On_Target then - Set_String ("int"); - else - Set_String ("void"); - end if; - - Set_String (" main "); - - if Command_Line_Args_On_Target then - Write_Statement_Buffer ("(int, char **, char **);"); - else - Write_Statement_Buffer ("(void);"); - end if; - - if OpenVMS_On_Target then - WBI ("extern void decc$__posix_exit (int);"); - else - WBI ("extern void exit (int);"); - end if; - - Set_String ("extern "); - - if ALIs.Table (ALIs.First).Main_Program = Proc then - Set_String ("void "); - else - Set_String ("int "); - end if; - - Get_Name_String (Units.Table (First_Unit_Entry).Uname); - Set_Main_Program_Name; - Set_String (" (void);"); - Write_Statement_Buffer; - end if; - - if not Suppress_Standard_Library_On_Target then - WBI ("extern void __gnat_initialize (void *);"); - WBI ("extern void __gnat_finalize (void);"); - WBI ("extern void __gnat_install_handler (void);"); - end if; - - if Dynamic_Stack_Measurement then - WBI (""); - WBI ("extern void __gnat_stack_usage_output_results (void);"); - WBI ("extern void __gnat_stack_usage_initialize (int size);"); - end if; - - -- Initialize stack limit for the environment task if the stack check - -- method is stack limit and stack check is enabled. - - if Stack_Check_Limits_On_Target - and then (Stack_Check_Default_On_Target or Stack_Check_Switch_Set) - then - WBI (""); - WBI ("extern void __gnat_initialize_stack_limit (void);"); - end if; - - WBI (""); - - -- Generate externals for elaboration entities - Gen_Elab_Externals_C; - - Gen_Elab_Defs_C; - - if Needs_Library_Finalization then - Gen_Finalize_Library_Defs_C; - end if; - - -- Write argv/argc exit status stuff if main program case - - if Bind_Main_Program then - - -- First deal with argc/argv/envp. In the normal case they are in the - -- run-time library. - - if not Configurable_Run_Time_On_Target then - WBI ("extern int gnat_argc;"); - WBI ("extern char **gnat_argv;"); - WBI ("extern char **gnat_envp;"); - - -- If configurable run time and no command line args, then the - -- generation of these variables is entirely suppressed. - - elsif not Command_Line_Args_On_Target then - null; - - -- Otherwise, in the configurable run-time case they are right in the - -- binder file. - - else - WBI ("int gnat_argc;"); - WBI ("char **gnat_argv;"); - WBI ("char **gnat_envp;"); - end if; - - -- Similarly deal with exit status - - if not Configurable_Run_Time_On_Target then - WBI ("extern int gnat_exit_status;"); - - -- If configurable run time and no exit status on target, then the - -- generation of this variables is entirely suppressed. - - elsif not Exit_Status_Supported_On_Target then - null; - - -- Otherwise, in the configurable run-time case this variable is - -- right in the binder file, and initialized to zero there. - - else - WBI ("int gnat_exit_status = 0;"); - end if; - - WBI (""); - end if; - - -- Generate the __gnat_version and __gnat_ada_main_program_name info - -- only for the main program. Otherwise, it can lead under some - -- circumstances to a symbol duplication during the link (for instance - -- when a C program uses 2 Ada libraries) - - if Bind_Main_Program then - WBI ("char __gnat_version[] = """ & Ver_Prefix & - Gnat_Version_String & """;"); - - Set_String ("char __gnat_ada_main_program_name[] = """); - Get_Name_String (Units.Table (First_Unit_Entry).Uname); - Set_Main_Program_Name; - Set_String (""";"); - Write_Statement_Buffer; - WBI (""); - end if; - - -- The B.1 (39) implementation advice says that the adainit/adafinal - -- routines should be idempotent. Generate a flag to ensure that. - - WBI ("static char is_elaborated = 0;"); - WBI (""); - - -- Generate the adafinal routine unless there is no finalization to do - - if not Cumulative_Restrictions.Set (No_Finalization) then - if Needs_Library_Finalization then - Gen_Finalize_Library_C; - end if; - - Gen_Adafinal_C; - end if; - - Gen_Adainit_C; - - -- Main is only present for Ada main case - - if Bind_Main_Program then - Gen_Main_C; - end if; - - -- Generate versions, elaboration order, list of object files - - Gen_Versions_C; - Gen_Elab_Order_C; - Gen_Object_Files_Options; - - -- C binder output is complete - - Close_Binder_Output; - end Gen_Output_File_C; - -------------------------- -- Gen_Restrictions_Ada -- -------------------------- @@ -3628,96 +2484,6 @@ package body Bindgen is Write_Statement_Buffer; end Gen_Restrictions_Ada; - ------------------------ - -- Gen_Restrictions_C -- - ------------------------ - - procedure Gen_Restrictions_C is - begin - if Suppress_Standard_Library_On_Target - or not System_Restrictions_Used - then - return; - end if; - - WBI (" typedef struct {"); - Set_String (" char set ["); - Set_Int (Cumulative_Restrictions.Set'Length); - Set_String ("];"); - Write_Statement_Buffer; - - Set_String (" int value ["); - Set_Int (Cumulative_Restrictions.Value'Length); - Set_String ("];"); - Write_Statement_Buffer; - - Set_String (" char violated ["); - Set_Int (Cumulative_Restrictions.Violated'Length); - Set_String ("];"); - Write_Statement_Buffer; - - Set_String (" int count ["); - Set_Int (Cumulative_Restrictions.Count'Length); - Set_String ("];"); - Write_Statement_Buffer; - - Set_String (" char unknown ["); - Set_Int (Cumulative_Restrictions.Unknown'Length); - Set_String ("];"); - Write_Statement_Buffer; - WBI (" } restrictions;"); - WBI (" extern restrictions " & - "system__restrictions__run_time_restrictions;"); - WBI (" restrictions r = {"); - Set_String (" {"); - - for J in Cumulative_Restrictions.Set'Range loop - Set_Int (Boolean'Pos (Cumulative_Restrictions.Set (J))); - Set_String (", "); - end loop; - - Set_String_Replace ("},"); - Write_Statement_Buffer; - Set_String (" {"); - - for J in Cumulative_Restrictions.Value'Range loop - Set_Int (Int (Cumulative_Restrictions.Value (J))); - Set_String (", "); - end loop; - - Set_String_Replace ("},"); - Write_Statement_Buffer; - Set_String (" {"); - - for J in Cumulative_Restrictions.Violated'Range loop - Set_Int (Boolean'Pos (Cumulative_Restrictions.Violated (J))); - Set_String (", "); - end loop; - - Set_String_Replace ("},"); - Write_Statement_Buffer; - Set_String (" {"); - - for J in Cumulative_Restrictions.Count'Range loop - Set_Int (Int (Cumulative_Restrictions.Count (J))); - Set_String (", "); - end loop; - - Set_String_Replace ("},"); - Write_Statement_Buffer; - Set_String (" {"); - - for J in Cumulative_Restrictions.Unknown'Range loop - Set_Int (Boolean'Pos (Cumulative_Restrictions.Unknown (J))); - Set_String (", "); - end loop; - - Set_String_Replace ("}}"); - Set_String (";"); - Write_Statement_Buffer; - WBI (" system__restrictions__run_time_restrictions = r;"); - end Gen_Restrictions_C; - ---------------------- -- Gen_Versions_Ada -- ---------------------- @@ -3795,54 +2561,6 @@ package body Bindgen is end loop; end Gen_Versions_Ada; - -------------------- - -- Gen_Versions_C -- - -------------------- - - -- This routine generates a line of the form: - - -- unsigned unam = 0xhhhhhhhh; - - -- for each unit, where unam is the unit name suffixed by either B or S for - -- body or spec, with dots replaced by double underscores. - - procedure Gen_Versions_C is - begin - for U in Units.First .. Units.Last loop - if not Units.Table (U).SAL_Interface - and then - (not Bind_For_Library or else Units.Table (U).Directly_Scanned) - then - Set_String ("unsigned "); - - Get_Name_String (Units.Table (U).Uname); - - for K in 1 .. Name_Len loop - if Name_Buffer (K) = '.' then - Set_String ("__"); - - elsif Name_Buffer (K) = '%' then - exit; - - else - Set_Char (Name_Buffer (K)); - end if; - end loop; - - if Name_Buffer (Name_Len) = 's' then - Set_Char ('S'); - else - Set_Char ('B'); - end if; - - Set_String (" = 0x"); - Set_String (Units.Table (U).Version); - Set_Char (';'); - Write_Statement_Buffer; - end if; - end loop; - end Gen_Versions_C; - ------------------------ -- Get_Main_Unit_Name -- ------------------------ @@ -4291,32 +3009,6 @@ package body Bindgen is Set_Int (Unum); end Set_Unit_Number; - ---------------------- - -- Write_Info_Ada_C -- - ---------------------- - - procedure Write_Info_Ada_C (Ada : String; C : String; Common : String) is - begin - if Ada_Bind_File then - declare - S : String (1 .. Ada'Length + Common'Length); - begin - S (1 .. Ada'Length) := Ada; - S (Ada'Length + 1 .. S'Length) := Common; - WBI (S); - end; - - else - declare - S : String (1 .. C'Length + Common'Length); - begin - S (1 .. C'Length) := C; - S (C'Length + 1 .. S'Length) := Common; - WBI (S); - end; - end if; - end Write_Info_Ada_C; - ---------------------------- -- Write_Statement_Buffer -- ---------------------------- |