1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
9 -- Copyright (C) 2001-2009, 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
;
28 with Osint
; use Osint
;
30 with Prepcomp
; use Prepcomp
;
31 with Validsw
; use Validsw
;
32 with Sem_Warn
; use Sem_Warn
;
33 with Stylesw
; use Stylesw
;
35 with System
.OS_Lib
; use System
.OS_Lib
;
37 with System
.WCh_Con
; use System
.WCh_Con
;
39 package body Switch
.C
is
41 RTS_Specified
: String_Access
:= null;
42 -- Used to detect multiple use of --RTS= flag
44 -----------------------------
45 -- Scan_Front_End_Switches --
46 -----------------------------
48 procedure Scan_Front_End_Switches
(Switch_Chars
: String) is
49 First_Switch
: Boolean := True;
50 -- False for all but first switch
52 Max
: constant Natural := Switch_Chars
'Last;
57 Store_Switch
: Boolean;
58 -- For -gnatxx switches, the normal processing, signalled by this flag
59 -- being set to True, is to store the switch on exit from the case
60 -- statement, the switch stored is -gnat followed by the characters
61 -- from First_Char to Ptr-1. For cases like -gnaty, where the switch
62 -- is stored in separate pieces, this flag is set to False, and the
63 -- appropriate calls to Store_Compilation_Switch are made from within
66 First_Char
: Positive;
67 -- Marks start of switch to be stored
70 Ptr
:= Switch_Chars
'First;
72 -- Skip past the initial character (must be the switch character)
80 -- Handle switches that do not start with -gnat
83 or else Switch_Chars
(Ptr
.. Ptr
+ 3) /= "gnat"
85 -- There are two front-end switches that do not start with -gnat:
88 if Switch_Chars
(Ptr
) = 'I' then
90 -- Set flag Search_Directory_Present if switch is "-I" only:
91 -- the directory will be the next argument.
94 Search_Directory_Present
:= True;
100 -- Find out whether this is a -I- or regular -Ixxx switch
102 -- Note: -I switches are not recorded in the ALI file, since the
103 -- meaning of the program depends on the source files compiled,
104 -- not where they came from.
106 if Ptr
= Max
and then Switch_Chars
(Ptr
) = '-' then
107 Look_In_Primary_Dir
:= False;
109 Add_Src_Search_Dir
(Switch_Chars
(Ptr
.. Max
));
112 -- Processing of the --RTS switch. --RTS may have been modified by
113 -- gcc into -fRTS (for GCC targets).
116 and then (Switch_Chars
(Ptr
.. Ptr
+ 3) = "fRTS"
118 Switch_Chars
(Ptr
.. Ptr
+ 3) = "-RTS")
123 or else Switch_Chars
(Ptr
+ 3) /= '='
125 Osint
.Fail
("missing path for --RTS");
127 -- Check that this is the first time --RTS is specified or if
128 -- it is not the first time, the same path has been specified.
130 if RTS_Specified
= null then
131 RTS_Specified
:= new String'(Switch_Chars (Ptr + 4 .. Max));
134 RTS_Specified.all /= Switch_Chars (Ptr + 4 .. Max)
136 Osint.Fail ("--RTS cannot be specified multiple times");
139 -- Valid --RTS switch
141 Opt.No_Stdinc := True;
142 Opt.RTS_Switch := True;
146 (Switch_Chars (Ptr + 4 .. Max), Include);
150 (Switch_Chars (Ptr + 4 .. Max), Objects);
152 if RTS_Src_Path_Name /= null
153 and then RTS_Lib_Path_Name /= null
155 -- Store the -fRTS switch (Note: Store_Compilation_Switch
156 -- changes -fRTS back into --RTS for the actual output).
158 Store_Compilation_Switch (Switch_Chars);
160 elsif RTS_Src_Path_Name = null
161 and then RTS_Lib_Path_Name = null
163 Osint.Fail ("RTS path not valid: missing " &
164 "adainclude and adalib directories");
166 elsif RTS_Src_Path_Name = null then
167 Osint.Fail ("RTS path not valid: missing " &
168 "adainclude directory");
170 elsif RTS_Lib_Path_Name = null then
171 Osint.Fail ("RTS path not valid: missing " &
176 -- There are no other switches not starting with -gnat
179 Bad_Switch (Switch_Chars);
182 -- Case of switch starting with -gnat
187 -- Loop to scan through switches given in switch string
189 while Ptr <= Max loop
191 Store_Switch := True;
193 C := Switch_Chars (Ptr);
199 Assertions_Enabled := True;
200 Debug_Pragmas_Enabled := True;
202 -- Processing for A switch
206 Config_File := False;
208 -- Processing for b switch
212 Brief_Output := True;
214 -- Processing for B switch
218 Assume_No_Invalid_Values := True;
220 -- Processing for c switch
223 if not First_Switch then
225 ("-gnatc must be first if combined with other switches");
229 Operating_Mode := Check_Semantics;
231 -- Processing for C switch
235 CodePeer_Mode := True;
237 -- Processing for d switch
240 Store_Switch := False;
243 -- Note: for the debug switch, the remaining characters in this
244 -- switch field must all be debug flags, since all valid switch
245 -- characters are also valid debug characters.
247 -- Loop to scan out debug flags
251 C := Switch_Chars (Ptr);
252 exit when C = ASCII.NUL or else C = '/' or else C = '-';
254 if C in '1' .. '9' or else
255 C in 'a
' .. 'z
' or else
259 Set_Dotted_Debug_Flag (C);
260 Store_Compilation_Switch ("-gnatd." & C);
263 Store_Compilation_Switch ("-gnatd" & C);
270 Bad_Switch ("-gnatd." & Switch_Chars (Ptr .. Max));
272 Bad_Switch ("-gnatd" & Switch_Chars (Ptr .. Max));
278 -- Processing for D switch
283 -- Scan optional integer line limit value
285 if Nat_Present (Switch_Chars, Max, Ptr) then
286 Scan_Nat (Switch_Chars, Max, Ptr, Sprint_Line_Limit, 'D
');
287 Sprint_Line_Limit := Nat'Max (Sprint_Line_Limit, 40);
290 -- Note: -gnatD also sets -gnatx (to turn off cross-reference
291 -- generation in the ali file) since otherwise this generation
292 -- gets confused by the "wrong" Sloc values put in the tree.
294 Debug_Generated_Code := True;
295 Xref_Active := False;
296 Set_Debug_Flag ('g
');
298 -- -gnate? (extended switches)
303 -- The -gnate? switches are all double character switches
304 -- so we must always have a character after the e.
307 Bad_Switch ("-gnate");
310 case Switch_Chars (Ptr) is
312 -- -gnatea (initial delimiter of explicit switches)
314 -- All switches that come before -gnatea have been added by
315 -- the GCC driver and are not stored in the ALI file.
316 -- See also -gnatez below.
319 Store_Switch := False;
320 Enable_Switch_Storing;
323 -- -gnatec (configuration pragmas)
326 Store_Switch := False;
329 -- There may be an equal sign between -gnatec and
330 -- the path name of the config file.
332 if Ptr <= Max and then Switch_Chars (Ptr) = '=' then
337 Bad_Switch ("-gnatec");
341 Config_File_Name : constant String_Access :=
343 (Switch_Chars
(Ptr
.. Max
));
346 if Config_File_Names
= null then
348 new String_List
'(1 => Config_File_Name);
352 New_Names : constant String_List_Access :=
355 Config_File_Names'Length + 1);
358 for Index in Config_File_Names'Range loop
360 Config_File_Names (Index);
361 Config_File_Names (Index) := null;
364 New_Names (New_Names'Last) := Config_File_Name;
365 Free (Config_File_Names);
366 Config_File_Names := New_Names;
373 -- -gnateC switch (CodePeer SCIL generation)
375 -- Not enabled for now, keep it for later???
376 -- use -gnatd.I only for now
380 -- Generate_SCIL := True;
382 -- -gnateD switch (preprocessing symbol definition)
385 Store_Switch := False;
389 Bad_Switch ("-gnateD");
392 Add_Symbol_Definition (Switch_Chars (Ptr .. Max));
396 Store_Compilation_Switch
397 ("-gnateD" & Switch_Chars (Ptr .. Max));
400 -- -gnatef (full source path for brief error messages)
403 Store_Switch := False;
405 Full_Path_Name_For_Brief_Errors := True;
407 -- -gnateG (save preprocessor output)
410 Generate_Processed_File := True;
413 -- -gnateI (index of unit in multi-unit source)
417 Scan_Pos (Switch_Chars, Max, Ptr, Multiple_Unit_Index, C);
419 -- -gnatem (mapping file)
422 Store_Switch := False;
425 -- There may be an equal sign between -gnatem and
426 -- the path name of the mapping file.
428 if Ptr <= Max and then Switch_Chars (Ptr) = '=' then
433 Bad_Switch ("-gnatem");
437 new String'(Switch_Chars
(Ptr
.. Max
));
440 -- -gnatep (preprocessing data file)
443 Store_Switch
:= False;
446 -- There may be an equal sign between -gnatep and
447 -- the path name of the mapping file.
449 if Ptr
<= Max
and then Switch_Chars
(Ptr
) = '=' then
454 Bad_Switch
("-gnatep");
457 Preprocessing_Data_File
:=
458 new String'(Switch_Chars (Ptr .. Max));
460 -- Store the switch, normalizing to -gnatep=
462 Store_Compilation_Switch
463 ("-gnatep=" & Preprocessing_Data_File.all);
467 -- -gnatez (final delimiter of explicit switches)
469 -- All switches that come after -gnatez have been added by
470 -- the GCC driver and are not stored in the ALI file. See
471 -- also -gnatea above.
474 Store_Switch := False;
475 Disable_Switch_Storing;
478 -- -gnateS (generate SCO information)
480 -- Include Source Coverage Obligation information in ALI
481 -- files for the benefit of source coverage analysis tools
485 Generate_SCO := True;
488 -- All other -gnate? switches are unassigned
491 Bad_Switch ("-gnate" & Switch_Chars (Ptr .. Max));
494 -- -gnatE (dynamic elaboration checks)
498 Dynamic_Elaboration_Checks := True;
500 -- -gnatf (full error messages)
504 All_Errors_Mode := True;
506 -- Processing for F switch
510 External_Name_Exp_Casing := Uppercase;
511 External_Name_Imp_Casing := Uppercase;
513 -- Processing for g switch
518 Identifier_Character_Set := 'n
';
519 System_Extend_Unit := Empty;
520 Warning_Mode := Treat_As_Error;
522 -- Set Ada 2005 mode explicitly. We don't want to rely on the
523 -- implicit setting here, since for example, we want
524 -- Preelaborate_05 treated as Preelaborate
526 Ada_Version := Ada_05;
527 Ada_Version_Explicit := Ada_Version;
529 -- Set default warnings and style checks for -gnatg
531 Set_GNAT_Mode_Warnings;
532 Set_GNAT_Style_Check_Options;
534 -- Processing for G switch
538 Print_Generated_Code := True;
540 -- Scan optional integer line limit value
542 if Nat_Present (Switch_Chars, Max, Ptr) then
543 Scan_Nat (Switch_Chars, Max, Ptr, Sprint_Line_Limit, 'G
');
544 Sprint_Line_Limit := Nat'Max (Sprint_Line_Limit, 40);
547 -- Processing for h switch
551 Usage_Requested := True;
553 -- Processing for H switch
559 -- Processing for i switch
563 Bad_Switch ("-gnati");
567 C := Switch_Chars (Ptr);
577 Identifier_Character_Set := C;
581 Bad_Switch ("-gnati" & Switch_Chars (Ptr .. Max));
584 -- Processing for I switch
588 Ignore_Rep_Clauses := True;
590 -- Processing for j switch
594 Scan_Nat (Switch_Chars, Max, Ptr, Error_Msg_Line_Length, C);
596 -- Processing for k switch
601 (Switch_Chars, Max, Ptr, Maximum_File_Name_Length, C);
603 -- Processing for l switch
609 -- There may be an equal sign between -gnatl and a file name
611 if Ptr <= Max and then Switch_Chars (Ptr) = '=' then
613 Osint.Fail ("file name for -gnatl= is null");
615 Opt.Full_List_File_Name :=
616 new String'(Switch_Chars
(Ptr
+ 1 .. Max
));
621 -- Processing for L switch
625 Dump_Source_Text
:= True;
627 -- Processing for m switch
631 Scan_Nat
(Switch_Chars
, Max
, Ptr
, Maximum_Messages
, C
);
633 -- Processing for n switch
637 Inline_Active
:= True;
639 -- Processing for N switch
643 Inline_Active
:= True;
644 Front_End_Inlining
:= True;
646 -- Processing for o switch
650 Suppress_Options
(Overflow_Check
) := False;
651 Opt
.Enable_Overflow_Checks
:= True;
653 -- Processing for O switch
656 Store_Switch
:= False;
658 Output_File_Name_Present
:= True;
660 -- Processing for p switch
665 -- Set all specific options as well as All_Checks in the
666 -- Suppress_Options array, excluding Elaboration_Check, since
667 -- this is treated specially because we do not want -gnatp to
668 -- disable static elaboration processing.
670 for J
in Suppress_Options
'Range loop
671 if J
/= Elaboration_Check
then
672 Suppress_Options
(J
) := True;
676 Validity_Checks_On
:= False;
677 Opt
.Suppress_Checks
:= True;
678 Opt
.Enable_Overflow_Checks
:= False;
680 -- Processing for P switch
684 Polling_Required
:= True;
686 -- Processing for q switch
690 Try_Semantics
:= True;
692 -- Processing for Q switch
696 Force_ALI_Tree_File
:= True;
697 Try_Semantics
:= True;
699 -- Processing for r switch
703 Treat_Restrictions_As_Warnings
:= True;
705 -- Processing for R switch
708 Back_Annotate_Rep_Info
:= True;
709 List_Representation_Info
:= 1;
712 while Ptr
<= Max
loop
713 C
:= Switch_Chars
(Ptr
);
715 if C
in '1' .. '3' then
716 List_Representation_Info
:=
717 Character'Pos (C
) - Character'Pos ('0');
719 elsif Switch_Chars
(Ptr
) = 's' then
720 List_Representation_Info_To_File
:= True;
722 elsif Switch_Chars
(Ptr
) = 'm' then
723 List_Representation_Info_Mechanisms
:= True;
726 Bad_Switch
("-gnatR" & Switch_Chars
(Ptr
.. Max
));
732 -- Processing for s switch
735 if not First_Switch
then
737 ("-gnats must be first if combined with other switches");
741 Operating_Mode
:= Check_Syntax
;
743 -- Processing for S switch
746 Print_Standard
:= True;
749 -- Processing for t switch
754 Back_Annotate_Rep_Info
:= True;
756 -- Processing for T switch
760 Scan_Pos
(Switch_Chars
, Max
, Ptr
, Table_Factor
, C
);
762 -- Processing for u switch
768 -- Processing for U switch
772 Unique_Error_Tag
:= True;
774 -- Processing for v switch
778 Verbose_Mode
:= True;
780 -- Processing for V switch
783 Store_Switch
:= False;
787 Bad_Switch
("-gnatV");
794 Set_Validity_Check_Options
795 (Switch_Chars
(Ptr
.. Max
), OK
, Ptr
);
798 Bad_Switch
("-gnatV" & Switch_Chars
(Ptr
.. Max
));
801 for Index
in First_Char
+ 1 .. Max
loop
802 Store_Compilation_Switch
803 ("-gnatV" & Switch_Chars
(Index
));
810 -- Processing for w switch
813 Store_Switch
:= False;
817 Bad_Switch
("-gnatw");
820 while Ptr
<= Max
loop
821 C
:= Switch_Chars
(Ptr
);
823 -- Case of dot switch
825 if C
= '.' and then Ptr
< Max
then
827 C
:= Switch_Chars
(Ptr
);
829 if Set_Dot_Warning_Switch
(C
) then
830 Store_Compilation_Switch
("-gnatw." & C
);
832 Bad_Switch
("-gnatw." & Switch_Chars
(Ptr
.. Max
));
835 -- Normal case, no dot
838 if Set_Warning_Switch
(C
) then
839 Store_Compilation_Switch
("-gnatw" & C
);
841 Bad_Switch
("-gnatw" & Switch_Chars
(Ptr
.. Max
));
850 -- Processing for W switch
856 Bad_Switch
("-gnatW");
860 Wide_Character_Encoding_Method
:=
861 Get_WC_Encoding_Method
(Switch_Chars
(Ptr
));
863 when Constraint_Error
=>
864 Bad_Switch
("-gnatW" & Switch_Chars
(Ptr
.. Max
));
867 Wide_Character_Encoding_Method_Specified
:= True;
869 Upper_Half_Encoding
:=
870 Wide_Character_Encoding_Method
in
871 WC_Upper_Half_Encoding_Method
;
875 -- Processing for x switch
879 Xref_Active
:= False;
881 -- Processing for X switch
885 Extensions_Allowed
:= True;
887 -- Processing for y switch
893 Set_Default_Style_Check_Options
;
896 Store_Switch
:= False;
902 Set_Style_Check_Options
903 (Switch_Chars
(Ptr
.. Max
), OK
, Ptr
);
907 ("bad -gnaty switch (" &
908 Style_Msg_Buf
(1 .. Style_Msg_Len
) & ')');
911 Ptr
:= First_Char
+ 1;
912 while Ptr
<= Max
loop
913 if Switch_Chars
(Ptr
) = 'M' then
918 or else Switch_Chars
(Ptr
) not in '0' .. '9';
921 Store_Compilation_Switch
922 ("-gnaty" & Switch_Chars
(First_Char
.. Ptr
- 1));
925 Store_Compilation_Switch
926 ("-gnaty" & Switch_Chars
(Ptr
));
933 -- Processing for z switch
936 -- -gnatz must be the first and only switch in Switch_Chars,
937 -- and is a two-letter switch.
939 if Ptr
/= Switch_Chars
'First + 5
940 or else (Max
- Ptr
+ 1) > 2
943 ("-gnatz* may not be combined with other switches");
947 Bad_Switch
("-gnatz");
952 -- Only one occurrence of -gnat* is permitted
954 if Distribution_Stub_Mode
= No_Stubs
then
955 case Switch_Chars
(Ptr
) is
957 Distribution_Stub_Mode
:= Generate_Receiver_Stub_Body
;
960 Distribution_Stub_Mode
:= Generate_Caller_Stub_Body
;
963 Bad_Switch
("-gnatz" & Switch_Chars
(Ptr
.. Max
));
969 Osint
.Fail
("only one -gnatz* switch allowed");
972 -- Processing for Z switch
977 ("-gnatZ is no longer supported: consider using --RTS=zcx");
979 -- Processing for 83 switch
983 Bad_Switch
("-gnat8");
988 if Switch_Chars
(Ptr
) /= '3' then
989 Bad_Switch
("-gnat8" & Switch_Chars
(Ptr
.. Max
));
992 Ada_Version
:= Ada_83
;
993 Ada_Version_Explicit
:= Ada_Version
;
996 -- Processing for 95 switch
1000 Bad_Switch
("-gnat9");
1005 if Switch_Chars
(Ptr
) /= '5' then
1006 Bad_Switch
("-gnat9" & Switch_Chars
(Ptr
.. Max
));
1009 Ada_Version
:= Ada_95
;
1010 Ada_Version_Explicit
:= Ada_Version
;
1013 -- Processing for 05 switch
1017 Bad_Switch
("-gnat0");
1022 if Switch_Chars
(Ptr
) /= '5' then
1023 Bad_Switch
("-gnat0" & Switch_Chars
(Ptr
.. Max
));
1026 Ada_Version
:= Ada_05
;
1027 Ada_Version_Explicit
:= Ada_Version
;
1030 -- Ignore extra switch character
1035 -- Anything else is an error (illegal switch character)
1038 Bad_Switch
("-gnat" & Switch_Chars
(Ptr
.. Max
));
1041 if Store_Switch
then
1042 Store_Compilation_Switch
1043 ("-gnat" & Switch_Chars
(First_Char
.. Ptr
- 1));
1046 First_Switch
:= False;
1049 end Scan_Front_End_Switches
;