1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
9 -- Copyright (C) 2001-2015, 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 -- This package is for switch processing and should not depend on higher level
27 -- packages such as those for the scanner, parser, etc. Doing so may cause
28 -- circularities, especially for back ends using Adabkend.
30 with Debug; use Debug;
32 with Osint; use Osint;
34 with Stylesw; use Stylesw;
35 with Targparm; use Targparm;
36 with Ttypes; use Ttypes;
37 with Validsw; use Validsw;
38 with Warnsw; use Warnsw;
40 with Ada.Unchecked_Deallocation;
42 with System.WCh_Con; use System.WCh_Con;
45 package body Switch.C is
47 RTS_Specified : String_Access := null;
48 -- Used to detect multiple use of --RTS= flag
50 procedure Add_Symbol_Definition (Def : String);
51 -- Add a symbol definition from the command line
54 new Ada.Unchecked_Deallocation (String_List, String_List_Access);
55 -- Avoid using System.Strings.Free, which also frees the designated strings
57 function Get_Overflow_Mode (C : Character) return Overflow_Mode_Type;
58 -- Given a digit in the range 0 .. 3, returns the corresponding value of
59 -- Overflow_Mode_Type. Raises Program_Error if C is outside this range.
61 function Switch_Subsequently_Cancelled
64 Arg_Rank : Positive) return Boolean;
65 -- This function is called from Scan_Front_End_Switches. It determines if
66 -- the switch currently being scanned is followed by a switch of the form
67 -- "-gnat-" & C, where C is the argument. If so, then True is returned,
68 -- and Scan_Front_End_Switches will cancel the effect of the switch. If
69 -- no such switch is found, False is returned.
71 ---------------------------
72 -- Add_Symbol_Definition --
73 ---------------------------
75 procedure Add_Symbol_Definition (Def : String) is
77 -- If Preprocessor_Symbol_Defs is not large enough, double its size
79 if Preprocessing_Symbol_Last = Preprocessing_Symbol_Defs'Last then
81 New_Symbol_Definitions : constant String_List_Access :=
82 new String_List (1 .. 2 * Preprocessing_Symbol_Last);
84 New_Symbol_Definitions (Preprocessing_Symbol_Defs'Range) :=
85 Preprocessing_Symbol_Defs.all;
86 Free (Preprocessing_Symbol_Defs);
87 Preprocessing_Symbol_Defs := New_Symbol_Definitions;
91 Preprocessing_Symbol_Last := Preprocessing_Symbol_Last + 1;
92 Preprocessing_Symbol_Defs (Preprocessing_Symbol_Last) :=
94 end Add_Symbol_Definition;
96 -----------------------
97 -- Get_Overflow_Mode --
98 -----------------------
100 function Get_Overflow_Mode (C : Character) return Overflow_Mode_Type is
109 -- Eliminated allowed only if Long_Long_Integer is 64 bits (since
110 -- the current implementation of System.Bignums assumes this).
113 if Standard_Long_Long_Integer_Size /= 64 then
114 Bad_Switch ("-gnato3 not implemented for this configuration");
122 end Get_Overflow_Mode;
124 -----------------------------
125 -- Scan_Front_End_Switches --
126 -----------------------------
128 procedure Scan_Front_End_Switches
129 (Switch_Chars : String;
133 First_Switch : Boolean := True;
134 -- False for all but first switch
136 Max : constant Natural := Switch_Chars'Last;
138 C : Character := ' ';
141 Store_Switch : Boolean;
142 -- For -gnatxx switches, the normal processing, signalled by this flag
143 -- being set to True, is to store the switch on exit from the case
144 -- statement, the switch stored is -gnat followed by the characters
145 -- from First_Char to Ptr-1. For cases like -gnaty, where the switch
146 -- is stored in separate pieces, this flag is set to False, and the
147 -- appropriate calls to Store_Compilation_Switch are made from within
150 First_Char : Positive;
151 -- Marks start of switch to be stored
153 First_Ptr : Positive;
154 -- Save position of first character after -gnatd (for checking that
155 -- debug flags that must come first are first, in particular -gnatd.b),
158 Ptr := Switch_Chars'First;
160 -- Skip past the initial character (must be the switch character)
168 -- Handle switches that do not start with -gnat
170 if Ptr + 3 > Max or else Switch_Chars (Ptr .. Ptr + 3) /= "gnat" then
172 -- There are two front-end switches that do not start with -gnat:
175 if Switch_Chars (Ptr) = 'I' then
177 -- Set flag Search_Directory_Present if switch is "-I" only:
178 -- the directory will be the next argument.
181 Search_Directory_Present := True;
187 -- Find out whether this is a -I- or regular -Ixxx switch
189 -- Note: -I switches are not recorded in the ALI file, since the
190 -- meaning of the program depends on the source files compiled,
191 -- not where they came from.
193 if Ptr = Max and then Switch_Chars (Ptr) = '-' then
194 Look_In_Primary_Dir := False;
196 Add_Src_Search_Dir (Switch_Chars (Ptr .. Max));
199 -- Processing of the --RTS switch. --RTS may have been modified by
200 -- gcc into -fRTS (for GCC targets).
203 and then (Switch_Chars (Ptr .. Ptr + 3) = "fRTS"
205 Switch_Chars (Ptr .. Ptr + 3) = "-RTS")
210 or else Switch_Chars (Ptr + 3) /= '='
212 Osint.Fail ("missing path for --RTS");
216 Runtime_Dir : String_Access;
218 if System.OS_Lib.Is_Absolute_Path
219 (Switch_Chars (Ptr + 4 .. Max))
222 new String'(System.OS_Lib.Normalize_Pathname
223 (Switch_Chars (Ptr + 4 .. Max)));
226 new String'(Switch_Chars (Ptr + 4 .. Max));
229 -- Valid --RTS switch
231 Opt.No_Stdinc := True;
232 Opt.RTS_Switch := True;
235 Get_RTS_Search_Dir (Runtime_Dir.all, Include);
238 Get_RTS_Search_Dir (Runtime_Dir.all, Objects);
240 if RTS_Specified /= null then
241 if RTS_Src_Path_Name = null
242 or else RTS_Lib_Path_Name = null
244 System.OS_Lib.Normalize_Pathname
245 (RTS_Specified.all) /=
246 System.OS_Lib.Normalize_Pathname
247 (RTS_Lib_Path_Name.all)
250 ("--RTS cannot be specified multiple times");
253 elsif RTS_Src_Path_Name /= null
254 and then RTS_Lib_Path_Name /= null
256 -- Store the -fRTS switch (Note: Store_Compilation_Switch
257 -- changes -fRTS back into --RTS for the actual output).
259 Store_Compilation_Switch (Switch_Chars);
260 RTS_Specified := new String'(RTS_Lib_Path_Name.all);
262 elsif RTS_Src_Path_Name = null
263 and then RTS_Lib_Path_Name = null
265 Osint.Fail ("RTS path not valid: missing "
266 & "adainclude and adalib directories");
268 elsif RTS_Src_Path_Name = null then
269 Osint.Fail ("RTS path not valid: missing "
270 & "adainclude directory");
272 elsif RTS_Lib_Path_Name = null then
273 Osint.Fail ("RTS path not valid: missing "
274 & "adalib directory");
279 -- There are no other switches not starting with -gnat
282 Bad_Switch (Switch_Chars);
285 -- Case of switch starting with -gnat
290 -- Loop to scan through switches given in switch string
292 while Ptr <= Max loop
294 Store_Switch := True;
296 C := Switch_Chars (Ptr);
300 -- -gnata (assertions enabled)
304 Assertions_Enabled := True;
306 -- -gnatA (disregard gnat.adc)
310 Config_File := False;
312 -- -gnatb (brief messages to stderr)
316 Brief_Output := True;
318 -- -gnatB (assume no invalid values)
322 Assume_No_Invalid_Values := True;
324 -- -gnatc (check syntax and semantics only)
327 if not First_Switch then
329 ("-gnatc must be first if combined with other switches");
333 Operating_Mode := Check_Semantics;
335 -- -gnatC (Generate CodePeer information)
340 if not CodePeer_Mode then
341 CodePeer_Mode := True;
343 -- Suppress compiler warnings by default, since what we are
344 -- interested in here is what CodePeer can find out. Note
345 -- that if -gnatwxxx is specified after -gnatC on the
346 -- command line, we do not want to override this setting in
347 -- Adjust_Global_Switches, and assume that the user wants to
348 -- get both warnings from GNAT and CodePeer messages.
350 Warning_Mode := Suppress;
353 -- -gnatd (compiler debug options)
356 Store_Switch := False;
358 First_Ptr := Ptr + 1;
360 -- Note: for the debug switch, the remaining characters in this
361 -- switch field must all be debug flags, since all valid switch
362 -- characters are also valid debug characters.
364 -- Loop to scan out debug flags
368 C := Switch_Chars (Ptr);
369 exit when C = ASCII.NUL or else C = '/' or else C = '-';
371 if C in '1' .. '9' or else
372 C in 'a' .. 'z' or else
375 -- Case of dotted flag
378 Set_Dotted_Debug_Flag (C);
379 Store_Compilation_Switch ("-gnatd." & C);
381 -- Special check, -gnatd.b must come first
384 and then (Ptr /= First_Ptr + 1
385 or else not First_Switch)
388 ("-gnatd.b must be first if combined "
389 & "with other switches");
396 Store_Compilation_Switch ("-gnatd" & C);
403 Bad_Switch ("-gnatd." & Switch_Chars (Ptr .. Max));
405 Bad_Switch ("-gnatd" & Switch_Chars (Ptr .. Max));
411 -- -gnatD (debug expanded code)
416 -- Not allowed if previous -gnatR given
418 -- The reason for this prohibition is that the rewriting of
419 -- Sloc values causes strange malfunctions in the tests of
420 -- whether units belong to the main source. This is really a
421 -- bug, but too hard to fix for a marginal capability ???
423 -- The proper fix is to completely redo -gnatD processing so
424 -- that the tree is not messed with, and instead a separate
425 -- table is built on the side for debug information generation.
427 if List_Representation_Info /= 0 then
429 ("-gnatD not permitted since -gnatR given previously");
432 -- Scan optional integer line limit value
434 if Nat_Present (Switch_Chars, Max, Ptr) then
435 Scan_Nat (Switch_Chars, Max, Ptr, Sprint_Line_Limit, 'D');
436 Sprint_Line_Limit := Nat'Max (Sprint_Line_Limit, 40);
439 -- Note: -gnatD also sets -gnatx (to turn off cross-reference
440 -- generation in the ali file) since otherwise this generation
441 -- gets confused by the "wrong" Sloc values put in the tree.
443 Debug_Generated_Code := True;
444 Xref_Active := False;
445 Set_Debug_Flag ('g');
447 -- -gnate? (extended switches)
452 -- The -gnate? switches are all double character switches
453 -- so we must always have a character after the e.
456 Bad_Switch ("-gnate");
459 case Switch_Chars (Ptr) is
461 -- -gnatea (initial delimiter of explicit switches)
463 -- This is an internal switch
465 -- All switches that come before -gnatea have been added by
466 -- the GCC driver and are not stored in the ALI file.
467 -- See also -gnatez below.
470 Store_Switch := False;
471 Enable_Switch_Storing;
474 -- -gnateA (aliasing checks on parameters)
478 Check_Aliasing_Of_Parameters := True;
480 -- -gnatec (configuration pragmas)
483 Store_Switch := False;
486 -- There may be an equal sign between -gnatec and
487 -- the path name of the config file.
489 if Ptr <= Max and then Switch_Chars (Ptr) = '=' then
494 Bad_Switch ("-gnatec");
498 Config_File_Name : constant String_Access :=
500 (Switch_Chars (Ptr .. Max));
503 if Config_File_Names = null then
505 new String_List'(1 => Config_File_Name);
509 New_Names : constant String_List_Access :=
512 Config_File_Names'Length + 1);
515 for Index in Config_File_Names'Range loop
517 Config_File_Names (Index);
518 Config_File_Names (Index) := null;
521 New_Names (New_Names'Last) := Config_File_Name;
522 Free (Config_File_Names);
523 Config_File_Names := New_Names;
530 -- -gnateC switch (generate CodePeer messages)
534 Generate_CodePeer_Messages := True;
536 -- -gnated switch (disable atomic synchronization)
539 Suppress_Options.Suppress (Atomic_Synchronization) :=
542 -- -gnateD switch (preprocessing symbol definition)
545 Store_Switch := False;
549 Bad_Switch ("-gnateD");
552 Add_Symbol_Definition (Switch_Chars (Ptr .. Max));
556 Store_Compilation_Switch
557 ("-gnateD" & Switch_Chars (Ptr .. Max));
560 -- -gnateE (extra exception information)
563 Exception_Extra_Info := True;
566 -- -gnatef (full source path for brief error messages)
569 Store_Switch := False;
571 Full_Path_Name_For_Brief_Errors := True;
573 -- -gnateF (Check_Float_Overflow)
577 Check_Float_Overflow := not Machine_Overflows_On_Target;
579 -- -gnateg (generate C code)
582 -- Special check, -gnateg must occur after -gnatc
584 if Operating_Mode /= Check_Semantics then
586 ("gnateg requires previous occurrence of -gnatc");
589 Generate_C_Code := True;
592 -- -gnateG (save preprocessor output)
595 Generate_Processed_File := True;
598 -- -gnatei (max number of instantiations)
603 (Switch_Chars, Max, Ptr, Maximum_Instantiations, C);
605 -- -gnateI (index of unit in multi-unit source)
609 Scan_Pos (Switch_Chars, Max, Ptr, Multiple_Unit_Index, C);
615 Elab_Info_Messages := True;
621 Elab_Info_Messages := False;
623 -- -gnatem (mapping file)
626 Store_Switch := False;
629 -- There may be an equal sign between -gnatem and
630 -- the path name of the mapping file.
632 if Ptr <= Max and then Switch_Chars (Ptr) = '=' then
637 Bad_Switch ("-gnatem");
641 new String'(Switch_Chars (Ptr .. Max));
644 -- -gnateO= (object path file)
646 -- This is an internal switch
649 Store_Switch := False;
654 if Ptr >= Max or else Switch_Chars (Ptr) /= '=' then
655 Bad_Switch ("-gnateO");
657 Object_Path_File_Name :=
658 new String'(Switch_Chars (Ptr + 1 .. Max));
663 -- -gnatep (preprocessing data file)
666 Store_Switch := False;
669 -- There may be an equal sign between -gnatep and
670 -- the path name of the mapping file.
672 if Ptr <= Max and then Switch_Chars (Ptr) = '=' then
677 Bad_Switch ("-gnatep");
680 Preprocessing_Data_File :=
681 new String'(Switch_Chars (Ptr .. Max));
683 -- Store the switch, normalizing to -gnatep=
685 Store_Compilation_Switch
686 ("-gnatep=" & Preprocessing_Data_File.all);
690 -- -gnateP (Treat pragma Pure/Preelaborate errs as warnings)
693 Treat_Categorization_Errors_As_Warnings := True;
695 -- -gnates=file (specify extra file switches for gnat2why)
697 -- This is an internal switch
700 if not First_Switch then
702 ("-gnates must not be combined with other switches");
709 if Ptr >= Max or else Switch_Chars (Ptr) /= '=' then
710 Bad_Switch ("-gnates");
712 SPARK_Switches_File_Name :=
713 new String'(Switch_Chars (Ptr + 1 .. Max));
718 -- -gnateS (generate SCO information)
720 -- Include Source Coverage Obligation information in ALI
721 -- files for use by source coverage analysis tools
722 -- (gnatcov) (equivalent to -fdump-scos, provided for
723 -- backwards compatibility).
726 Generate_SCO := True;
727 Generate_SCO_Instance_Table := True;
730 -- -gnatet (write target dependent information)
733 if not First_Switch then
735 ("-gnatet must not be combined with other switches");
742 if Ptr >= Max or else Switch_Chars (Ptr) /= '=' then
743 Bad_Switch ("-gnatet");
745 Target_Dependent_Info_Write_Name :=
746 new String'(Switch_Chars (Ptr + 1 .. Max));
751 -- -gnateT (read target dependent information)
754 if not First_Switch then
756 ("-gnateT must not be combined with other switches");
763 if Ptr >= Max or else Switch_Chars (Ptr) /= '=' then
764 Bad_Switch ("-gnateT");
766 -- This parameter was stored by Set_Targ earlier
769 (Target_Dependent_Info_Read_Name.all =
770 Switch_Chars (Ptr + 1 .. Max));
776 -- -gnateu (unrecognized y,V,w switches)
780 Ignore_Unrecognized_VWY_Switches := True;
782 -- -gnateV (validity checks on parameters)
786 Check_Validity_Of_Parameters := True;
788 -- -gnateY (ignore Style_Checks pragmas)
791 Ignore_Style_Checks_Pragmas := True;
794 -- -gnatez (final delimiter of explicit switches)
796 -- This is an internal switch
798 -- All switches that come after -gnatez have been added by
799 -- the GCC driver and are not stored in the ALI file. See
800 -- also -gnatea above.
803 Store_Switch := False;
804 Disable_Switch_Storing;
807 -- All other -gnate? switches are unassigned
810 Bad_Switch ("-gnate" & Switch_Chars (Ptr .. Max));
813 -- -gnatE (dynamic elaboration checks)
817 Dynamic_Elaboration_Checks := True;
819 -- -gnatf (full error messages)
823 All_Errors_Mode := True;
825 -- -gnatF (overflow of predefined float types)
829 External_Name_Exp_Casing := Uppercase;
830 External_Name_Imp_Casing := Uppercase;
832 -- -gnatg (GNAT implementation mode)
837 GNAT_Mode_Config := True;
838 Identifier_Character_Set := 'n';
839 System_Extend_Unit := Empty;
840 Warning_Mode := Treat_As_Error;
841 Style_Check_Main := True;
842 Ada_Version := Ada_2012;
843 Ada_Version_Explicit := Ada_2012;
844 Ada_Version_Pragma := Empty;
846 -- Set default warnings and style checks for -gnatg
848 Set_GNAT_Mode_Warnings;
849 Set_GNAT_Style_Check_Options;
851 -- -gnatG (output generated code)
855 Print_Generated_Code := True;
857 -- Scan optional integer line limit value
859 if Nat_Present (Switch_Chars, Max, Ptr) then
860 Scan_Nat (Switch_Chars, Max, Ptr, Sprint_Line_Limit, 'G');
861 Sprint_Line_Limit := Nat'Max (Sprint_Line_Limit, 40);
864 -- -gnath (help information)
868 Usage_Requested := True;
870 -- -gnati (character set)
874 Bad_Switch ("-gnati");
878 C := Switch_Chars (Ptr);
888 Identifier_Character_Set := C;
892 Bad_Switch ("-gnati" & Switch_Chars (Ptr .. Max));
895 -- -gnatI (ignore representation clauses)
899 Ignore_Rep_Clauses := True;
901 -- -gnatj (messages in limited length lines)
905 Scan_Nat (Switch_Chars, Max, Ptr, Error_Msg_Line_Length, C);
907 -- -gnatk (limit file name length)
912 (Switch_Chars, Max, Ptr, Maximum_File_Name_Length, C);
914 -- -gnatl (output full source)
920 -- There may be an equal sign between -gnatl and a file name
922 if Ptr <= Max and then Switch_Chars (Ptr) = '=' then
924 Osint.Fail ("file name for -gnatl= is null");
926 Opt.Full_List_File_Name :=
927 new String'(Switch_Chars (Ptr + 1 .. Max));
932 -- -gnatL (corresponding source text)
936 Dump_Source_Text := True;
938 -- -gnatm (max number or errors/warnings)
942 Scan_Nat (Switch_Chars, Max, Ptr, Maximum_Messages, C);
944 -- -gnatn (enable pragma Inline)
948 Inline_Active := True;
950 -- There may be a digit (1 or 2) appended to the switch
953 C := Switch_Chars (Ptr);
955 if C in '1' .. '2' then
957 Inline_Level := Character'Pos (C) - Character'Pos ('0');
961 -- -gnatN (obsolescent)
965 Inline_Active := True;
966 Front_End_Inlining := True;
968 -- -gnato (overflow checks)
973 -- Case of -gnato0 (overflow checking turned off)
975 if Ptr <= Max and then Switch_Chars (Ptr) = '0' then
977 Suppress_Options.Suppress (Overflow_Check) := True;
979 -- We set strict mode in case overflow checking is turned
980 -- on locally (also records that we had a -gnato switch).
982 Suppress_Options.Overflow_Mode_General := Strict;
983 Suppress_Options.Overflow_Mode_Assertions := Strict;
985 -- All cases other than -gnato0 (overflow checking turned on)
988 Suppress_Options.Suppress (Overflow_Check) := False;
990 -- Case of no digits after the -gnato
993 or else Switch_Chars (Ptr) not in '1' .. '3'
995 Suppress_Options.Overflow_Mode_General := Strict;
996 Suppress_Options.Overflow_Mode_Assertions := Strict;
998 -- At least one digit after the -gnato
1001 -- Handle first digit after -gnato
1003 Suppress_Options.Overflow_Mode_General :=
1004 Get_Overflow_Mode (Switch_Chars (Ptr));
1007 -- Only one digit after -gnato, set assertions mode to be
1008 -- the same as general mode.
1011 or else Switch_Chars (Ptr) not in '1' .. '3'
1013 Suppress_Options.Overflow_Mode_Assertions :=
1014 Suppress_Options.Overflow_Mode_General;
1016 -- Process second digit after -gnato
1019 Suppress_Options.Overflow_Mode_Assertions :=
1020 Get_Overflow_Mode (Switch_Chars (Ptr));
1026 -- -gnatO (specify name of the object file)
1028 -- This is an internal switch
1031 Store_Switch := False;
1033 Output_File_Name_Present := True;
1035 -- -gnatp (suppress all checks)
1040 -- Skip processing if cancelled by subsequent -gnat-p
1042 if Switch_Subsequently_Cancelled ("p", Args, Arg_Rank) then
1043 Store_Switch := False;
1046 -- Set all specific options as well as All_Checks in the
1047 -- Suppress_Options array, excluding Elaboration_Check,
1048 -- since this is treated specially because we do not want
1049 -- -gnatp to disable static elaboration processing. Also
1050 -- exclude Atomic_Synchronization, since this is not a real
1053 for J in Suppress_Options.Suppress'Range loop
1054 if J /= Elaboration_Check
1056 J /= Atomic_Synchronization
1058 Suppress_Options.Suppress (J) := True;
1062 Validity_Checks_On := False;
1063 Opt.Suppress_Checks := True;
1065 -- Set overflow mode checking to strict in case it gets
1066 -- turned on locally (also signals that overflow checking
1067 -- has been specifically turned off).
1069 Suppress_Options.Overflow_Mode_General := Strict;
1070 Suppress_Options.Overflow_Mode_Assertions := Strict;
1073 -- -gnatP (periodic poll)
1077 Polling_Required := True;
1079 -- -gnatq (don't quit)
1083 Try_Semantics := True;
1085 -- -gnatQ (always write ALI file)
1089 Force_ALI_Tree_File := True;
1090 Try_Semantics := True;
1092 -- -gnatr (restrictions as warnings)
1096 Treat_Restrictions_As_Warnings := True;
1098 -- -gnatR (list rep. info)
1102 -- Not allowed if previous -gnatD given. See more extensive
1103 -- comments in the 'D' section for the inverse test.
1105 if Debug_Generated_Code then
1107 ("-gnatR not permitted since -gnatD given previously");
1110 -- Set to annotate rep info, and set default -gnatR mode
1112 Back_Annotate_Rep_Info := True;
1113 List_Representation_Info := 1;
1115 -- Scan possible parameter
1118 while Ptr <= Max loop
1119 C := Switch_Chars (Ptr);
1121 if C in '1' .. '3' then
1122 List_Representation_Info :=
1123 Character'Pos (C) - Character'Pos ('0');
1125 elsif Switch_Chars (Ptr) = 's' then
1126 List_Representation_Info_To_File := True;
1128 elsif Switch_Chars (Ptr) = 'm' then
1129 List_Representation_Info_Mechanisms := True;
1132 Bad_Switch ("-gnatR" & Switch_Chars (Ptr .. Max));
1138 -- -gnats (syntax check only)
1141 if not First_Switch then
1143 ("-gnats must be first if combined with other switches");
1147 Operating_Mode := Check_Syntax;
1149 -- -gnatS (print package Standard)
1152 Print_Standard := True;
1155 -- -gnatt (output tree)
1159 Tree_Output := True;
1160 Back_Annotate_Rep_Info := True;
1162 -- -gnatT (change start of internal table sizes)
1166 Scan_Pos (Switch_Chars, Max, Ptr, Table_Factor, C);
1168 -- -gnatu (list units for compilation)
1174 -- -gnatU (unique tags)
1178 Unique_Error_Tag := True;
1180 -- -gnatv (verbose mode)
1184 Verbose_Mode := True;
1186 -- -gnatV (validity checks)
1189 Store_Switch := False;
1193 Bad_Switch ("-gnatV");
1200 Set_Validity_Check_Options
1201 (Switch_Chars (Ptr .. Max), OK, Ptr);
1204 Bad_Switch ("-gnatV" & Switch_Chars (Ptr .. Max));
1207 for Index in First_Char + 1 .. Max loop
1208 Store_Compilation_Switch
1209 ("-gnatV" & Switch_Chars (Index));
1216 -- -gnatw (warning modes)
1219 Store_Switch := False;
1223 Bad_Switch ("-gnatw");
1226 while Ptr <= Max loop
1227 C := Switch_Chars (Ptr);
1229 -- Case of dot switch
1231 if C = '.' and then Ptr < Max then
1233 C := Switch_Chars (Ptr);
1235 if Set_Dot_Warning_Switch (C) then
1236 Store_Compilation_Switch ("-gnatw." & C);
1238 Bad_Switch ("-gnatw." & Switch_Chars (Ptr .. Max));
1241 -- Normal case, no dot
1244 if Set_Warning_Switch (C) then
1245 Store_Compilation_Switch ("-gnatw" & C);
1247 Bad_Switch ("-gnatw" & Switch_Chars (Ptr .. Max));
1256 -- -gnatW (wide character encoding method)
1262 Bad_Switch ("-gnatW");
1266 Wide_Character_Encoding_Method :=
1267 Get_WC_Encoding_Method (Switch_Chars (Ptr));
1269 when Constraint_Error =>
1270 Bad_Switch ("-gnatW" & Switch_Chars (Ptr .. Max));
1273 Wide_Character_Encoding_Method_Specified := True;
1275 Upper_Half_Encoding :=
1276 Wide_Character_Encoding_Method in
1277 WC_Upper_Half_Encoding_Method;
1281 -- -gnatx (suppress cross-ref information)
1285 Xref_Active := False;
1287 -- -gnatX (language extensions)
1291 Extensions_Allowed := True;
1292 Ada_Version := Ada_Version_Type'Last;
1293 Ada_Version_Explicit := Ada_Version_Type'Last;
1294 Ada_Version_Pragma := Empty;
1296 -- -gnaty (style checks)
1300 Style_Check_Main := True;
1303 Set_Default_Style_Check_Options;
1306 Store_Switch := False;
1312 Set_Style_Check_Options
1313 (Switch_Chars (Ptr .. Max), OK, Ptr);
1317 ("bad -gnaty switch (" &
1318 Style_Msg_Buf (1 .. Style_Msg_Len) & ')');
1321 Ptr := First_Char + 1;
1322 while Ptr <= Max loop
1323 if Switch_Chars (Ptr) = 'M' then
1328 or else Switch_Chars (Ptr) not in '0' .. '9';
1331 Store_Compilation_Switch
1332 ("-gnaty" & Switch_Chars (First_Char .. Ptr - 1));
1335 Store_Compilation_Switch
1336 ("-gnaty" & Switch_Chars (Ptr));
1343 -- -gnatz (stub generation)
1347 -- -gnatz must be the first and only switch in Switch_Chars,
1348 -- and is a two-letter switch.
1350 if Ptr /= Switch_Chars'First + 5
1351 or else (Max - Ptr + 1) > 2
1354 ("-gnatz* may not be combined with other switches");
1358 Bad_Switch ("-gnatz");
1363 -- Only one occurrence of -gnat* is permitted
1365 if Distribution_Stub_Mode = No_Stubs then
1366 case Switch_Chars (Ptr) is
1368 Distribution_Stub_Mode := Generate_Receiver_Stub_Body;
1371 Distribution_Stub_Mode := Generate_Caller_Stub_Body;
1374 Bad_Switch ("-gnatz" & Switch_Chars (Ptr .. Max));
1380 Osint.Fail ("only one -gnatz* switch allowed");
1383 -- -gnatZ (obsolescent)
1388 ("-gnatZ is no longer supported: consider using --RTS=zcx");
1390 -- Note on language version switches: whenever a new language
1391 -- version switch is added, Switch.M.Normalize_Compiler_Switches
1398 Bad_Switch ("-gnat8");
1403 if Switch_Chars (Ptr) /= '3' then
1404 Bad_Switch ("-gnat8" & Switch_Chars (Ptr .. Max));
1407 Ada_Version := Ada_83;
1408 Ada_Version_Explicit := Ada_83;
1409 Ada_Version_Pragma := Empty;
1416 Bad_Switch ("-gnat9");
1421 if Switch_Chars (Ptr) /= '5' then
1422 Bad_Switch ("-gnat9" & Switch_Chars (Ptr .. Max));
1425 Ada_Version := Ada_95;
1426 Ada_Version_Explicit := Ada_95;
1427 Ada_Version_Pragma := Empty;
1434 Bad_Switch ("-gnat0");
1439 if Switch_Chars (Ptr) /= '5' then
1440 Bad_Switch ("-gnat0" & Switch_Chars (Ptr .. Max));
1443 Ada_Version := Ada_2005;
1444 Ada_Version_Explicit := Ada_2005;
1445 Ada_Version_Pragma := Empty;
1452 Bad_Switch ("-gnat1");
1457 if Switch_Chars (Ptr) /= '2' then
1458 Bad_Switch ("-gnat1" & Switch_Chars (Ptr .. Max));
1461 Ada_Version := Ada_2012;
1462 Ada_Version_Explicit := Ada_2012;
1463 Ada_Version_Pragma := Empty;
1466 -- -gnat2005 and -gnat2012
1469 if Ptr > Max - 3 then
1470 Bad_Switch ("-gnat" & Switch_Chars (Ptr .. Max));
1472 elsif Switch_Chars (Ptr .. Ptr + 3) = "2005" then
1473 Ada_Version := Ada_2005;
1475 elsif Switch_Chars (Ptr .. Ptr + 3) = "2012" then
1476 Ada_Version := Ada_2012;
1479 Bad_Switch ("-gnat" & Switch_Chars (Ptr .. Ptr + 3));
1482 Ada_Version_Explicit := Ada_Version;
1483 Ada_Version_Pragma := Empty;
1486 -- Switch cancellation, currently only -gnat-p is allowed.
1487 -- All we do here is the error checking, since the actual
1488 -- processing for switch cancellation is done by calls to
1489 -- Switch_Subsequently_Cancelled at the appropriate point.
1493 -- Simple ignore -gnat-p
1495 if Switch_Chars = "-gnat-p" then
1498 -- Any other occurrence of minus is ignored. This is for
1499 -- maximum compatibility with previous version which ignored
1500 -- all occurrences of minus.
1503 Store_Switch := False;
1507 -- We ignore '/' in switches, this is historical, still needed???
1510 Store_Switch := False;
1512 -- Anything else is an error (illegal switch character)
1515 Bad_Switch ("-gnat" & Switch_Chars (Ptr .. Max));
1518 if Store_Switch then
1519 Store_Compilation_Switch
1520 ("-gnat" & Switch_Chars (First_Char .. Ptr - 1));
1523 First_Switch := False;
1526 end Scan_Front_End_Switches;
1528 -----------------------------------
1529 -- Switch_Subsequently_Cancelled --
1530 -----------------------------------
1532 function Switch_Subsequently_Cancelled
1535 Arg_Rank : Positive) return Boolean
1538 -- Loop through arguments following the current one
1540 for Arg in Arg_Rank + 1 .. Args'Last loop
1541 if Args (Arg).all = "-gnat-" & C then
1546 -- No match found, not cancelled
1549 end Switch_Subsequently_Cancelled;