1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
9 -- Copyright (C) 1992-2004 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, 59 Temple Place - Suite 330, Boston, --
20 -- MA 02111-1307, 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 procedure List_Applicable_Restrictions;
79 -- List restrictions that apply to this partition if option taken
81 procedure Scan_Bind_Arg (Argv : String);
82 -- Scan and process binder specific arguments. Argv is a single argument.
83 -- All the one character arguments are still handled by Switch. This
84 -- routine handles -aO -aI and -I-.
86 ----------------------------------
87 -- List_Applicable_Restrictions --
88 ----------------------------------
90 procedure List_Applicable_Restrictions is
92 -- Define those restrictions that should be output if the gnatbind
93 -- -r switch is used. Not all restrictions are output for the reasons
94 -- given above in the list, and this array is used to test whether
95 -- the corresponding pragma should be listed. True means that it
96 -- should not be listed.
98 No_Restriction_List : constant array (All_Restrictions) of Boolean :=
99 (No_Exceptions => True,
100 -- Has unexpected Suppress (All_Checks) effect
102 No_Implicit_Conditionals => True,
103 -- This could modify and pessimize generated code
105 No_Implicit_Dynamic_Code => True,
106 -- This could modify and pessimize generated code
108 No_Implicit_Loops => True,
109 -- This could modify and pessimize generated code
111 No_Recursion => True,
112 -- Not checkable at compile time
114 No_Reentrancy => True,
115 -- Not checkable at compile time
117 Max_Entry_Queue_Length => True,
118 -- Not checkable at compile time
120 Max_Storage_At_Blocking => True,
121 -- Not checkable at compile time
125 Additional_Restrictions_Listed : Boolean := False;
126 -- Set True if we have listed header for restrictions
129 -- Loop through restrictions
131 for R in All_Restrictions loop
132 if not No_Restriction_List (R) then
134 -- We list a restriction if it is not violated, or if
135 -- it is violated but the violation count is exactly known.
137 if Cumulative_Restrictions.Violated (R) = False
138 or else (R in All_Parameter_Restrictions
140 Cumulative_Restrictions.Unknown (R) = False)
142 if not Additional_Restrictions_Listed then
145 ("The following additional restrictions may be" &
146 " applied to this partition:");
147 Additional_Restrictions_Listed := True;
150 Write_Str ("pragma Restrictions (");
153 S : constant String := Restriction_Id'Image (R);
155 Name_Len := S'Length;
156 Name_Buffer (1 .. Name_Len) := S;
159 Set_Casing (Mixed_Case);
160 Write_Str (Name_Buffer (1 .. Name_Len));
162 if R in All_Parameter_Restrictions then
164 Write_Int (Int (Cumulative_Restrictions.Count (R)));
172 end List_Applicable_Restrictions;
178 procedure Scan_Bind_Arg (Argv : String) is
180 -- Now scan arguments that are specific to the binder and are not
181 -- handled by the common circuitry in Switch.
183 if Opt.Output_File_Name_Present
184 and then not Output_File_Name_Seen
186 Output_File_Name_Seen := True;
189 or else (Argv'Length >= 1 and then Argv (1) = '-')
191 Fail ("output File_Name missing after -o");
194 Output_File_Name := new String'(Argv);
197 elsif Argv'Length >= 2 and then Argv (1) = '-' then
201 if Argv (2 .. Argv'Last) = "I-" then
202 Opt.Look_In_Primary_Dir := False;
206 elsif Argv (2) = 'I' then
207 Add_Src_Search_Dir (Argv (3 .. Argv'Last));
208 Add_Lib_Search_Dir (Argv (3 .. Argv'Last));
212 elsif Argv (2) = 'L' then
213 if Argv'Length >= 3 then
215 -- Remember that the -L switch was specified, so that if this
216 -- is on OpenVMS, the export names are put in uppercase.
217 -- This is not known before the target parameters are read.
219 L_Switch_Seen := True;
221 Opt.Bind_For_Library := True;
223 new String'(Argv (3 .. Argv'Last) & Opt.Ada_Init_Suffix);
224 Opt.Ada_Final_Name :=
225 new String'(Argv (3 .. Argv'Last) & Opt.Ada_Final_Suffix);
227 new String'(Argv (3 .. Argv'Last) & Opt.Ada_Main_Name_Suffix);
229 -- This option (-Lxxx) implies -n
231 Opt.Bind_Main_Program := False;
235 ("Prefix of initialization and finalization " &
236 "procedure names missing in -L");
239 -- -Sin -Slo -Shi -Sxx
241 elsif Argv'Length = 4
242 and then Argv (2) = 'S'
245 C1 : Character := Argv (3);
246 C2 : Character := Argv (4);
249 -- Fold to upper case
251 if C1 in 'a' .. 'z' then
252 C1 := Character'Val (Character'Pos (C1) - 32);
255 if C2 in 'a' .. 'z' then
256 C2 := Character'Val (Character'Pos (C2) - 32);
259 -- Test valid option and set mode accordingly
261 if C1 = 'E' and then C2 = 'V' then
264 elsif C1 = 'I' and then C2 = 'N' then
267 elsif C1 = 'L' and then C2 = 'O' then
270 elsif C1 = 'H' and then C2 = 'I' then
273 elsif (C1 in '0' .. '9' or else C1 in 'A' .. 'F')
275 (C2 in '0' .. '9' or else C2 in 'A' .. 'F')
279 -- Invalid -S switch, let Switch give error, set defalut of IN
282 Scan_Binder_Switches (Argv);
287 Initialize_Scalars_Mode1 := C1;
288 Initialize_Scalars_Mode2 := C2;
293 elsif Argv'Length >= 3
294 and then Argv (2 .. 3) = "aI"
296 Add_Src_Search_Dir (Argv (4 .. Argv'Last));
300 elsif Argv'Length >= 3
301 and then Argv (2 .. 3) = "aO"
303 Add_Lib_Search_Dir (Argv (4 .. Argv'Last));
307 elsif Argv (2 .. Argv'Last) = "nostdlib" then
308 Opt.No_Stdlib := True;
312 elsif Argv (2 .. Argv'Last) = "nostdinc" then
313 Opt.No_Stdinc := True;
317 elsif Argv (2 .. Argv'Last) = "static" then
318 Opt.Shared_Libgnat := False;
322 elsif Argv (2 .. Argv'Last) = "shared" then
323 Opt.Shared_Libgnat := True;
327 elsif Argv'Length >= 4 and then Argv (2 .. 3) = "F=" then
328 if Mapping_File /= null then
329 Fail ("cannot specify several mapping files");
332 Mapping_File := new String'(Argv (4 .. Argv'Last));
336 elsif Argv'Length >= 3 and then Argv (2) = 'M' then
337 Opt.Bind_Alternate_Main_Name := True;
338 Opt.Alternate_Main_Name := new String'(Argv (3 .. Argv'Last));
340 -- All other options are single character and are handled
341 -- by Scan_Binder_Switches.
344 Scan_Binder_Switches (Argv);
347 -- Not a switch, so must be a file name (if non-empty)
349 elsif Argv'Length /= 0 then
351 and then Argv (Argv'Last - 3 .. Argv'Last) = ".ali"
355 Add_File (Argv & ".ali");
360 -- Start of processing for Gnatbind
364 -- Set default for Shared_Libgnat option
367 Shared_Libgnat_Default : Character;
369 (C, Shared_Libgnat_Default, "__gnat_shared_libgnat_default");
371 SHARED : constant Character := 'H';
372 STATIC : constant Character := 'T';
376 (Shared_Libgnat_Default = SHARED
378 Shared_Libgnat_Default = STATIC);
379 Shared_Libgnat := (Shared_Libgnat_Default = SHARED);
382 -- Use low level argument routines to avoid dragging in the secondary stack
385 Scan_Args : while Next_Arg < Arg_Count loop
387 Next_Argv : String (1 .. Len_Arg (Next_Arg));
390 Fill_Arg (Next_Argv'Address, Next_Arg);
391 Scan_Bind_Arg (Next_Argv);
393 Next_Arg := Next_Arg + 1;
396 -- Test for trailing -o switch
398 if Opt.Output_File_Name_Present
399 and then not Output_File_Name_Seen
401 Fail ("output file name missing after -o");
404 -- Output usage if requested
406 if Usage_Requested then
410 -- Check that the Ada binder file specified has extension .adb and that
411 -- the C binder file has extension .c
413 if Opt.Output_File_Name_Present
414 and then Output_File_Name_Seen
416 Check_Extensions : declare
417 Length : constant Natural := Output_File_Name'Length;
418 Last : constant Natural := Output_File_Name'Last;
421 if Ada_Bind_File then
423 or else Output_File_Name (Last - 3 .. Last) /= ".adb"
425 Fail ("output file name should have .adb extension");
430 or else Output_File_Name (Last - 1 .. Last) /= ".c"
432 Fail ("output file name should have .c extension");
435 end Check_Extensions;
438 Osint.Add_Default_Search_Dirs;
440 -- Carry out package initializations. These are initializations which
441 -- might logically be performed at elaboration time, but Namet at
442 -- least can't be done that way (because it is used in the Compiler),
443 -- and we decide to be consistent. Like elaboration, the order in
444 -- which these calls are made is in some cases important.
450 -- Acquire target parameters
452 Targparm.Get_Target_Parameters;
454 -- Initialize Cumulative_Restrictions with the restrictions on the target
455 -- scanned from the system.ads file. Then as we read ALI files, we will
456 -- accumulate additional restrictions specified in other files.
458 Cumulative_Restrictions := Targparm.Restrictions_On_Target;
460 -- On OpenVMS, when -L is used, all external names used in pragmas Export
461 -- are in upper case. The reason is that on OpenVMS, the macro-assembler
462 -- MACASM-32, used to build Stand-Alone Libraries, only understands
465 if L_Switch_Seen and then OpenVMS_On_Target then
466 To_Upper (Opt.Ada_Init_Name.all);
467 To_Upper (Opt.Ada_Final_Name.all);
468 To_Upper (Opt.Ada_Main_Name.all);
471 -- Acquire configurable run-time mode
473 if Configurable_Run_Time_On_Target then
474 Configurable_Run_Time_Mode := True;
477 -- Output copyright notice if in verbose mode
481 Write_Str ("GNATBIND ");
482 Write_Str (Gnat_Version_String);
483 Write_Str (" Copyright 1995-2004 Free Software Foundation, Inc.");
487 -- Output usage information if no files
489 if not More_Lib_Files then
491 Exit_Program (E_Fatal);
494 -- If a mapping file was specified, initialize the file mapping
496 if Mapping_File /= null then
497 Fmap.Initialize (Mapping_File.all);
500 -- The block here is to catch the Unrecoverable_Error exception in the
501 -- case where we exceed the maximum number of permissible errors or some
502 -- other unrecoverable error occurs.
505 -- Initialize binder packages
509 Initialize_ALI_Source;
517 while More_Lib_Files loop
518 Main_Lib_File := Next_Main_Lib_File;
522 Write_Str ("Checking: ");
524 Write_Str ("Binding: ");
527 Write_Name (Main_Lib_File);
531 Text := Read_Library_Info (Main_Lib_File, True);
535 pragma Warnings (Off, Id);
541 Ignore_ED => Force_RM_Elaboration_Order,
543 Ignore_Errors => Debug_Flag_I);
551 if No_Run_Time_Mode then
553 -- Set standard configuration parameters
555 Suppress_Standard_Library_On_Target := True;
556 Configurable_Run_Time_Mode := True;
559 -- For main ALI files, even if they are interfaces, we get their
560 -- dependencies. To be sure, we reset the Interface flag for all main
563 for Index in ALIs.First .. ALIs.Last loop
564 ALIs.Table (Index).Interface := False;
567 -- Add System.Standard_Library to list to ensure that these files are
568 -- included in the bind, even if not directly referenced from Ada code
569 -- This is suppressed if the appropriate targparm switch is set.
571 if not Suppress_Standard_Library_On_Target then
572 Name_Buffer (1 .. 12) := "s-stalib.ali";
574 Std_Lib_File := Name_Find;
575 Text := Read_Library_Info (Std_Lib_File, True);
579 pragma Warnings (Off, Id);
586 Ignore_ED => Force_RM_Elaboration_Order,
588 Ignore_Errors => Debug_Flag_I);
594 -- Acquire all information in ALI files that have been read in
596 for Index in ALIs.First .. ALIs.Last loop
600 -- Warn if -f switch used
602 if Force_RM_Elaboration_Order then
604 ("?-f is obsolescent and should not be used");
606 ("?may result in missing run-time elaboration checks");
608 ("?use -gnatE, pragma Suppress (Elaboration_Checks) instead");
611 -- Quit if some file needs compiling
613 if No_Object_Specified then
614 raise Unrecoverable_Error;
617 -- Build source file table from the ALI files we have read in
621 -- Check that main library file is a suitable main program
624 and then ALIs.Table (ALIs.First).Main_Program = None
625 and then not No_Main_Subprogram
627 Error_Msg_Name_1 := Main_Lib_File;
628 Error_Msg ("% does not contain a unit that can be a main program");
631 -- Perform consistency and correctness checks
633 Check_Duplicated_Subunits;
636 Check_Configuration_Consistency;
638 -- List restrictions that could be applied to this partition
640 if List_Restrictions then
641 List_Applicable_Restrictions;
644 -- Complete bind if no errors
646 if Errors_Detected = 0 then
649 if Errors_Detected = 0 then
650 if Elab_Order_Output then
652 Write_Str ("ELABORATION ORDER");
655 for J in Elab_Order.First .. Elab_Order.Last loop
656 if not Units.Table (Elab_Order.Table (J)).Interface then
659 (Units.Table (Elab_Order.Table (J)).Uname);
667 if not Check_Only then
668 Gen_Output_File (Output_File_Name.all);
673 Total_Errors := Total_Errors + Errors_Detected;
674 Total_Warnings := Total_Warnings + Warnings_Detected;
677 when Unrecoverable_Error =>
678 Total_Errors := Total_Errors + Errors_Detected;
679 Total_Warnings := Total_Warnings + Warnings_Detected;
682 -- All done. Set proper exit status.
687 if Total_Errors > 0 then
688 Exit_Program (E_Errors);
689 elsif Total_Warnings > 0 then
690 Exit_Program (E_Warnings);
692 Exit_Program (E_Success);