1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
9 -- Copyright (C) 2001-2006, 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, 51 Franklin Street, Fifth Floor, --
20 -- Boston, MA 02110-1301, 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 ------------------------------------------------------------------------------
27 with GNAT
.OS_Lib
; use GNAT
.OS_Lib
;
29 with Debug
; use Debug
;
31 with Osint
; use Osint
;
33 with Prepcomp
; use Prepcomp
;
34 with Validsw
; use Validsw
;
35 with Sem_Warn
; use Sem_Warn
;
36 with Stylesw
; use Stylesw
;
38 with System
.WCh_Con
; use System
.WCh_Con
;
40 package body Switch
.C
is
42 RTS_Specified
: String_Access
:= null;
43 -- Used to detect multiple use of --RTS= flag
45 -----------------------------
46 -- Scan_Front_End_Switches --
47 -----------------------------
49 procedure Scan_Front_End_Switches
(Switch_Chars
: String) is
50 Switch_Starts_With_Gnat
: Boolean;
51 -- True if first four switch characters are "gnat"
53 First_Switch
: Boolean := True;
54 -- False for all but first switch
56 Ptr
: Integer := Switch_Chars
'First;
57 Max
: constant Integer := Switch_Chars
'Last;
61 Store_Switch
: Boolean := True;
62 First_Char
: Integer := Ptr
;
63 Storing
: String := Switch_Chars
;
64 First_Stored
: Positive := Ptr
+ 1;
65 -- The above need comments ???
68 -- Skip past the initial character (must be the switch character)
76 -- Remove "gnat" from the switch, if present
78 Switch_Starts_With_Gnat
:=
79 Ptr
+ 3 <= Max
and then Switch_Chars
(Ptr
.. Ptr
+ 3) = "gnat";
81 if Switch_Starts_With_Gnat
then
86 -- Loop to scan through switches given in switch string
91 C
:= Switch_Chars
(Ptr
);
93 -- Processing for a switch
95 case Switch_Starts_With_Gnat
is
99 -- There are few front-end switches that
100 -- do not start with -gnat: -I, --RTS
102 if Switch_Chars
(Ptr
) = 'I' then
103 Store_Switch
:= False;
105 -- Set flag Search_Directory_Present if switch is "-I" only:
106 -- the directory will be the next argument.
109 Search_Directory_Present
:= True;
115 -- Find out whether this is a -I- or regular -Ixxx switch
117 if Ptr
= Max
and then Switch_Chars
(Ptr
) = '-' then
118 Look_In_Primary_Dir
:= False;
121 Add_Src_Search_Dir
(Switch_Chars
(Ptr
.. Max
));
126 -- Processing of the --RTS switch. --RTS has been modified by
127 -- gcc and is now of the form -fRTS
130 and then Switch_Chars
(Ptr
.. Ptr
+ 3) = "fRTS"
135 or else Switch_Chars
(Ptr
+ 3) /= '='
137 Osint
.Fail
("missing path for --RTS");
139 -- Check that this is the first time --RTS is specified
140 -- or if it is not the first time, the same path has
143 if RTS_Specified
= null then
145 new String'(Switch_Chars (Ptr + 4 .. Max));
148 RTS_Specified.all /= Switch_Chars (Ptr + 4 .. Max)
151 ("--RTS cannot be specified multiple times");
154 -- Valid --RTS switch
156 Opt.No_Stdinc := True;
157 Opt.RTS_Switch := True;
159 RTS_Src_Path_Name := Get_RTS_Search_Dir
160 (Switch_Chars (Ptr + 4 .. Max),
162 RTS_Lib_Path_Name := Get_RTS_Search_Dir
163 (Switch_Chars (Ptr + 4 .. Max),
166 if RTS_Src_Path_Name /= null and then
167 RTS_Lib_Path_Name /= null
171 elsif RTS_Src_Path_Name = null and then
172 RTS_Lib_Path_Name = null
174 Osint.Fail ("RTS path not valid: missing " &
175 "adainclude and adalib directories");
177 elsif RTS_Src_Path_Name = null then
178 Osint.Fail ("RTS path not valid: missing " &
179 "adainclude directory");
181 elsif RTS_Lib_Path_Name = null then
182 Osint.Fail ("RTS path not valid: missing " &
192 -- Process -gnat* options
198 Assertions_Enabled := True;
199 Debug_Pragmas_Enabled := True;
201 -- Processing for A switch
205 Config_File := False;
207 -- Processing for b switch
211 Brief_Output := True;
213 -- Processing for c switch
216 if not First_Switch then
218 ("-gnatc must be first if combined with other switches");
222 Operating_Mode := Check_Semantics;
228 -- Processing for d switch
231 Store_Switch := False;
232 Storing (First_Stored) := 'd
';
235 -- Note: for the debug switch, the remaining characters in this
236 -- switch field must all be debug flags, since all valid switch
237 -- characters are also valid debug characters.
239 -- Loop to scan out debug flags
243 C := Switch_Chars (Ptr);
244 exit when C = ASCII.NUL or else C = '/' or else C = '-';
246 if C in '1' .. '9' or else
247 C in 'a
' .. 'z
' or else
251 Set_Dotted_Debug_Flag (C);
252 Storing (First_Stored + 1) := '.';
253 Storing (First_Stored + 2) := C;
254 Store_Compilation_Switch
255 (Storing (Storing'First .. First_Stored + 2));
260 Storing (First_Stored + 1) := C;
261 Store_Compilation_Switch
262 (Storing (Storing'First .. First_Stored + 1));
275 -- Processing for D switch
280 -- Note: -gnatD also sets -gnatx (to turn off cross-reference
281 -- generation in the ali file) since otherwise this generation
282 -- gets confused by the "wrong" Sloc values put in the tree.
284 Debug_Generated_Code := True;
285 Xref_Active := False;
286 Set_Debug_Flag ('g
');
288 -- -gnate? (extended switches)
293 -- The -gnate? switches are all double character switches
294 -- so we must always have a character after the e.
300 case Switch_Chars (Ptr) is
302 -- -gnatec (configuration pragmas)
305 Store_Switch := False;
308 -- There may be an equal sign between -gnatec and
309 -- the path name of the config file.
311 if Ptr <= Max and then Switch_Chars (Ptr) = '=' then
320 Config_File_Name : constant String_Access :=
322 (Switch_Chars
(Ptr
.. Max
));
325 if Config_File_Names
= null then
327 new String_List
'(1 => Config_File_Name);
331 New_Names : constant String_List_Access :=
334 Config_File_Names'Length + 1);
337 for Index in Config_File_Names'Range loop
339 Config_File_Names (Index);
340 Config_File_Names (Index) := null;
343 New_Names (New_Names'Last) := Config_File_Name;
344 Free (Config_File_Names);
345 Config_File_Names := New_Names;
352 -- -gnateD switch (symbol definition)
355 Store_Switch := False;
362 Add_Symbol_Definition (Switch_Chars (Ptr .. Max));
366 Storing (First_Stored .. First_Stored + 1) := "eD";
368 (First_Stored + 2 .. First_Stored + Max - Ptr + 2) :=
369 Switch_Chars (Ptr .. Max);
370 Store_Compilation_Switch (Storing
371 (Storing'First .. First_Stored + Max - Ptr + 2));
374 -- -gnatef (full source path for brief error messages)
377 Store_Switch := False;
379 Full_Path_Name_For_Brief_Errors := True;
382 -- -gnateI (index of unit in multi-unit source)
387 (Switch_Chars, Max, Ptr, Multiple_Unit_Index, C);
389 -- -gnatem (mapping file)
392 Store_Switch := False;
395 -- There may be an equal sign between -gnatem and
396 -- the path name of the mapping file.
398 if Ptr <= Max and then Switch_Chars (Ptr) = '=' then
407 new String'(Switch_Chars
(Ptr
.. Max
));
410 -- -gnatep (preprocessing data file)
413 Store_Switch
:= False;
416 -- There may be an equal sign between -gnatep and
417 -- the path name of the mapping file.
419 if Ptr
<= Max
and then Switch_Chars
(Ptr
) = '=' then
427 Preprocessing_Data_File
:=
428 new String'(Switch_Chars (Ptr .. Max));
431 -- Because we may store a longer switch (we normalize
432 -- to -gnatep=), use a local variable.
436 (1 .. Preprocessing_Data_File'Length + 8);
439 To_Store (1 .. 8) := "-gnatep=";
440 To_Store (9 .. Preprocessing_Data_File'Length + 8) :=
441 Preprocessing_Data_File.all;
442 Store_Compilation_Switch (To_Store);
448 Store_Switch := False;
449 Disable_Switch_Storing;
452 -- All other -gnate? switches are unassigned
458 -- -gnatE (dynamic elaboration checks)
462 Dynamic_Elaboration_Checks := True;
464 -- -gnatf (full error messages)
468 All_Errors_Mode := True;
470 -- Processing for F switch
474 External_Name_Exp_Casing := Uppercase;
475 External_Name_Imp_Casing := Uppercase;
477 -- Processing for g switch
482 Identifier_Character_Set := 'n
';
483 System_Extend_Unit := Empty;
484 Warning_Mode := Treat_As_Error;
486 -- Set Ada 2005 mode explicitly. We don't want to rely on the
487 -- implicit setting here, since for example, we want
488 -- Preelaborate_05 treated as Preelaborate
490 Ada_Version := Ada_05;
491 Ada_Version_Explicit := Ada_Version;
493 -- Set default warnings for -gnatg (same set as -gnatwa)
495 Check_Unreferenced := True;
496 Check_Unreferenced_Formals := True;
498 Constant_Condition_Warnings := True;
499 Implementation_Unit_Warnings := True;
500 Ineffective_Inline_Warnings := True;
501 Warn_On_Bad_Fixed_Value := True;
502 Warn_On_Constant := True;
503 Warn_On_Export_Import := True;
504 Warn_On_Modified_Unread := True;
505 Warn_On_No_Value_Assigned := True;
506 Warn_On_Obsolescent_Feature := True;
507 Warn_On_Redundant_Constructs := True;
508 Warn_On_Unchecked_Conversion := True;
509 Warn_On_Unrecognized_Pragma := True;
511 Set_Style_Check_Options ("3abcdefhiklmnprstux");
513 -- Processing for G switch
517 Print_Generated_Code := True;
519 -- Processing for h switch
523 Usage_Requested := True;
525 -- Processing for H switch
531 -- Processing for i switch
539 C := Switch_Chars (Ptr);
549 Identifier_Character_Set := C;
556 -- Processing for k switch
561 (Switch_Chars, Max, Ptr, Maximum_File_Name_Length, C);
563 -- Processing for l switch
569 -- Processing for L switch
574 ("-gnatL is no longer supported: consider using --RTS=sjlj");
576 -- Processing for m switch
581 -- There may be an equal sign between -gnatm and the value
583 if Ptr <= Max and then Switch_Chars (Ptr) = '=' then
587 Scan_Pos (Switch_Chars, Max, Ptr, Maximum_Errors, C);
589 -- Processing for n switch
593 Inline_Active := True;
595 -- Processing for N switch
599 Inline_Active := True;
600 Front_End_Inlining := True;
602 -- Processing for o switch
606 Suppress_Options (Overflow_Check) := False;
607 Opt.Enable_Overflow_Checks := True;
609 -- Processing for O switch
612 Store_Switch := False;
614 Output_File_Name_Present := True;
616 -- Processing for p switch
621 -- Set all specific options as well as All_Checks in the
622 -- Suppress_Options array, excluding Elaboration_Check, since
623 -- this is treated specially because we do not want -gnatp to
624 -- disable static elaboration processing.
626 for J in Suppress_Options'Range loop
627 if J /= Elaboration_Check then
628 Suppress_Options (J) := True;
632 Validity_Checks_On := False;
633 Opt.Suppress_Checks := True;
634 Opt.Enable_Overflow_Checks := False;
636 -- Processing for P switch
640 Polling_Required := True;
642 -- Processing for q switch
646 Try_Semantics := True;
648 -- Processing for q switch
652 Force_ALI_Tree_File := True;
653 Try_Semantics := True;
655 -- Processing for R switch
659 Back_Annotate_Rep_Info := True;
660 List_Representation_Info := 1;
662 while Ptr <= Max loop
663 C := Switch_Chars (Ptr);
665 if C in '1' .. '3' then
666 List_Representation_Info :=
667 Character'Pos (C) - Character'Pos ('0');
669 elsif Switch_Chars (Ptr) = 's
' then
670 List_Representation_Info_To_File := True;
672 elsif Switch_Chars (Ptr) = 'm
' then
673 List_Representation_Info_Mechanisms := True;
682 -- Processing for s switch
685 if not First_Switch then
687 ("-gnats must be first if combined with other switches");
691 Operating_Mode := Check_Syntax;
693 -- Processing for S switch
696 Print_Standard := True;
699 -- Processing for t switch
705 if Operating_Mode = Check_Semantics then
709 Back_Annotate_Rep_Info := True;
711 -- Processing for T switch
715 Scan_Pos (Switch_Chars, Max, Ptr, Table_Factor, C);
717 -- Processing for u switch
723 -- Processing for U switch
727 Unique_Error_Tag := True;
729 -- Processing for v switch
733 Verbose_Mode := True;
735 -- Processing for V switch
738 Store_Switch := False;
739 Storing (First_Stored) := 'V
';
750 Set_Validity_Check_Options
751 (Switch_Chars (Ptr .. Max), OK, Ptr);
757 for Index in First_Char + 1 .. Max loop
758 Storing (First_Stored + 1) :=
759 Switch_Chars (Index);
760 Store_Compilation_Switch
761 (Storing (Storing'First .. First_Stored + 1));
768 -- Processing for w switch
771 Store_Switch := False;
772 Storing (First_Stored) := 'w
';
779 while Ptr <= Max loop
780 C := Switch_Chars (Ptr);
782 if Set_Warning_Switch (C) then
789 Storing (First_Stored + 1) := C;
790 Store_Compilation_Switch
791 (Storing (Storing'First .. First_Stored + 1));
799 -- Processing for W switch
808 for J in WC_Encoding_Method loop
809 if Switch_Chars (Ptr) = WC_Encoding_Letters (J) then
810 Wide_Character_Encoding_Method := J;
813 elsif J = WC_Encoding_Method'Last then
818 Upper_Half_Encoding :=
819 Wide_Character_Encoding_Method in
820 WC_Upper_Half_Encoding_Method;
824 -- Processing for x switch
828 Xref_Active := False;
830 -- Processing for X switch
834 Extensions_Allowed := True;
835 Ada_Version := Ada_Version_Type'Last;
836 Ada_Version_Explicit := Ada_Version;
838 -- Processing for y switch
844 Set_Default_Style_Check_Options;
847 Store_Switch := False;
848 Storing (First_Stored) := 'y
';
852 Last_Stored : Integer;
855 Set_Style_Check_Options
856 (Switch_Chars (Ptr .. Max), OK, Ptr);
860 R : String (1 .. Style_Msg_Len + 20);
862 R (1 .. 19) := "bad -gnaty switch (";
863 R (20 .. R'Last - 1) :=
864 Style_Msg_Buf (1 .. Style_Msg_Len);
870 Ptr := First_Char + 1;
871 while Ptr <= Max loop
872 Last_Stored := First_Stored + 1;
873 Storing (Last_Stored) := Switch_Chars (Ptr);
875 if Switch_Chars (Ptr) = 'M
' then
879 or else Switch_Chars (Ptr) not in '0' .. '9';
880 Last_Stored := Last_Stored + 1;
881 Storing (Last_Stored) := Switch_Chars (Ptr);
888 Store_Compilation_Switch
889 (Storing (Storing'First .. Last_Stored));
894 -- Processing for z switch
899 -- Allowed for compiler only if this is the only
900 -- -z switch, we do not allow multiple occurrences
902 if Distribution_Stub_Mode = No_Stubs then
903 case Switch_Chars (Ptr) is
905 Distribution_Stub_Mode := Generate_Receiver_Stub_Body;
908 Distribution_Stub_Mode := Generate_Caller_Stub_Body;
918 -- Processing for Z switch
923 ("-gnatZ is no longer supported: consider using --RTS=zcx");
925 -- Processing for 83 switch
934 if Switch_Chars (Ptr) /= '3' then
938 Ada_Version := Ada_83;
939 Ada_Version_Explicit := Ada_Version;
942 -- Processing for 95 switch
951 if Switch_Chars (Ptr) /= '5' then
955 Ada_Version := Ada_95;
956 Ada_Version_Explicit := Ada_Version;
959 -- Processing for 05 switch
968 if Switch_Chars (Ptr) /= '5' then
972 Ada_Version := Ada_05;
973 Ada_Version_Explicit := Ada_Version;
976 -- Ignore extra switch character
981 -- Anything else is an error (illegal switch character)
989 Storing (First_Stored .. First_Stored + Ptr - First_Char - 1) :=
990 Switch_Chars (First_Char .. Ptr - 1);
991 Store_Compilation_Switch
992 (Storing (Storing'First .. First_Stored + Ptr - First_Char - 1));
995 First_Switch := False;
997 end Scan_Front_End_Switches;