1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
9 -- Copyright (C) 2001-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. 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 COPYING3. If not, go to --
19 -- http://www.gnu.org/licenses for a complete copy of the license. --
21 -- GNAT was originally developed by the GNAT team at New York University. --
22 -- Extensive contributions were provided by Ada Core Technologies Inc. --
24 ------------------------------------------------------------------------------
27 with Debug
; use Debug
;
28 with Osint
; use Osint
;
31 with System
.OS_Lib
; use System
.OS_Lib
;
32 with System
.WCh_Con
; use System
.WCh_Con
;
34 package body Switch
.B
is
36 --------------------------
37 -- Scan_Binder_Switches --
38 --------------------------
40 procedure Scan_Binder_Switches
(Switch_Chars
: String) is
41 Max
: constant Integer := Switch_Chars
'Last;
42 Ptr
: Integer := Switch_Chars
'First;
45 function Get_Optional_Filename
return String_Ptr
;
46 -- If current character is '=', return a newly allocated string that
47 -- contains the remainder of the current switch (after the '='), else
50 function Get_Stack_Size
(S
: Character) return Int
;
51 -- Used for -d and -D to scan stack size including handling k/m. S is
52 -- set to 'd' or 'D' to indicate the switch being scanned.
54 procedure Scan_Debug_Switches
;
55 -- Scan out debug switches
57 ---------------------------
58 -- Get_Optional_Filename --
59 ---------------------------
61 function Get_Optional_Filename
return String_Ptr
is
65 if Ptr
<= Max
and then Switch_Chars
(Ptr
) = '=' then
67 Bad_Switch
(Switch_Chars
);
69 Result
:= new String'(Switch_Chars (Ptr + 1 .. Max));
76 end Get_Optional_Filename;
82 function Get_Stack_Size (S : Character) return Int is
86 Scan_Pos (Switch_Chars, Max, Ptr, Result, S);
88 -- In the following code, we enable overflow checking since the
89 -- multiplication by K or M may cause overflow, which is an error.
92 pragma Unsuppress (Overflow_Check);
95 -- Check for additional character 'k
' (for kilobytes) or 'm
' (for
96 -- Megabytes), but only if we have not reached the end of the
97 -- switch string. Note that if this appears before the end of the
98 -- string we will get an error when we test to make sure that the
99 -- string is exhausted (at the end of the case).
102 if Switch_Chars (Ptr) = 'k
' then
103 Result := Result * 1024;
106 elsif Switch_Chars (Ptr) = 'm
' then
107 Result := Result * (1024 * 1024);
113 when Constraint_Error =>
114 Osint.Fail ("numeric value out of range for switch: " & S);
120 -------------------------
121 -- Scan_Debug_Switches --
122 -------------------------
124 procedure Scan_Debug_Switches is
125 Dot : Boolean := False;
126 Underscore : Boolean := False;
129 while Ptr <= Max loop
130 C := Switch_Chars (Ptr);
132 -- Binder debug flags come in the following forms:
142 -- Note that the processing of switch -d aleady takes care of the
143 -- case where the first flag is a digit (default stack size).
145 if C in '1' .. '9' or else
146 C in 'a
' .. 'z
' or else
153 Set_Dotted_Debug_Flag (C);
159 elsif Underscore then
160 Set_Underscored_Debug_Flag (C);
162 if Debug_Flag_Underscore_C then
163 Enable_CUDA_Expansion := True;
165 if Debug_Flag_Underscore_D then
166 Enable_CUDA_Device_Expansion := True;
168 if Enable_CUDA_Expansion and Enable_CUDA_Device_Expansion
170 Bad_Switch (Switch_Chars);
172 -- specify device library name
173 if Ptr >= Max or else Switch_Chars (Ptr + 1) /= '=' then
174 Bad_Switch (Switch_Chars);
176 CUDA_Device_Library_Name :=
177 new String'(Switch_Chars
(Ptr
+ 2 .. Max
));
198 Bad_Switch
(Switch_Chars
);
203 end Scan_Debug_Switches
;
205 -- Start of processing for Scan_Binder_Switches
208 -- Skip past the initial character (must be the switch character)
211 Bad_Switch
(Switch_Chars
);
216 -- A little check, "gnat" at the start of a switch is not allowed except
220 and then Switch_Chars
(Ptr
.. Ptr
+ 3) = "gnat"
222 Osint
.Fail
("invalid switch: """ & Switch_Chars
& """"
223 & " (gnat not needed here)");
226 -- Loop to scan through switches given in switch string
229 C
:= Switch_Chars
(Ptr
);
233 -- Processing for a switch
237 Use_Pragma_Linker_Constructor
:= True;
239 -- Processing for A switch
243 Output_ALI_List
:= True;
244 ALI_List_Filename
:= Get_Optional_Filename
;
246 -- Processing for b switch
250 Brief_Output
:= True;
252 -- Processing for c switch
258 -- Processing for d switch
262 Bad_Switch
(Switch_Chars
);
266 C
:= Switch_Chars
(Ptr
);
268 -- Case where character after -d is a digit (default stack size)
270 if C
in '0' .. '9' then
272 -- In this case, we process the default primary stack size
274 Default_Stack_Size
:= Get_Stack_Size
('d');
276 -- Case where character after -d is not digit (debug flags)
282 -- Processing for D switch
286 Bad_Switch
(Switch_Chars
);
290 Default_Sec_Stack_Size
:= Get_Stack_Size
('D');
292 -- Processing for e switch
296 Elab_Dependency_Output
:= True;
298 -- Processing for E switch
302 -- -E is equivalent to -Ea (see below)
304 Exception_Tracebacks
:= True;
308 case Switch_Chars
(Ptr
) is
310 -- -Ea sets Exception_Tracebacks
314 -- -Es sets both Exception_Tracebacks and
315 -- Exception_Tracebacks_Symbolic.
317 when 's' => Exception_Tracebacks_Symbolic
:= True;
318 when others => Bad_Switch
(Switch_Chars
);
324 -- Processing for f switch
328 Bad_Switch
(Switch_Chars
);
331 Force_Elab_Order_File
:=
332 new String'(Switch_Chars (Ptr + 1 .. Max));
336 if not Is_Regular_File (Force_Elab_Order_File.all) then
337 Osint.Fail (Force_Elab_Order_File.all & ": file not found");
340 -- Processing for F switch
344 Force_Checking_Of_Elaboration_Flags := True;
346 -- Processing for g switch
352 C := Switch_Chars (Ptr);
354 if C in '0' .. '3' then
357 (Switch_Chars (Ptr)) - Character'Pos ('0');
365 -- Processing for G switch
369 Generate_C_Code := True;
371 -- Processing for h switch
375 Usage_Requested := True;
377 -- Processing for H switch
381 Legacy_Elaboration_Order := True;
383 -- Processing for i switch
387 Bad_Switch (Switch_Chars);
391 C := Switch_Chars (Ptr);
393 if C in '1' .. '5' | '9' | 'p
' | '8' | 'f
' | 'n
' | 'w
' then
394 Identifier_Character_Set := C;
397 Bad_Switch (Switch_Chars);
400 -- Processing for k switch
404 Check_Elaboration_Flags := False;
406 -- Processing for K switch
410 Output_Linker_Option_List := True;
412 -- Processing for l switch
416 Elab_Order_Output := True;
418 -- Processing for m switch
422 Bad_Switch (Switch_Chars);
426 Scan_Pos (Switch_Chars, Max, Ptr, Maximum_Messages, C);
428 -- Processing for n switch
432 Bind_Main_Program := False;
434 -- Note: The -L option of the binder also implies -n, so
435 -- any change here must also be reflected in the processing
436 -- for -L that is found in Gnatbind.Scan_Bind_Arg.
438 -- Processing for o switch
443 if Output_File_Name_Present then
444 Osint.Fail ("duplicate -o switch");
446 Output_File_Name_Present := True;
449 -- Processing for O switch
453 Output_Object_List := True;
454 Object_List_Filename := Get_Optional_Filename;
456 -- Processing for p switch
460 Pessimistic_Elab_Order := True;
462 -- Processing for P switch
466 CodePeer_Mode := True;
468 -- Processing for q switch
472 Quiet_Output := True;
474 -- Processing for Q switch
478 Bad_Switch (Switch_Chars);
483 (Switch_Chars, Max, Ptr,
484 Quantity_Of_Default_Size_Sec_Stacks, C);
486 -- Processing for r switch
490 List_Restrictions := True;
492 -- Processing for R switch
496 List_Closure := True;
498 if Ptr <= Max and then Switch_Chars (Ptr) = 'a
' then
500 List_Closure_All := True;
503 -- Processing for s switch
508 Check_Source_Files := True;
510 -- Processing for t switch
514 Tolerate_Consistency_Errors := True;
516 -- Processing for T switch
520 Bad_Switch (Switch_Chars);
524 Time_Slice_Set := True;
525 Scan_Nat (Switch_Chars, Max, Ptr, Time_Slice_Value, C);
526 Time_Slice_Value := Time_Slice_Value * 1_000;
528 -- Processing for u switch
532 Bad_Switch (Switch_Chars);
536 Dynamic_Stack_Measurement := True;
541 Dynamic_Stack_Measurement_Array_Size,
544 -- Processing for v switch
548 Verbose_Mode := True;
550 -- Processing for V switch
558 while Eq <= Max and then Switch_Chars (Eq) /= '=' loop
561 if Eq = Ptr or else Eq = Max then
562 Bad_Switch (Switch_Chars);
565 (Key => Switch_Chars (Ptr .. Eq - 1),
566 Value => Switch_Chars (Eq + 1 .. Max));
570 -- Processing for w switch
574 Bad_Switch (Switch_Chars);
577 -- For the binder we only allow suppress/error cases
581 case Switch_Chars (Ptr) is
583 Warning_Mode := Treat_As_Error;
586 Warning_Mode := Treat_Run_Time_Warnings_As_Errors;
589 Warning_Mode := Suppress;
592 Bad_Switch (Switch_Chars);
597 -- Processing for W switch
603 Bad_Switch (Switch_Chars);
607 Wide_Character_Encoding_Method :=
608 Get_WC_Encoding_Method (Switch_Chars (Ptr));
610 when Constraint_Error =>
611 Bad_Switch (Switch_Chars);
614 Wide_Character_Encoding_Method_Specified := True;
616 Upper_Half_Encoding :=
617 Wide_Character_Encoding_Method in WC_Upper_Half_Encoding_Method;
621 -- Processing for x switch
625 All_Sources := False;
626 Check_Source_Files := False;
628 -- Processing for X switch
632 Bad_Switch (Switch_Chars);
636 Scan_Pos (Switch_Chars, Max, Ptr, Default_Exit_Status, C);
638 -- Processing for y switch
642 Leap_Seconds_Support := True;
644 -- Processing for z switch
648 No_Main_Subprogram := True;
650 -- Processing for Z switch
654 Zero_Formatting := True;
656 -- Processing for --RTS
660 if Ptr + 4 <= Max and then
661 Switch_Chars (Ptr + 1 .. Ptr + 3) = "RTS"
665 if Switch_Chars (Ptr) /= '=' or else Ptr = Max then
666 Osint.Fail ("missing path for --RTS");
669 -- Valid --RTS switch
671 Opt.No_Stdinc := True;
672 Opt.RTS_Switch := True;
675 Src_Path_Name : constant String_Ptr :=
677 (Switch_Chars (Ptr + 1 .. Max),
679 Lib_Path_Name : constant String_Ptr :=
681 (Switch_Chars (Ptr + 1 .. Max),
685 if Src_Path_Name /= null and then
686 Lib_Path_Name /= null
688 -- Set the RTS_*_Path_Name variables, so that the
689 -- correct directories will be set when a subsequent
690 -- call Osint.Add_Default_Search_Dirs is made.
692 RTS_Src_Path_Name := Src_Path_Name;
693 RTS_Lib_Path_Name := Lib_Path_Name;
697 elsif Src_Path_Name = null
698 and then Lib_Path_Name = null
701 ("RTS path not valid: missing adainclude and "
702 & "adalib directories");
703 elsif Src_Path_Name = null then
705 ("RTS path not valid: missing adainclude directory");
706 elsif Lib_Path_Name = null then
708 ("RTS path not valid: missing adalib directory");
714 Bad_Switch (Switch_Chars);
717 -- Anything else is an error (illegal switch character)
720 Bad_Switch (Switch_Chars);
724 Bad_Switch (Switch_Chars);
727 end Scan_Binder_Switches;