1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
9 -- Copyright (C) 2001-2012, 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 Makeutl
; use Makeutl
;
28 with Osint
; use Osint
;
31 with Prj
.Env
; use Prj
.Env
;
34 with System
.Multiprocessors
; use System
.Multiprocessors
;
36 package body Switch
.M
is
38 package Normalized_Switches
is new Table
.Table
39 (Table_Component_Type
=> String_Access
,
40 Table_Index_Type
=> Integer,
43 Table_Increment
=> 100,
44 Table_Name
=> "Switch.M.Normalized_Switches");
45 -- This table is used to keep the normalized switches, so that they may be
46 -- reused for subsequent invocations of Normalize_Compiler_Switches with
49 Initial_Number_Of_Switches
: constant := 10;
51 Global_Switches
: Argument_List_Access
:= null;
52 -- Used by function Normalize_Compiler_Switches
54 ---------------------------------
55 -- Normalize_Compiler_Switches --
56 ---------------------------------
58 procedure Normalize_Compiler_Switches
59 (Switch_Chars
: String;
60 Switches
: in out Argument_List_Access
;
63 Switch_Starts_With_Gnat
: Boolean;
65 Ptr
: Integer := Switch_Chars
'First;
66 Max
: constant Integer := Switch_Chars
'Last;
69 Storing
: String := Switch_Chars
;
70 First_Stored
: Positive := Ptr
+ 1;
71 Last_Stored
: Positive := First_Stored
;
73 procedure Add_Switch_Component
(S
: String);
74 -- Add a new String_Access component in Switches. If a string equal
75 -- to S is already stored in the table Normalized_Switches, use it.
76 -- Otherwise add a new component to the table.
78 --------------------------
79 -- Add_Switch_Component --
80 --------------------------
82 procedure Add_Switch_Component
(S
: String) is
84 -- If Switches is null, allocate a new array
86 if Switches
= null then
87 Switches
:= new Argument_List
(1 .. Initial_Number_Of_Switches
);
89 -- Otherwise, if Switches is full, extend it
91 elsif Last
= Switches
'Last then
93 New_Switches
: constant Argument_List_Access
:=
95 (1 .. Switches
'Length + Switches
'Length);
97 New_Switches
(1 .. Switches
'Length) := Switches
.all;
98 Last
:= Switches
'Length;
99 Switches
:= New_Switches
;
103 -- If this is the first switch, Last designates the first component
106 Last
:= Switches
'First;
111 -- Look into the table Normalized_Switches for a similar string.
112 -- If one is found, put it at the added component, and return.
114 for Index
in 1 .. Normalized_Switches
.Last
loop
115 if S
= Normalized_Switches
.Table
(Index
).all then
116 Switches
(Last
) := Normalized_Switches
.Table
(Index
);
121 -- No string equal to S was found in the table Normalized_Switches.
122 -- Add a new component in the table.
124 Switches
(Last
) := new String'(S);
125 Normalized_Switches.Append (Switches (Last));
126 end Add_Switch_Component;
128 -- Start of processing for Normalize_Compiler_Switches
133 if Ptr = Max or else Switch_Chars (Ptr) /= '-' then
139 Switch_Starts_With_Gnat :=
140 Ptr + 3 <= Max and then Switch_Chars (Ptr .. Ptr + 3) = "gnat";
142 if Switch_Starts_With_Gnat then
147 while Ptr <= Max loop
148 C := Switch_Chars (Ptr);
150 -- Processing for a switch
152 case Switch_Starts_With_Gnat is
156 -- All switches that don't start with -gnat stay as is,
157 -- except -pg, -Wall, -k8, -w
159 if Switch_Chars = "-pg" or else Switch_Chars = "-p" then
161 -- The gcc driver converts -pg to -p, so that is what
162 -- is stored in the ALI file.
164 Add_Switch_Component ("-p");
166 elsif Switch_Chars = "-Wall" then
168 -- The gcc driver adds -gnatwa when -Wall is used
170 Add_Switch_Component ("-gnatwa");
171 Add_Switch_Component ("-Wall");
173 elsif Switch_Chars = "-k8" then
175 -- The gcc driver transforms -k8 into -gnatk8
177 Add_Switch_Component ("-gnatk8");
179 elsif Switch_Chars = "-w" then
181 -- The gcc driver adds -gnatws when -w is used
183 Add_Switch_Component ("-gnatws");
184 Add_Switch_Component ("-w");
186 elsif Switch_Chars'Length > 6
188 Switch_Chars (Switch_Chars'First .. Switch_Chars'First + 5)
191 Add_Switch_Component (Switch_Chars);
193 -- When --RTS=mtp is used, the gcc driver adds -mrtp
195 if Switch_Chars = "--RTS=mtp" then
196 Add_Switch_Component ("-mrtp");
199 -- Switch for universal addressing on AAMP target
201 elsif Switch_Chars'Length >= 5
204 (Switch_Chars'First .. Switch_Chars'First + 4) = "-univ"
206 Add_Switch_Component (Switch_Chars);
208 -- Switch for specifying AAMP target library
210 elsif Switch_Chars'Length > 13
212 Switch_Chars (Switch_Chars'First .. Switch_Chars'First + 12)
215 Add_Switch_Component (Switch_Chars);
217 -- Special case for -fstack-check (alias for
218 -- -fstack-check=specific)
220 elsif Switch_Chars = "-fstack-check" then
221 Add_Switch_Component ("-fstack-check=specific");
223 -- Take only into account switches that are transmitted to
224 -- gnat1 by the gcc driver and stored by gnat1 in the ALI file.
228 when 'O
' | 'W
' | 'w
' | 'f
' | 'd
' | 'g
' | 'm
' =>
229 Add_Switch_Component (Switch_Chars);
242 -- One-letter switches
244 when 'a
' | 'A
' | 'b
' | 'B
' | 'c
' | 'C
' | 'E
' | 'f
' |
245 'F
' | 'g
' | 'h
' | 'H
' | 'I
' | 'L
' | 'N
' | 'p
' |
246 'P
' | 'q
' | 'Q
' | 'r
' | 's
' | 'S
' | 't
' | 'u
' |
247 'U
' | 'v
' | 'x
' | 'X
' | 'Z
' =>
248 Storing (First_Stored) := C;
250 (Storing (Storing'First .. First_Stored));
253 -- One-letter switches followed by a positive number
255 when 'D
' | 'G
' | 'j
' | 'k
' | 'm
' | 'T
' =>
256 Storing (First_Stored) := C;
257 Last_Stored := First_Stored;
259 if Ptr <= Max and then Switch_Chars (Ptr) = '=' then
266 or else Switch_Chars (Ptr) not in '0' .. '9';
267 Last_Stored := Last_Stored + 1;
268 Storing (Last_Stored) := Switch_Chars (Ptr);
272 (Storing (Storing'First .. Last_Stored));
275 Storing (First_Stored) := 'd
';
279 C := Switch_Chars (Ptr);
280 exit when C = ASCII.NUL or else C = '/'
283 if C in '1' .. '9' or else
284 C in 'a
' .. 'z
' or else
287 Storing (First_Stored + 1) := C;
289 (Storing (Storing'First .. First_Stored + 1));
301 -- Some of the gnate... switches are not stored
303 Storing (First_Stored) := 'e
';
311 case Switch_Chars (Ptr) is
314 Storing (First_Stored + 1 ..
315 First_Stored + Max - Ptr + 1) :=
316 Switch_Chars (Ptr .. Max);
318 (Storing (Storing'First ..
319 First_Stored + Max - Ptr + 1));
324 Add_Switch_Component ("-gnateG");
330 First : constant Positive := Ptr - 1;
332 if Ptr <= Max and then
333 Switch_Chars (Ptr) = '='
338 while Ptr <= Max and then
339 Switch_Chars (Ptr) in '0' .. '9'
344 Storing (First_Stored + 1 ..
345 First_Stored + Ptr - First) :=
346 Switch_Chars (First .. Ptr - 1);
348 (Storing (Storing'First ..
349 First_Stored + Ptr - First));
360 if Switch_Chars (Ptr) = '=' then
364 -- To normalize, always put a '=' after
365 -- -gnatep. Because that could lengthen the
366 -- switch string, declare a local variable.
369 To_Store : String (1 .. Max - Ptr + 9);
371 To_Store (1 .. 8) := "-gnatep=";
372 To_Store (9 .. Max - Ptr + 9) :=
373 Switch_Chars (Ptr .. Max);
374 Add_Switch_Component (To_Store);
381 Add_Switch_Component ("-gnateS");
390 Storing (First_Stored) := 'i
';
399 C := Switch_Chars (Ptr);
408 Storing (First_Stored + 1) := C;
410 (Storing (Storing'First .. First_Stored + 1));
418 -- -gnatl may be -gnatl=<file name>
423 if Ptr > Max or else Switch_Chars (Ptr) /= '=' then
424 Add_Switch_Component ("-gnatl");
428 ("-gnatl" & Switch_Chars (Ptr .. Max));
432 -- -gnatn may be -gnatn, -gnatn1, or -gnatn2
435 Last_Stored := First_Stored;
436 Storing (Last_Stored) := 'n
';
440 and then Switch_Chars (Ptr) in '1' .. '2'
442 Last_Stored := Last_Stored + 1;
443 Storing (Last_Stored) := Switch_Chars (Ptr);
448 (Storing (Storing'First .. Last_Stored));
450 -- -gnato may be -gnatox or -gnatoxx, with x=0/1/2/3
453 Last_Stored := First_Stored;
454 Storing (Last_Stored) := 'o
';
458 and then Switch_Chars (Ptr) in '0' .. '3'
460 Last_Stored := Last_Stored + 1;
461 Storing (Last_Stored) := Switch_Chars (Ptr);
465 and then Switch_Chars (Ptr) in '0' .. '3'
467 Last_Stored := Last_Stored + 1;
468 Storing (Last_Stored) := Switch_Chars (Ptr);
474 (Storing (Storing'First .. Last_Stored));
476 -- -gnatR may be followed by '0', '1', '2' or '3',
480 Last_Stored := First_Stored;
481 Storing (Last_Stored) := 'R
';
485 and then Switch_Chars (Ptr) in '0' .. '9'
487 C := Switch_Chars (Ptr);
489 if C in '4' .. '9' then
494 Last_Stored := Last_Stored + 1;
495 Storing (Last_Stored) := C;
499 and then Switch_Chars (Ptr) = 's
'
501 Last_Stored := Last_Stored + 1;
502 Storing (Last_Stored) := 's
';
509 (Storing (Storing'First .. Last_Stored));
511 -- -gnatWx, x = 'h
'. 'u
', 's
', 'e
', '8' or 'b
'
514 Storing (First_Stored) := 'W
';
518 case Switch_Chars (Ptr) is
519 when 'h
' | 'u
' | 's
' | 'e
' | '8' | 'b
' =>
520 Storing (First_Stored + 1) := Switch_Chars (Ptr);
522 (Storing (Storing'First .. First_Stored + 1));
533 when 'V
' | 'w
' | 'y
' =>
534 Storing (First_Stored) := C;
540 (Storing (Storing'First .. First_Stored));
548 -- Loop through remaining switch characters in string
550 while Ptr <= Max loop
551 C := Switch_Chars (Ptr);
556 if C = 'M
' and then Storing (First_Stored) = 'y
' then
557 Last_Stored := First_Stored + 1;
558 Storing (Last_Stored) := 'M
';
559 while Ptr <= Max loop
560 C := Switch_Chars (Ptr);
561 exit when C not in '0' .. '9';
562 Last_Stored := Last_Stored + 1;
563 Storing (Last_Stored) := C;
567 -- If there is no digit after -gnatyM,
568 -- the switch is invalid.
570 if Last_Stored = First_Stored + 1 then
576 (Storing (Storing'First .. Last_Stored));
581 elsif C = '.' and then Ptr <= Max then
582 Storing (First_Stored + 1) := '.';
583 Storing (First_Stored + 2) := Switch_Chars (Ptr);
586 (Storing (Storing'First .. First_Stored + 2));
588 -- All other switches are -gnatxx
591 Storing (First_Stored + 1) := C;
593 (Storing (Storing'First .. First_Stored + 1));
600 Last_Stored := First_Stored;
601 Storing (Last_Stored) := C;
604 if Ptr /= Max or else Switch_Chars (Ptr) /= '5' then
612 Last_Stored := Last_Stored + 1;
613 Storing (Last_Stored) := '5';
615 (Storing (Storing'First .. Last_Stored));
622 Last_Stored := First_Stored;
623 Storing (Last_Stored) := C;
626 if Ptr /= Max or else Switch_Chars (Ptr) /= '2' then
634 Last_Stored := Last_Stored + 1;
635 Storing (Last_Stored) := '2';
637 (Storing (Storing'First .. Last_Stored));
641 -- -gnat2005 -gnat2012
644 if Ptr + 3 /= Max then
648 elsif Switch_Chars (Ptr + 1 .. Ptr + 3) = "005" then
649 Last_Stored := First_Stored + 3;
650 Storing (First_Stored .. Last_Stored) := "2005";
652 (Storing (Storing'First .. Last_Stored));
655 elsif Switch_Chars (Ptr + 1 .. Ptr + 3) = "012" then
656 Last_Stored := First_Stored + 3;
657 Storing (First_Stored .. Last_Stored) := "2012";
659 (Storing (Storing'First .. Last_Stored));
674 Last_Stored := First_Stored;
675 Storing (Last_Stored) := '8';
678 if Ptr /= Max or else Switch_Chars (Ptr) /= '3' then
686 Last_Stored := Last_Stored + 1;
687 Storing (Last_Stored) := '3';
689 (Storing (Storing'First .. Last_Stored));
693 -- Not a valid switch
703 end Normalize_Compiler_Switches;
705 function Normalize_Compiler_Switches
706 (Switch_Chars : String) return Argument_List
711 Normalize_Compiler_Switches (Switch_Chars, Global_Switches, Last);
714 return (1 .. 0 => null);
716 return Global_Switches (Global_Switches'First .. Last);
718 end Normalize_Compiler_Switches;
720 ------------------------
721 -- Scan_Make_Switches --
722 ------------------------
724 procedure Scan_Make_Switches
725 (Env : in out Prj.Tree.Environment;
726 Switch_Chars : String;
727 Success : out Boolean)
729 Ptr : Integer := Switch_Chars'First;
730 Max : constant Integer := Switch_Chars'Last;
731 C : Character := ' ';
734 -- Assume a good switch
738 -- Skip past the initial character (must be the switch character)
741 Bad_Switch (Switch_Chars);
747 -- A little check, "gnat" at the start of a switch is for the compiler
749 if Switch_Chars'Length >= Ptr + 3
750 and then Switch_Chars (Ptr .. Ptr + 3) = "gnat"
756 C := Switch_Chars (Ptr);
758 -- Multiple character switches
760 if Switch_Chars'Length > 2 then
761 if Switch_Chars = "--create-missing-dirs" then
762 Setup_Projects := True;
764 elsif Switch_Chars'Length > Subdirs_Option'Length
767 (Switch_Chars'First ..
768 Switch_Chars'First + Subdirs_Option'Length - 1) =
774 (Switch_Chars
'First + Subdirs_Option
'Length ..
777 elsif Switch_Chars
= Makeutl
.Unchecked_Shared_Lib_Imports
then
778 Opt
.Unchecked_Shared_Lib_Imports
:= True;
780 elsif Switch_Chars
= Makeutl
.Single_Compile_Per_Obj_Dir_Switch
then
781 Opt
.One_Compilation_Per_Obj_Dir
:= True;
783 elsif Switch_Chars
(Ptr
) = '-' then
784 Bad_Switch
(Switch_Chars
);
786 elsif Switch_Chars
'Length > 3
787 and then Switch_Chars
(Ptr
.. Ptr
+ 1) = "aP"
791 Switch_Chars
(Ptr
+ 2 .. Switch_Chars
'Last));
793 elsif C
= 'v' and then Switch_Chars
'Length = 3 then
795 Verbose_Mode
:= True;
797 case Switch_Chars
(Ptr
) is
799 Verbosity_Level
:= Opt
.Low
;
802 Verbosity_Level
:= Opt
.Medium
;
805 Verbosity_Level
:= Opt
.High
;
813 -- Note: for the debug switch, the remaining characters in this
814 -- switch field must all be debug flags, since all valid switch
815 -- characters are also valid debug characters. This switch is not
816 -- documented on purpose because it is only used by the
819 -- Loop to scan out debug flags
823 C
:= Switch_Chars
(Ptr
);
825 if C
in 'a' .. 'z' or else C
in 'A' .. 'Z' then
828 Bad_Switch
(Switch_Chars
);
835 case Switch_Chars
(Ptr
) is
837 -- Processing for eI switch
841 Scan_Pos
(Switch_Chars
, Max
, Ptr
, Main_Index
, C
);
844 Bad_Switch
(Switch_Chars
);
847 -- Processing for eL switch
851 Bad_Switch
(Switch_Chars
);
854 Follow_Links_For_Files
:= True;
855 Follow_Links_For_Dirs
:= True;
858 -- Processing for eS switch
862 Bad_Switch
(Switch_Chars
);
865 Commands_To_Stdout
:= True;
869 Bad_Switch
(Switch_Chars
);
879 Scan_Nat
(Switch_Chars
, Max
, Ptr
, Max_Proc
, C
);
882 Bad_Switch
(Switch_Chars
);
886 Max_Proc
:= Nat
(Number_Of_CPUs
);
893 Maximum_Processes
:= Positive (Max_Proc
);
897 elsif C
= 'w' and then Switch_Chars
'Length = 3 then
900 if Switch_Chars
= "-we" then
901 Warning_Mode
:= Treat_As_Error
;
903 elsif Switch_Chars
= "-wn" then
904 Warning_Mode
:= Normal
;
906 elsif Switch_Chars
= "-ws" then
907 Warning_Mode
:= Suppress
;
917 -- Single-character switches
925 Check_Readonly_Files
:= True;
927 -- Processing for b switch
933 -- Processing for B switch
936 Build_Bind_And_Link_Full_Project
:= True;
938 -- Processing for c switch
941 Compile_Only
:= True;
944 -- Processing for C switch
947 Opt
.Create_Mapping_File
:= True;
949 -- Processing for D switch
952 if Object_Directory_Present
then
953 Osint
.Fail
("duplicate -D switch");
956 Object_Directory_Present
:= True;
959 -- Processing for f switch
962 Force_Compilations
:= True;
964 -- Processing for F switch
967 Full_Path_Name_For_Brief_Errors
:= True;
969 -- Processing for h switch
972 Usage_Requested
:= True;
974 -- Processing for i switch
977 In_Place_Mode
:= True;
979 -- Processing for j switch
982 -- -j not followed by a number is an error
984 Bad_Switch
(Switch_Chars
);
986 -- Processing for k switch
991 -- Processing for l switch
997 -- Processing for M switch
1000 List_Dependencies
:= True;
1002 -- Processing for n switch
1005 Do_Not_Execute
:= True;
1007 -- Processing for o switch
1010 if Output_File_Name_Present
then
1011 Osint
.Fail
("duplicate -o switch");
1013 Output_File_Name_Present
:= True;
1016 -- Processing for p switch
1019 Setup_Projects
:= True;
1021 -- Processing for q switch
1024 Quiet_Output
:= True;
1026 -- Processing for R switch
1029 Run_Path_Option
:= False;
1031 -- Processing for s switch
1035 Check_Switches
:= True;
1037 -- Processing for v switch
1040 Verbose_Mode
:= True;
1041 Verbosity_Level
:= Opt
.High
;
1043 -- Processing for x switch
1046 External_Unit_Compilation_Allowed
:= True;
1047 Use_Include_Path_File
:= True;
1049 -- Processing for z switch
1052 No_Main_Subprogram
:= True;
1054 -- Any other small letter is an illegal switch
1057 if C
in 'a' .. 'z' then
1058 Bad_Switch
(Switch_Chars
);
1067 end Scan_Make_Switches
;