1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
9 -- Copyright (C) 2001-2018, 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 ------------------------------------------------------------------------------
26 with Debug
; use Debug
;
27 with Osint
; use Osint
;
31 with System
.Multiprocessors
; use System
.Multiprocessors
;
33 package body Switch
.M
is
35 package Normalized_Switches
is new Table
.Table
36 (Table_Component_Type
=> String_Access
,
37 Table_Index_Type
=> Integer,
40 Table_Increment
=> 100,
41 Table_Name
=> "Switch.M.Normalized_Switches");
42 -- This table is used to keep the normalized switches, so that they may be
43 -- reused for subsequent invocations of Normalize_Compiler_Switches with
46 Initial_Number_Of_Switches
: constant := 10;
48 Global_Switches
: Argument_List_Access
:= null;
49 -- Used by function Normalize_Compiler_Switches
51 Subdirs_Option
: constant String := "--subdirs=";
53 ---------------------------------
54 -- Normalize_Compiler_Switches --
55 ---------------------------------
57 procedure Normalize_Compiler_Switches
58 (Switch_Chars
: String;
59 Switches
: in out Argument_List_Access
;
62 Switch_Starts_With_Gnat
: Boolean;
64 Ptr
: Integer := Switch_Chars
'First;
65 Max
: constant Integer := Switch_Chars
'Last;
68 Storing
: String := Switch_Chars
;
69 First_Stored
: Positive := Ptr
+ 1;
70 Last_Stored
: Positive := First_Stored
;
72 procedure Add_Switch_Component
(S
: String);
73 -- Add a new String_Access component in Switches. If a string equal
74 -- to S is already stored in the table Normalized_Switches, use it.
75 -- Otherwise add a new component to the table.
77 --------------------------
78 -- Add_Switch_Component --
79 --------------------------
81 procedure Add_Switch_Component
(S
: String) is
83 -- If Switches is null, allocate a new array
85 if Switches
= null then
86 Switches
:= new Argument_List
(1 .. Initial_Number_Of_Switches
);
88 -- Otherwise, if Switches is full, extend it
90 elsif Last
= Switches
'Last then
92 New_Switches
: constant Argument_List_Access
:=
94 (1 .. Switches
'Length + Switches
'Length);
96 New_Switches
(1 .. Switches
'Length) := Switches
.all;
97 Last
:= Switches
'Length;
98 Switches
:= New_Switches
;
102 -- If this is the first switch, Last designates the first component
105 Last
:= Switches
'First;
110 -- Look into the table Normalized_Switches for a similar string.
111 -- If one is found, put it at the added component, and return.
113 for Index
in 1 .. Normalized_Switches
.Last
loop
114 if S
= Normalized_Switches
.Table
(Index
).all then
115 Switches
(Last
) := Normalized_Switches
.Table
(Index
);
120 -- No string equal to S was found in the table Normalized_Switches.
121 -- Add a new component in the table.
123 Switches
(Last
) := new String'(S);
124 Normalized_Switches.Append (Switches (Last));
125 end Add_Switch_Component;
127 -- Start of processing for Normalize_Compiler_Switches
132 if Ptr = Max or else Switch_Chars (Ptr) /= '-' then
138 Switch_Starts_With_Gnat :=
139 Ptr + 3 <= Max and then Switch_Chars (Ptr .. Ptr + 3) = "gnat";
141 if Switch_Starts_With_Gnat then
146 while Ptr <= Max loop
147 C := Switch_Chars (Ptr);
149 -- Processing for a switch
151 case Switch_Starts_With_Gnat is
154 -- All switches that don't start with -gnat stay as is,
155 -- except -pg, -Wall, -k8, -w
157 if Switch_Chars = "-pg" or else Switch_Chars = "-p" then
159 -- The gcc driver converts -pg to -p, so that is what
160 -- is stored in the ALI file.
162 Add_Switch_Component ("-p");
164 elsif Switch_Chars = "-Wall" then
166 -- The gcc driver adds -gnatwa when -Wall is used
168 Add_Switch_Component ("-gnatwa");
169 Add_Switch_Component ("-Wall");
171 elsif Switch_Chars = "-k8" then
173 -- The gcc driver transforms -k8 into -gnatk8
175 Add_Switch_Component ("-gnatk8");
177 elsif Switch_Chars = "-w" then
179 -- The gcc driver adds -gnatws when -w is used
181 Add_Switch_Component ("-gnatws");
182 Add_Switch_Component ("-w");
184 elsif Switch_Chars'Length > 6
186 Switch_Chars (Switch_Chars'First .. Switch_Chars'First + 5)
189 Add_Switch_Component (Switch_Chars);
191 -- When --RTS=mtp is used, the gcc driver adds -mrtp
193 if Switch_Chars = "--RTS=mtp" then
194 Add_Switch_Component ("-mrtp");
197 -- Special case for -fstack-check (alias for
198 -- -fstack-check=specific)
200 elsif Switch_Chars = "-fstack-check" then
201 Add_Switch_Component ("-fstack-check=specific");
203 -- Take only into account switches that are transmitted to
204 -- gnat1 by the gcc driver and stored by gnat1 in the ALI file.
208 when 'O
' | 'W
' | 'w
' | 'f
' | 'd
' | 'g
' | 'm
' =>
209 Add_Switch_Component (Switch_Chars);
221 -- One-letter switches
223 when 'a
' | 'A
' | 'b
' | 'B
' | 'c
' | 'C
' | 'E
' | 'f
' | 'F
'
224 | 'g
' | 'h
' | 'H
' | 'I
' | 'L
' | 'N
' | 'p
' | 'P
' | 'q
'
225 | 'Q
' | 'r
' | 's
' | 'S
' | 't
' | 'u
' | 'U
' | 'v
' | 'x
'
228 Storing (First_Stored) := C;
230 (Storing (Storing'First .. First_Stored));
233 -- One-letter switches followed by a positive number
235 when 'D
' | 'G
' | 'j
' | 'k
' | 'm
' | 'T
' =>
236 Storing (First_Stored) := C;
237 Last_Stored := First_Stored;
239 if Ptr <= Max and then Switch_Chars (Ptr) = '=' then
246 or else Switch_Chars (Ptr) not in '0' .. '9';
247 Last_Stored := Last_Stored + 1;
248 Storing (Last_Stored) := Switch_Chars (Ptr);
252 (Storing (Storing'First .. Last_Stored));
255 Storing (First_Stored) := 'd
';
259 C := Switch_Chars (Ptr);
260 exit when C = ASCII.NUL or else C = '/'
263 if C in '1' .. '9' or else
264 C in 'a
' .. 'z
' or else
267 Storing (First_Stored + 1) := C;
269 (Storing (Storing'First .. First_Stored + 1));
281 -- Some of the gnate... switches are not stored
283 Storing (First_Stored) := 'e
';
291 case Switch_Chars (Ptr) is
294 Add_Switch_Component ("-gnateA");
297 Storing (First_Stored + 1 ..
298 First_Stored + Max - Ptr + 1) :=
299 Switch_Chars (Ptr .. Max);
301 (Storing (Storing'First ..
302 First_Stored + Max - Ptr + 1));
305 when 'E
' | 'F
' | 'G
' | 'S
' | 'u
' | 'V
' | 'Y
' =>
307 ("-gnate" & Switch_Chars (Ptr));
312 First : constant Positive := Ptr;
317 if Ptr <= Max and then
318 Switch_Chars (Ptr) = '='
323 while Ptr <= Max and then
324 Switch_Chars (Ptr) in '0' .. '9'
329 Storing (First_Stored + 1 ..
330 First_Stored + Ptr - First) :=
331 Switch_Chars (First .. Ptr - 1);
333 (Storing (Storing'First ..
334 First_Stored + Ptr - First));
339 Add_Switch_Component ("-gnatel");
343 Add_Switch_Component ("-gnateL");
353 if Switch_Chars (Ptr) = '=' then
357 -- To normalize, always put a '=' after
358 -- -gnatep. Because that could lengthen the
359 -- switch string, declare a local variable.
362 To_Store : String (1 .. Max - Ptr + 9);
364 To_Store (1 .. 8) := "-gnatep=";
365 To_Store (9 .. Max - Ptr + 9) :=
366 Switch_Chars (Ptr .. Max);
367 Add_Switch_Component (To_Store);
379 Storing (First_Stored) := 'i
';
388 C := Switch_Chars (Ptr);
397 Storing (First_Stored + 1) := C;
399 (Storing (Storing'First .. First_Stored + 1));
407 -- -gnatl may be -gnatl=<file name>
412 if Ptr > Max or else Switch_Chars (Ptr) /= '=' then
413 Add_Switch_Component ("-gnatl");
417 ("-gnatl" & Switch_Chars (Ptr .. Max));
421 -- -gnatn may be -gnatn, -gnatn1, or -gnatn2
424 Last_Stored := First_Stored;
425 Storing (Last_Stored) := 'n
';
429 and then Switch_Chars (Ptr) in '1' .. '2'
431 Last_Stored := Last_Stored + 1;
432 Storing (Last_Stored) := Switch_Chars (Ptr);
437 (Storing (Storing'First .. Last_Stored));
439 -- -gnato may be -gnatox or -gnatoxx, with x=0/1/2/3
442 Last_Stored := First_Stored;
443 Storing (Last_Stored) := 'o
';
447 and then Switch_Chars (Ptr) in '0' .. '3'
449 Last_Stored := Last_Stored + 1;
450 Storing (Last_Stored) := Switch_Chars (Ptr);
454 and then Switch_Chars (Ptr) in '0' .. '3'
456 Last_Stored := Last_Stored + 1;
457 Storing (Last_Stored) := Switch_Chars (Ptr);
463 (Storing (Storing'First .. Last_Stored));
465 -- -gnatR may be followed by '0', '1', '2', '3' or '4',
466 -- then by 'e
', 'j
', 'm
' or 's
'.
469 Last_Stored := First_Stored;
470 Storing (Last_Stored) := 'R
';
473 while Ptr <= Max loop
474 C := Switch_Chars (Ptr);
478 when '0' .. '4' | 'e
' | 'j
' | 'm
' | 's
' =>
479 Last_Stored := Last_Stored + 1;
480 Storing (Last_Stored) := C;
490 (Storing (Storing'First .. Last_Stored));
492 -- -gnatWx, x = 'h
'. 'u
', 's
', 'e
', '8' or 'b
'
495 Storing (First_Stored) := 'W
';
499 case Switch_Chars (Ptr) is
500 when 'h
' | 'u
' | 's
' | 'e
' | '8' | 'b
' =>
501 Storing (First_Stored + 1) := Switch_Chars (Ptr);
503 (Storing (Storing'First .. First_Stored + 1));
514 when 'V
' | 'w
' | 'y
' =>
515 Storing (First_Stored) := C;
521 (Storing (Storing'First .. First_Stored));
529 -- Loop through remaining switch characters in string
531 while Ptr <= Max loop
532 C := Switch_Chars (Ptr);
537 if C = 'M
' and then Storing (First_Stored) = 'y
' then
538 Last_Stored := First_Stored + 1;
539 Storing (Last_Stored) := 'M
';
540 while Ptr <= Max loop
541 C := Switch_Chars (Ptr);
542 exit when C not in '0' .. '9';
543 Last_Stored := Last_Stored + 1;
544 Storing (Last_Stored) := C;
548 -- If there is no digit after -gnatyM,
549 -- the switch is invalid.
551 if Last_Stored = First_Stored + 1 then
557 (Storing (Storing'First .. Last_Stored));
562 elsif C = '.' and then Ptr <= Max then
563 Storing (First_Stored + 1) := '.';
564 Storing (First_Stored + 2) := Switch_Chars (Ptr);
567 (Storing (Storing'First .. First_Stored + 2));
569 -- All other switches are -gnatxx
572 Storing (First_Stored + 1) := C;
574 (Storing (Storing'First .. First_Stored + 1));
581 Last_Stored := First_Stored;
582 Storing (Last_Stored) := C;
585 if Ptr /= Max or else Switch_Chars (Ptr) /= '5' then
593 Last_Stored := Last_Stored + 1;
594 Storing (Last_Stored) := '5';
596 (Storing (Storing'First .. Last_Stored));
603 Last_Stored := First_Stored;
604 Storing (Last_Stored) := C;
607 if Ptr /= Max or else Switch_Chars (Ptr) /= '2' then
615 Last_Stored := Last_Stored + 1;
616 Storing (Last_Stored) := '2';
618 (Storing (Storing'First .. Last_Stored));
622 -- -gnat2005 -gnat2012
625 if Ptr + 3 /= Max then
629 elsif Switch_Chars (Ptr + 1 .. Ptr + 3) = "005" then
630 Last_Stored := First_Stored + 3;
631 Storing (First_Stored .. Last_Stored) := "2005";
633 (Storing (Storing'First .. Last_Stored));
636 elsif Switch_Chars (Ptr + 1 .. Ptr + 3) = "012" then
637 Last_Stored := First_Stored + 3;
638 Storing (First_Stored .. Last_Stored) := "2012";
640 (Storing (Storing'First .. Last_Stored));
655 Last_Stored := First_Stored;
656 Storing (Last_Stored) := '8';
659 if Ptr /= Max or else Switch_Chars (Ptr) /= '3' then
667 Last_Stored := Last_Stored + 1;
668 Storing (Last_Stored) := '3';
670 (Storing (Storing'First .. Last_Stored));
674 -- Not a valid switch
682 end Normalize_Compiler_Switches;
684 function Normalize_Compiler_Switches
685 (Switch_Chars : String) return Argument_List
690 Normalize_Compiler_Switches (Switch_Chars, Global_Switches, Last);
693 return (1 .. 0 => null);
695 return Global_Switches (Global_Switches'First .. Last);
697 end Normalize_Compiler_Switches;
699 ------------------------
700 -- Scan_Make_Switches --
701 ------------------------
703 procedure Scan_Make_Switches
704 (Switch_Chars : String;
705 Success : out Boolean)
707 Ptr : Integer := Switch_Chars'First;
708 Max : constant Integer := Switch_Chars'Last;
709 C : Character := ' ';
712 -- Assume a good switch
716 -- Skip past the initial character (must be the switch character)
719 Bad_Switch (Switch_Chars);
725 -- A little check, "gnat" at the start of a switch is for the compiler
727 if Switch_Chars'Length >= Ptr + 3
728 and then Switch_Chars (Ptr .. Ptr + 3) = "gnat"
734 C := Switch_Chars (Ptr);
736 -- Multiple character switches
738 -- To preserve building gnat_util, it is not possible to use the
739 -- constant Strings declare in Make_Util, as Make_Util is not in
742 if Switch_Chars'Length > 2 then
743 if Switch_Chars = "--create-missing-dirs" then
744 Setup_Projects := True;
746 elsif Switch_Chars'Length > Subdirs_Option'Length
749 (Switch_Chars'First ..
750 Switch_Chars'First + Subdirs_Option'Length - 1) =
754 new String'(Switch_Chars
755 (Switch_Chars
'First + Subdirs_Option
'Length ..
758 elsif Switch_Chars
= "--unchecked-shared-lib-imports" then
759 Opt
.Unchecked_Shared_Lib_Imports
:= True;
761 elsif Switch_Chars
= "--single-compile-per-obj-dir" then
762 Opt
.One_Compilation_Per_Obj_Dir
:= True;
764 elsif Switch_Chars
= "--no-exit-message" then
765 Opt
.No_Exit_Message
:= True;
767 elsif Switch_Chars
= "--keep-temp-files" then
768 Opt
.Keep_Temporary_Files
:= True;
770 elsif Switch_Chars
(Ptr
) = '-' then
771 Bad_Switch
(Switch_Chars
);
773 elsif Switch_Chars
'Length > 3
774 and then Switch_Chars
(Ptr
.. Ptr
+ 1) = "aP"
777 -- This is only used by gprbuild
779 elsif C
= 'v' and then Switch_Chars
'Length = 3 then
781 Verbose_Mode
:= True;
783 case Switch_Chars
(Ptr
) is
784 when 'l' => Verbosity_Level
:= Opt
.Low
;
785 when 'm' => Verbosity_Level
:= Opt
.Medium
;
786 when 'h' => Verbosity_Level
:= Opt
.High
;
787 when others => Success
:= False;
792 -- Note: for the debug switch, the remaining characters in this
793 -- switch field must all be debug flags, since all valid switch
794 -- characters are also valid debug characters. This switch is not
795 -- documented on purpose because it is only used by the
798 -- Loop to scan out debug flags
802 C
:= Switch_Chars
(Ptr
);
804 if C
in 'a' .. 'z' or else C
in 'A' .. 'Z' then
807 Bad_Switch
(Switch_Chars
);
814 case Switch_Chars
(Ptr
) is
816 -- Processing for eI switch
820 Scan_Pos
(Switch_Chars
, Max
, Ptr
, Main_Index
, C
);
823 Bad_Switch
(Switch_Chars
);
826 -- Processing for eL switch
830 Bad_Switch
(Switch_Chars
);
833 Follow_Links_For_Files
:= True;
834 Follow_Links_For_Dirs
:= True;
837 -- Processing for eS switch
841 Bad_Switch
(Switch_Chars
);
844 Commands_To_Stdout
:= True;
848 Bad_Switch
(Switch_Chars
);
858 Scan_Nat
(Switch_Chars
, Max
, Ptr
, Max_Proc
, C
);
861 Bad_Switch
(Switch_Chars
);
865 Max_Proc
:= Nat
(Number_Of_CPUs
);
872 Maximum_Processes
:= Positive (Max_Proc
);
876 elsif C
= 'w' and then Switch_Chars
'Length = 3 then
879 if Switch_Chars
= "-we" then
880 Warning_Mode
:= Treat_As_Error
;
882 elsif Switch_Chars
= "-wn" then
883 Warning_Mode
:= Normal
;
885 elsif Switch_Chars
= "-ws" then
886 Warning_Mode
:= Suppress
;
896 -- Single-character switches
902 Check_Readonly_Files
:= True;
904 -- Processing for b switch
910 -- Processing for B switch
913 Build_Bind_And_Link_Full_Project
:= True;
915 -- Processing for c switch
918 Compile_Only
:= True;
921 -- Processing for C switch
924 Opt
.Create_Mapping_File
:= True;
926 -- Processing for D switch
929 if Object_Directory_Present
then
930 Osint
.Fail
("duplicate -D switch");
933 Object_Directory_Present
:= True;
936 -- Processing for f switch
939 Force_Compilations
:= True;
941 -- Processing for F switch
944 Full_Path_Name_For_Brief_Errors
:= True;
946 -- Processing for h switch
949 Usage_Requested
:= True;
951 -- Processing for i switch
954 In_Place_Mode
:= True;
956 -- Processing for j switch
959 -- -j not followed by a number is an error
961 Bad_Switch
(Switch_Chars
);
963 -- Processing for k switch
968 -- Processing for l switch
974 -- Processing for M switch
977 List_Dependencies
:= True;
979 -- Processing for n switch
982 Do_Not_Execute
:= True;
984 -- Processing for o switch
987 if Output_File_Name_Present
then
988 Osint
.Fail
("duplicate -o switch");
990 Output_File_Name_Present
:= True;
993 -- Processing for p switch
996 Setup_Projects
:= True;
998 -- Processing for q switch
1001 Quiet_Output
:= True;
1003 -- Processing for R switch
1006 Run_Path_Option
:= False;
1008 -- Processing for s switch
1012 Check_Switches
:= True;
1014 -- Processing for v switch
1017 Verbose_Mode
:= True;
1018 Verbosity_Level
:= Opt
.High
;
1020 -- Processing for x switch
1023 External_Unit_Compilation_Allowed
:= True;
1024 Use_Include_Path_File
:= True;
1026 -- Processing for z switch
1029 No_Main_Subprogram
:= True;
1031 -- Any other small letter is an illegal switch
1034 if C
in 'a' .. 'z' then
1035 Bad_Switch
(Switch_Chars
);
1043 end Scan_Make_Switches
;