1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
9 -- Copyright (C) 1992-2006, 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 2, 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. See the GNU General Public License --
17 -- for more details. You should have received a copy of the GNU General --
18 -- Public License distributed with GNAT; see file COPYING. If not, write --
19 -- to the Free Software Foundation, 51 Franklin Street, Fifth Floor, --
20 -- Boston, MA 02110-1301, USA. --
22 -- GNAT was originally developed by the GNAT team at New York University. --
23 -- Extensive contributions were provided by Ada Core Technologies Inc. --
25 ------------------------------------------------------------------------------
28 with ALI
.Util
; use ALI
.Util
;
29 with Bcheck
; use Bcheck
;
30 with Binde
; use Binde
;
31 with Binderr
; use Binderr
;
32 with Bindgen
; use Bindgen
;
34 with Butil
; use Butil
;
35 with Casing
; use Casing
;
37 with Debug
; use Debug
;
39 with Gnatvsn
; use Gnatvsn
;
40 with Namet
; use Namet
;
42 with Osint
; use Osint
;
43 with Osint
.B
; use Osint
.B
;
44 with Output
; use Output
;
45 with Rident
; use Rident
;
47 with Switch
; use Switch
;
48 with Switch
.B
; use Switch
.B
;
49 with Targparm
; use Targparm
;
50 with Types
; use Types
;
52 with System
.Case_Util
; use System
.Case_Util
;
56 Total_Errors
: Nat
:= 0;
57 -- Counts total errors in all files
59 Total_Warnings
: Nat
:= 0;
60 -- Total warnings in all files
62 Main_Lib_File
: File_Name_Type
;
63 -- Current main library file
65 Std_Lib_File
: File_Name_Type
;
68 Text
: Text_Buffer_Ptr
;
71 Output_File_Name_Seen
: Boolean := False;
72 Output_File_Name
: String_Ptr
:= new String'("");
74 L_Switch_Seen : Boolean := False;
76 Mapping_File : String_Ptr := null;
78 function Gnatbind_Supports_Auto_Init return Boolean;
79 -- Indicates if automatic initialization of elaboration procedure
80 -- through the constructor mechanism is possible on the platform.
82 procedure List_Applicable_Restrictions;
83 -- List restrictions that apply to this partition if option taken
85 procedure Scan_Bind_Arg (Argv : String);
86 -- Scan and process binder specific arguments. Argv is a single argument.
87 -- All the one character arguments are still handled by Switch. This
88 -- routine handles -aO -aI and -I-.
90 function Is_Cross_Compiler return Boolean;
91 -- Returns True iff this is a cross-compiler
93 ---------------------------------
94 -- Gnatbind_Supports_Auto_Init --
95 ---------------------------------
97 function Gnatbind_Supports_Auto_Init return Boolean is
98 function gnat_binder_supports_auto_init return Integer;
99 pragma Import (C, gnat_binder_supports_auto_init,
100 "__gnat_binder_supports_auto_init");
102 return gnat_binder_supports_auto_init /= 0;
103 end Gnatbind_Supports_Auto_Init;
105 -----------------------
106 -- Is_Cross_Compiler --
107 -----------------------
109 function Is_Cross_Compiler return Boolean is
110 Cross_Compiler : Integer;
111 pragma Import (C, Cross_Compiler, "__gnat_is_cross_compiler");
113 return Cross_Compiler = 1;
114 end Is_Cross_Compiler;
116 ----------------------------------
117 -- List_Applicable_Restrictions --
118 ----------------------------------
120 procedure List_Applicable_Restrictions is
122 -- Define those restrictions that should be output if the gnatbind
123 -- -r switch is used. Not all restrictions are output for the reasons
124 -- given above in the list, and this array is used to test whether
125 -- the corresponding pragma should be listed. True means that it
126 -- should not be listed.
128 No_Restriction_List : constant array (All_Restrictions) of Boolean :=
129 (No_Exceptions => True,
130 -- Has unexpected Suppress (All_Checks) effect
132 No_Implicit_Conditionals => True,
133 -- This could modify and pessimize generated code
135 No_Implicit_Dynamic_Code => True,
136 -- This could modify and pessimize generated code
138 No_Implicit_Loops => True,
139 -- This could modify and pessimize generated code
141 No_Recursion => True,
142 -- Not checkable at compile time
144 No_Reentrancy => True,
145 -- Not checkable at compile time
147 Max_Entry_Queue_Length => True,
148 -- Not checkable at compile time
150 Max_Storage_At_Blocking => True,
151 -- Not checkable at compile time
155 Additional_Restrictions_Listed : Boolean := False;
156 -- Set True if we have listed header for restrictions
159 -- Loop through restrictions
161 for R in All_Restrictions loop
162 if not No_Restriction_List (R) then
164 -- We list a restriction if it is not violated, or if
165 -- it is violated but the violation count is exactly known.
167 if Cumulative_Restrictions.Violated (R) = False
168 or else (R in All_Parameter_Restrictions
170 Cumulative_Restrictions.Unknown (R) = False)
172 if not Additional_Restrictions_Listed then
175 ("The following additional restrictions may be" &
176 " applied to this partition:");
177 Additional_Restrictions_Listed := True;
180 Write_Str ("pragma Restrictions (");
183 S : constant String := Restriction_Id'Image (R);
185 Name_Len := S'Length;
186 Name_Buffer (1 .. Name_Len) := S;
189 Set_Casing (Mixed_Case);
190 Write_Str (Name_Buffer (1 .. Name_Len));
192 if R in All_Parameter_Restrictions then
194 Write_Int (Int (Cumulative_Restrictions.Count (R)));
202 end List_Applicable_Restrictions;
208 procedure Scan_Bind_Arg (Argv : String) is
210 -- Now scan arguments that are specific to the binder and are not
211 -- handled by the common circuitry in Switch.
213 if Opt.Output_File_Name_Present
214 and then not Output_File_Name_Seen
216 Output_File_Name_Seen := True;
219 or else (Argv'Length >= 1 and then Argv (1) = '-')
221 Fail ("output File_Name missing after -o");
224 Output_File_Name := new String'(Argv
);
227 elsif Argv
'Length >= 2 and then Argv
(1) = '-' then
231 if Argv
(2 .. Argv
'Last) = "I-" then
232 Opt
.Look_In_Primary_Dir
:= False;
236 elsif Argv
(2) = 'I' then
237 Add_Src_Search_Dir
(Argv
(3 .. Argv
'Last));
238 Add_Lib_Search_Dir
(Argv
(3 .. Argv
'Last));
242 elsif Argv
(2) = 'L' then
243 if Argv
'Length >= 3 then
245 -- Remember that the -L switch was specified, so that if this
246 -- is on OpenVMS, the export names are put in uppercase.
247 -- This is not known before the target parameters are read.
249 L_Switch_Seen
:= True;
251 Opt
.Bind_For_Library
:= True;
253 new String'(Argv (3 .. Argv'Last) & Opt.Ada_Init_Suffix);
254 Opt.Ada_Final_Name :=
255 new String'(Argv
(3 .. Argv
'Last) & Opt
.Ada_Final_Suffix
);
257 new String'(Argv (3 .. Argv'Last) & Opt.Ada_Main_Name_Suffix);
259 -- This option (-Lxxx) implies -n
261 Opt.Bind_Main_Program := False;
265 ("Prefix of initialization and finalization " &
266 "procedure names missing in -L");
269 -- -Sin -Slo -Shi -Sxx
271 elsif Argv'Length = 4
272 and then Argv (2) = 'S
'
275 C1 : Character := Argv (3);
276 C2 : Character := Argv (4);
279 -- Fold to upper case
281 if C1 in 'a
' .. 'z
' then
282 C1 := Character'Val (Character'Pos (C1) - 32);
285 if C2 in 'a
' .. 'z
' then
286 C2 := Character'Val (Character'Pos (C2) - 32);
289 -- Test valid option and set mode accordingly
291 if C1 = 'E
' and then C2 = 'V
' then
294 elsif C1 = 'I
' and then C2 = 'N
' then
297 elsif C1 = 'L
' and then C2 = 'O
' then
300 elsif C1 = 'H
' and then C2 = 'I
' then
303 elsif (C1 in '0' .. '9' or else C1 in 'A
' .. 'F
')
305 (C2 in '0' .. '9' or else C2 in 'A
' .. 'F
')
309 -- Invalid -S switch, let Switch give error, set defalut of IN
312 Scan_Binder_Switches (Argv);
317 Initialize_Scalars_Mode1 := C1;
318 Initialize_Scalars_Mode2 := C2;
323 elsif Argv'Length >= 3
324 and then Argv (2 .. 3) = "aI"
326 Add_Src_Search_Dir (Argv (4 .. Argv'Last));
330 elsif Argv'Length >= 3
331 and then Argv (2 .. 3) = "aO"
333 Add_Lib_Search_Dir (Argv (4 .. Argv'Last));
337 elsif Argv (2 .. Argv'Last) = "nostdlib" then
338 Opt.No_Stdlib := True;
342 elsif Argv (2 .. Argv'Last) = "nostdinc" then
343 Opt.No_Stdinc := True;
347 elsif Argv (2 .. Argv'Last) = "static" then
348 Opt.Shared_Libgnat := False;
352 elsif Argv (2 .. Argv'Last) = "shared" then
353 Opt.Shared_Libgnat := True;
357 elsif Argv'Length >= 4 and then Argv (2 .. 3) = "F=" then
358 if Mapping_File /= null then
359 Fail ("cannot specify several mapping files");
362 Mapping_File := new String'(Argv
(4 .. Argv
'Last));
366 elsif Argv
'Length >= 3 and then Argv
(2) = 'M' then
367 if not Is_Cross_Compiler
then
369 ("gnatbind: -M not expected to be used on native platforms");
372 Opt
.Bind_Alternate_Main_Name
:= True;
373 Opt
.Alternate_Main_Name
:= new String'(Argv (3 .. Argv'Last));
375 -- All other options are single character and are handled by
376 -- Scan_Binder_Switches.
379 Scan_Binder_Switches (Argv);
382 -- Not a switch, so must be a file name (if non-empty)
384 elsif Argv'Length /= 0 then
386 and then Argv (Argv'Last - 3 .. Argv'Last) = ".ali"
390 Add_File (Argv & ".ali");
395 -- Start of processing for Gnatbind
399 -- Set default for Shared_Libgnat option
402 Shared_Libgnat_Default : Character;
404 (C, Shared_Libgnat_Default, "__gnat_shared_libgnat_default");
406 SHARED : constant Character := 'H
';
407 STATIC : constant Character := 'T
';
411 (Shared_Libgnat_Default = SHARED
413 Shared_Libgnat_Default = STATIC);
414 Shared_Libgnat := (Shared_Libgnat_Default = SHARED);
417 -- Use low level argument routines to avoid dragging in the secondary stack
420 Scan_Args : while Next_Arg < Arg_Count loop
422 Next_Argv : String (1 .. Len_Arg (Next_Arg));
425 Fill_Arg (Next_Argv'Address, Next_Arg);
426 Scan_Bind_Arg (Next_Argv);
428 Next_Arg := Next_Arg + 1;
431 if Use_Pragma_Linker_Constructor then
432 if Bind_Main_Program then
433 Fail ("switch -a must be used in conjunction with -n or -Lxxx");
435 elsif not Gnatbind_Supports_Auto_Init then
436 Fail ("automatic initialisation of elaboration " &
437 "not supported on this platform");
441 -- Test for trailing -o switch
443 if Opt.Output_File_Name_Present
444 and then not Output_File_Name_Seen
446 Fail ("output file name missing after -o");
449 -- Output usage if requested
451 if Usage_Requested then
455 -- Check that the Ada binder file specified has extension .adb and that
456 -- the C binder file has extension .c
458 if Opt.Output_File_Name_Present
459 and then Output_File_Name_Seen
461 Check_Extensions : declare
462 Length : constant Natural := Output_File_Name'Length;
463 Last : constant Natural := Output_File_Name'Last;
466 if Ada_Bind_File then
468 or else Output_File_Name (Last - 3 .. Last) /= ".adb"
470 Fail ("output file name should have .adb extension");
475 or else Output_File_Name (Last - 1 .. Last) /= ".c"
477 Fail ("output file name should have .c extension");
480 end Check_Extensions;
483 Osint.Add_Default_Search_Dirs;
485 -- Carry out package initializations. These are initializations which
486 -- might logically be performed at elaboration time, but Namet at least
487 -- can't be done that way (because it is used in the Compiler), and we
488 -- decide to be consistent. Like elaboration, the order in which these
489 -- calls are made is in some cases important.
495 -- Acquire target parameters
497 Targparm.Get_Target_Parameters;
499 -- Initialize Cumulative_Restrictions with the restrictions on the target
500 -- scanned from the system.ads file. Then as we read ALI files, we will
501 -- accumulate additional restrictions specified in other files.
503 Cumulative_Restrictions := Targparm.Restrictions_On_Target;
505 -- On OpenVMS, when -L is used, all external names used in pragmas Export
506 -- are in upper case. The reason is that on OpenVMS, the macro-assembler
507 -- MACASM-32, used to build Stand-Alone Libraries, only understands
510 if L_Switch_Seen and then OpenVMS_On_Target then
511 To_Upper (Opt.Ada_Init_Name.all);
512 To_Upper (Opt.Ada_Final_Name.all);
513 To_Upper (Opt.Ada_Main_Name.all);
516 -- Acquire configurable run-time mode
518 if Configurable_Run_Time_On_Target then
519 Configurable_Run_Time_Mode := True;
522 -- Output copyright notice if in verbose mode
526 Write_Str ("GNATBIND ");
527 Write_Str (Gnat_Version_String);
529 Write_Str ("Copyright 1995-" &
531 ", Free Software Foundation, Inc.");
535 -- Output usage information if no files
537 if not More_Lib_Files then
539 Exit_Program (E_Fatal);
542 -- If a mapping file was specified, initialize the file mapping
544 if Mapping_File /= null then
545 Fmap.Initialize (Mapping_File.all);
548 -- The block here is to catch the Unrecoverable_Error exception in the
549 -- case where we exceed the maximum number of permissible errors or some
550 -- other unrecoverable error occurs.
553 -- Initialize binder packages
557 Initialize_ALI_Source;
565 while More_Lib_Files loop
566 Main_Lib_File := Next_Main_Lib_File;
570 Write_Str ("Checking: ");
572 Write_Str ("Binding: ");
575 Write_Name (Main_Lib_File);
579 Text := Read_Library_Info (Main_Lib_File, True);
583 pragma Warnings (Off, Id);
591 Ignore_Errors => Debug_Flag_I);
599 if No_Run_Time_Mode then
601 -- Set standard configuration parameters
603 Suppress_Standard_Library_On_Target := True;
604 Configurable_Run_Time_Mode := True;
607 -- For main ALI files, even if they are interfaces, we get their
608 -- dependencies. To be sure, we reset the Interface flag for all main
611 for Index in ALIs.First .. ALIs.Last loop
612 ALIs.Table (Index).SAL_Interface := False;
615 -- Add System.Standard_Library to list to ensure that these files are
616 -- included in the bind, even if not directly referenced from Ada code
617 -- This is suppressed if the appropriate targparm switch is set.
619 if not Suppress_Standard_Library_On_Target then
620 Name_Buffer (1 .. 12) := "s-stalib.ali";
622 Std_Lib_File := Name_Find;
623 Text := Read_Library_Info (Std_Lib_File, True);
627 pragma Warnings (Off, Id);
636 Ignore_Errors => Debug_Flag_I);
642 -- Acquire all information in ALI files that have been read in
644 for Index in ALIs.First .. ALIs.Last loop
648 -- Quit if some file needs compiling
650 if No_Object_Specified then
651 raise Unrecoverable_Error;
654 -- Build source file table from the ALI files we have read in
658 -- Check that main library file is a suitable main program
661 and then ALIs.Table (ALIs.First).Main_Program = None
662 and then not No_Main_Subprogram
664 Error_Msg_Name_1 := Main_Lib_File;
665 Error_Msg ("% does not contain a unit that can be a main program");
668 -- Perform consistency and correctness checks
670 Check_Duplicated_Subunits;
673 Check_Configuration_Consistency;
675 -- List restrictions that could be applied to this partition
677 if List_Restrictions then
678 List_Applicable_Restrictions;
681 -- Complete bind if no errors
683 if Errors_Detected = 0 then
686 if Errors_Detected = 0 then
687 if Elab_Order_Output then
689 Write_Str ("ELABORATION ORDER");
692 for J in Elab_Order.First .. Elab_Order.Last loop
693 if not Units.Table (Elab_Order.Table (J)).SAL_Interface then
696 (Units.Table (Elab_Order.Table (J)).Uname);
704 if not Check_Only then
705 Gen_Output_File (Output_File_Name.all);
710 Total_Errors := Total_Errors + Errors_Detected;
711 Total_Warnings := Total_Warnings + Warnings_Detected;
714 when Unrecoverable_Error =>
715 Total_Errors := Total_Errors + Errors_Detected;
716 Total_Warnings := Total_Warnings + Warnings_Detected;
719 -- All done. Set proper exit status
724 if Total_Errors > 0 then
725 Exit_Program (E_Errors);
727 elsif Total_Warnings > 0 then
728 Exit_Program (E_Warnings);
731 -- Do not call Exit_Program (E_Success), so that finalization occurs