------------------------------------------------------------------------------ -- -- -- GNAT COMPILER COMPONENTS -- -- -- -- S W I T C H - C -- -- -- -- B o d y -- -- -- -- Copyright (C) 2001-2008, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- -- ware Foundation; either version 3, or (at your option) any later ver- -- -- sion. GNAT is distributed in the hope that it will be useful, but WITH- -- -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY -- -- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License -- -- for more details. You should have received a copy of the GNU General -- -- Public License distributed with GNAT; see file COPYING3. If not, go to -- -- http://www.gnu.org/licenses for a complete copy of the license. -- -- -- -- GNAT was originally developed by the GNAT team at New York University. -- -- Extensive contributions were provided by Ada Core Technologies Inc. -- -- -- ------------------------------------------------------------------------------ with Debug; use Debug; with Lib; use Lib; with Osint; use Osint; with Opt; use Opt; with Prepcomp; use Prepcomp; with Validsw; use Validsw; with Sem_Warn; use Sem_Warn; with Stylesw; use Stylesw; with System.OS_Lib; use System.OS_Lib; with System.WCh_Con; use System.WCh_Con; package body Switch.C is RTS_Specified : String_Access := null; -- Used to detect multiple use of --RTS= flag ----------------------------- -- Scan_Front_End_Switches -- ----------------------------- procedure Scan_Front_End_Switches (Switch_Chars : String) is First_Switch : Boolean := True; -- False for all but first switch Max : constant Natural := Switch_Chars'Last; Ptr : Natural; C : Character := ' '; Dot : Boolean; Store_Switch : Boolean; -- For -gnatxx switches, the normal processing, signalled by this flag -- being set to True, is to store the switch on exit from the case -- statement, the switch stored is -gnat followed by the characters -- from First_Char to Ptr-1. For cases like -gnaty, where the switch -- is stored in separate pieces, this flag is set to False, and the -- appropriate calls to Store_Compilation_Switch are made from within -- the case branch. First_Char : Positive; -- Marks start of switch to be stored begin Ptr := Switch_Chars'First; -- Skip past the initial character (must be the switch character) if Ptr = Max then Bad_Switch (C); else Ptr := Ptr + 1; end if; -- Handle switches that do not start with -gnat if Ptr + 3 > Max or else Switch_Chars (Ptr .. Ptr + 3) /= "gnat" then -- There are two front-end switches that do not start with -gnat: -- -I, --RTS if Switch_Chars (Ptr) = 'I' then -- Set flag Search_Directory_Present if switch is "-I" only: -- the directory will be the next argument. if Ptr = Max then Search_Directory_Present := True; return; end if; Ptr := Ptr + 1; -- Find out whether this is a -I- or regular -Ixxx switch -- Note: -I switches are not recorded in the ALI file, since the -- meaning of the program depends on the source files compiled, -- not where they came from. if Ptr = Max and then Switch_Chars (Ptr) = '-' then Look_In_Primary_Dir := False; else Add_Src_Search_Dir (Switch_Chars (Ptr .. Max)); end if; -- Processing of the --RTS switch. --RTS may have been modified by -- gcc into -fRTS (for GCC targets). elsif Ptr + 3 <= Max and then (Switch_Chars (Ptr .. Ptr + 3) = "fRTS" or else Switch_Chars (Ptr .. Ptr + 3) = "-RTS") then Ptr := Ptr + 1; if Ptr + 4 > Max or else Switch_Chars (Ptr + 3) /= '=' then Osint.Fail ("missing path for --RTS"); else -- Check that this is the first time --RTS is specified or if -- it is not the first time, the same path has been specified. if RTS_Specified = null then RTS_Specified := new String'(Switch_Chars (Ptr + 4 .. Max)); elsif RTS_Specified.all /= Switch_Chars (Ptr + 4 .. Max) then Osint.Fail ("--RTS cannot be specified multiple times"); end if; -- Valid --RTS switch Opt.No_Stdinc := True; Opt.RTS_Switch := True; RTS_Src_Path_Name := Get_RTS_Search_Dir (Switch_Chars (Ptr + 4 .. Max), Include); RTS_Lib_Path_Name := Get_RTS_Search_Dir (Switch_Chars (Ptr + 4 .. Max), Objects); if RTS_Src_Path_Name /= null and then RTS_Lib_Path_Name /= null then -- Store the -fRTS switch (Note: Store_Compilation_Switch -- changes -fRTS back into --RTS for the actual output). Store_Compilation_Switch (Switch_Chars); elsif RTS_Src_Path_Name = null and then RTS_Lib_Path_Name = null then Osint.Fail ("RTS path not valid: missing " & "adainclude and adalib directories"); elsif RTS_Src_Path_Name = null then Osint.Fail ("RTS path not valid: missing " & "adainclude directory"); elsif RTS_Lib_Path_Name = null then Osint.Fail ("RTS path not valid: missing " & "adalib directory"); end if; end if; -- There are no other switches not starting with -gnat else Bad_Switch (Switch_Chars); end if; -- Case of switch starting with -gnat else Ptr := Ptr + 4; -- Loop to scan through switches given in switch string while Ptr <= Max loop First_Char := Ptr; Store_Switch := True; C := Switch_Chars (Ptr); case C is when 'a' => Ptr := Ptr + 1; Assertions_Enabled := True; Debug_Pragmas_Enabled := True; -- Processing for A switch when 'A' => Ptr := Ptr + 1; Config_File := False; -- Processing for b switch when 'b' => Ptr := Ptr + 1; Brief_Output := True; -- Processing for B switch when 'B' => Ptr := Ptr + 1; Assume_No_Invalid_Values := True; -- Processing for c switch when 'c' => if not First_Switch then Osint.Fail ("-gnatc must be first if combined with other switches"); end if; Ptr := Ptr + 1; Operating_Mode := Check_Semantics; if Tree_Output then ASIS_Mode := True; end if; -- Processing for d switch when 'd' => Store_Switch := False; Dot := False; -- Note: for the debug switch, the remaining characters in this -- switch field must all be debug flags, since all valid switch -- characters are also valid debug characters. -- Loop to scan out debug flags while Ptr < Max loop Ptr := Ptr + 1; C := Switch_Chars (Ptr); exit when C = ASCII.NUL or else C = '/' or else C = '-'; if C in '1' .. '9' or else C in 'a' .. 'z' or else C in 'A' .. 'Z' then if Dot then Set_Dotted_Debug_Flag (C); Store_Compilation_Switch ("-gnatd." & C); else Set_Debug_Flag (C); Store_Compilation_Switch ("-gnatd" & C); end if; elsif C = '.' then Dot := True; elsif Dot then Bad_Switch ("-gnatd." & Switch_Chars (Ptr .. Max)); else Bad_Switch ("-gnatd" & Switch_Chars (Ptr .. Max)); end if; end loop; return; -- Processing for D switch when 'D' => Ptr := Ptr + 1; -- Note: -gnatD also sets -gnatx (to turn off cross-reference -- generation in the ali file) since otherwise this generation -- gets confused by the "wrong" Sloc values put in the tree. Debug_Generated_Code := True; Xref_Active := False; Set_Debug_Flag ('g'); -- -gnate? (extended switches) when 'e' => Ptr := Ptr + 1; -- The -gnate? switches are all double character switches -- so we must always have a character after the e. if Ptr > Max then Bad_Switch ("-gnate"); end if; case Switch_Chars (Ptr) is when 'a' => Store_Switch := False; Enable_Switch_Storing; Ptr := Ptr + 1; -- -gnatec (configuration pragmas) when 'c' => Store_Switch := False; Ptr := Ptr + 1; -- There may be an equal sign between -gnatec and -- the path name of the config file. if Ptr <= Max and then Switch_Chars (Ptr) = '=' then Ptr := Ptr + 1; end if; if Ptr > Max then Bad_Switch ("-gnatec"); end if; declare Config_File_Name : constant String_Access := new String' (Switch_Chars (Ptr .. Max)); begin if Config_File_Names = null then Config_File_Names := new String_List'(1 => Config_File_Name); else declare New_Names : constant String_List_Access := new String_List (1 .. Config_File_Names'Length + 1); begin for Index in Config_File_Names'Range loop New_Names (Index) := Config_File_Names (Index); Config_File_Names (Index) := null; end loop; New_Names (New_Names'Last) := Config_File_Name; Free (Config_File_Names); Config_File_Names := New_Names; end; end if; end; return; -- -gnateD switch (preprocessing symbol definition) when 'D' => Store_Switch := False; Ptr := Ptr + 1; if Ptr > Max then Bad_Switch ("-gnateD"); end if; Add_Symbol_Definition (Switch_Chars (Ptr .. Max)); -- Store the switch Store_Compilation_Switch ("-gnateD" & Switch_Chars (Ptr .. Max)); Ptr := Max + 1; -- -gnatef (full source path for brief error messages) when 'f' => Store_Switch := False; Ptr := Ptr + 1; Full_Path_Name_For_Brief_Errors := True; return; -- -gnateG (save preprocessor output) when 'G' => if Ptr < Max then Bad_Switch (Switch_Chars); end if; Generate_Processed_File := True; Ptr := Ptr + 1; -- -gnateI (index of unit in multi-unit source) when 'I' => Ptr := Ptr + 1; Scan_Pos (Switch_Chars, Max, Ptr, Multiple_Unit_Index, C); -- -gnatem (mapping file) when 'm' => Store_Switch := False; Ptr := Ptr + 1; -- There may be an equal sign between -gnatem and -- the path name of the mapping file. if Ptr <= Max and then Switch_Chars (Ptr) = '=' then Ptr := Ptr + 1; end if; if Ptr > Max then Bad_Switch ("-gnatem"); end if; Mapping_File_Name := new String'(Switch_Chars (Ptr .. Max)); return; -- -gnatep (preprocessing data file) when 'p' => Store_Switch := False; Ptr := Ptr + 1; -- There may be an equal sign between -gnatep and -- the path name of the mapping file. if Ptr <= Max and then Switch_Chars (Ptr) = '=' then Ptr := Ptr + 1; end if; if Ptr > Max then Bad_Switch ("-gnatep"); end if; Preprocessing_Data_File := new String'(Switch_Chars (Ptr .. Max)); -- Store the switch, normalizing to -gnatep= Store_Compilation_Switch ("-gnatep=" & Preprocessing_Data_File.all); Ptr := Max + 1; when 'z' => Store_Switch := False; Disable_Switch_Storing; Ptr := Ptr + 1; -- All other -gnate? switches are unassigned when others => Bad_Switch ("-gnate" & Switch_Chars (Ptr .. Max)); end case; -- -gnatE (dynamic elaboration checks) when 'E' => Ptr := Ptr + 1; Dynamic_Elaboration_Checks := True; -- -gnatf (full error messages) when 'f' => Ptr := Ptr + 1; All_Errors_Mode := True; -- Processing for F switch when 'F' => Ptr := Ptr + 1; External_Name_Exp_Casing := Uppercase; External_Name_Imp_Casing := Uppercase; -- Processing for g switch when 'g' => Ptr := Ptr + 1; GNAT_Mode := True; Identifier_Character_Set := 'n'; System_Extend_Unit := Empty; Warning_Mode := Treat_As_Error; -- Set Ada 2005 mode explicitly. We don't want to rely on the -- implicit setting here, since for example, we want -- Preelaborate_05 treated as Preelaborate Ada_Version := Ada_05; Ada_Version_Explicit := Ada_Version; -- Set default warnings for -gnatg Check_Unreferenced := True; Check_Unreferenced_Formals := True; Check_Withs := True; Constant_Condition_Warnings := True; Implementation_Unit_Warnings := True; Ineffective_Inline_Warnings := True; Warn_On_Assertion_Failure := True; Warn_On_Assumed_Low_Bound := True; Warn_On_Bad_Fixed_Value := True; Warn_On_Constant := True; Warn_On_Export_Import := True; Warn_On_Modified_Unread := True; Warn_On_No_Value_Assigned := True; Warn_On_Non_Local_Exception := False; Warn_On_Obsolescent_Feature := True; Warn_On_Redundant_Constructs := True; Warn_On_Object_Renames_Function := True; Warn_On_Unchecked_Conversion := True; Warn_On_Unrecognized_Pragma := True; Set_GNAT_Style_Check_Options; -- Processing for G switch when 'G' => Ptr := Ptr + 1; Print_Generated_Code := True; -- Processing for h switch when 'h' => Ptr := Ptr + 1; Usage_Requested := True; -- Processing for H switch when 'H' => Ptr := Ptr + 1; HLO_Active := True; -- Processing for i switch when 'i' => if Ptr = Max then Bad_Switch ("-gnati"); end if; Ptr := Ptr + 1; C := Switch_Chars (Ptr); if C in '1' .. '5' or else C = '8' or else C = '9' or else C = 'p' or else C = 'f' or else C = 'n' or else C = 'w' then Identifier_Character_Set := C; Ptr := Ptr + 1; else Bad_Switch ("-gnati" & Switch_Chars (Ptr .. Max)); end if; -- Processing for I switch when 'I' => Ptr := Ptr + 1; Ignore_Rep_Clauses := True; -- Processing for j switch when 'j' => Ptr := Ptr + 1; -- There may be an equal sign between -gnatj and the value if Ptr <= Max and then Switch_Chars (Ptr) = '=' then Ptr := Ptr + 1; end if; Scan_Nat (Switch_Chars, Max, Ptr, Error_Msg_Line_Length, C); -- Processing for k switch when 'k' => Ptr := Ptr + 1; Scan_Pos (Switch_Chars, Max, Ptr, Maximum_File_Name_Length, C); -- Processing for l switch when 'l' => Ptr := Ptr + 1; Full_List := True; -- There may be an equal sign between -gnatl and a file name if Ptr <= Max and then Switch_Chars (Ptr) = '=' then if Ptr = Max then Osint.Fail ("file name for -gnatl= is null"); else Opt.Full_List_File_Name := new String'(Switch_Chars (Ptr + 1 .. Max)); Ptr := Max + 1; end if; end if; -- Processing for L switch when 'L' => Ptr := Ptr + 1; Dump_Source_Text := True; -- Processing for m switch when 'm' => Ptr := Ptr + 1; -- There may be an equal sign between -gnatm and the value if Ptr <= Max and then Switch_Chars (Ptr) = '=' then Ptr := Ptr + 1; end if; Scan_Nat (Switch_Chars, Max, Ptr, Maximum_Errors, C); -- Processing for n switch when 'n' => Ptr := Ptr + 1; Inline_Active := True; -- Processing for N switch when 'N' => Ptr := Ptr + 1; Inline_Active := True; Front_End_Inlining := True; -- Processing for o switch when 'o' => Ptr := Ptr + 1; Suppress_Options (Overflow_Check) := False; Opt.Enable_Overflow_Checks := True; -- Processing for O switch when 'O' => Store_Switch := False; Ptr := Ptr + 1; Output_File_Name_Present := True; -- Processing for p switch when 'p' => Ptr := Ptr + 1; -- Set all specific options as well as All_Checks in the -- Suppress_Options array, excluding Elaboration_Check, since -- this is treated specially because we do not want -gnatp to -- disable static elaboration processing. for J in Suppress_Options'Range loop if J /= Elaboration_Check then Suppress_Options (J) := True; end if; end loop; Validity_Checks_On := False; Opt.Suppress_Checks := True; Opt.Enable_Overflow_Checks := False; -- Processing for P switch when 'P' => Ptr := Ptr + 1; Polling_Required := True; -- Processing for q switch when 'q' => Ptr := Ptr + 1; Try_Semantics := True; -- Processing for Q switch when 'Q' => Ptr := Ptr + 1; Force_ALI_Tree_File := True; Try_Semantics := True; -- Processing for r switch when 'r' => Ptr := Ptr + 1; Treat_Restrictions_As_Warnings := True; -- Processing for R switch when 'R' => Back_Annotate_Rep_Info := True; List_Representation_Info := 1; Ptr := Ptr + 1; while Ptr <= Max loop C := Switch_Chars (Ptr); if C in '1' .. '3' then List_Representation_Info := Character'Pos (C) - Character'Pos ('0'); elsif Switch_Chars (Ptr) = 's' then List_Representation_Info_To_File := True; elsif Switch_Chars (Ptr) = 'm' then List_Representation_Info_Mechanisms := True; else Bad_Switch ("-gnatR" & Switch_Chars (Ptr .. Max)); end if; Ptr := Ptr + 1; end loop; -- Processing for s switch when 's' => if not First_Switch then Osint.Fail ("-gnats must be first if combined with other switches"); end if; Ptr := Ptr + 1; Operating_Mode := Check_Syntax; -- Processing for S switch when 'S' => Print_Standard := True; Ptr := Ptr + 1; -- Processing for t switch when 't' => Ptr := Ptr + 1; Tree_Output := True; if Operating_Mode = Check_Semantics then ASIS_Mode := True; end if; Back_Annotate_Rep_Info := True; -- Processing for T switch when 'T' => Ptr := Ptr + 1; Scan_Pos (Switch_Chars, Max, Ptr, Table_Factor, C); -- Processing for u switch when 'u' => Ptr := Ptr + 1; List_Units := True; -- Processing for U switch when 'U' => Ptr := Ptr + 1; Unique_Error_Tag := True; -- Processing for v switch when 'v' => Ptr := Ptr + 1; Verbose_Mode := True; -- Processing for V switch when 'V' => Store_Switch := False; Ptr := Ptr + 1; if Ptr > Max then Bad_Switch ("-gnatV"); else declare OK : Boolean; begin Set_Validity_Check_Options (Switch_Chars (Ptr .. Max), OK, Ptr); if not OK then Bad_Switch ("-gnatV" & Switch_Chars (Ptr .. Max)); end if; for Index in First_Char + 1 .. Max loop Store_Compilation_Switch ("-gnatV" & Switch_Chars (Index)); end loop; end; end if; Ptr := Max + 1; -- Processing for w switch when 'w' => Store_Switch := False; Ptr := Ptr + 1; if Ptr > Max then Bad_Switch ("-gnatw"); end if; while Ptr <= Max loop C := Switch_Chars (Ptr); -- Case of dot switch if C = '.' and then Ptr < Max then Ptr := Ptr + 1; C := Switch_Chars (Ptr); if Set_Dot_Warning_Switch (C) then Store_Compilation_Switch ("-gnatw." & C); else Bad_Switch ("-gnatw." & Switch_Chars (Ptr .. Max)); end if; -- Normal case, no dot else if Set_Warning_Switch (C) then Store_Compilation_Switch ("-gnatw" & C); else Bad_Switch ("-gnatw" & Switch_Chars (Ptr .. Max)); end if; end if; Ptr := Ptr + 1; end loop; return; -- Processing for W switch when 'W' => Ptr := Ptr + 1; if Ptr > Max then Bad_Switch ("-gnatW"); end if; begin Wide_Character_Encoding_Method := Get_WC_Encoding_Method (Switch_Chars (Ptr)); exception when Constraint_Error => Bad_Switch ("-gnatW" & Switch_Chars (Ptr .. Max)); end; Wide_Character_Encoding_Method_Specified := True; Upper_Half_Encoding := Wide_Character_Encoding_Method in WC_Upper_Half_Encoding_Method; Ptr := Ptr + 1; -- Processing for x switch when 'x' => Ptr := Ptr + 1; Xref_Active := False; -- Processing for X switch when 'X' => Ptr := Ptr + 1; Extensions_Allowed := True; -- Processing for y switch when 'y' => Ptr := Ptr + 1; if Ptr > Max then Set_Default_Style_Check_Options; else Store_Switch := False; declare OK : Boolean; begin Set_Style_Check_Options (Switch_Chars (Ptr .. Max), OK, Ptr); if not OK then Osint.Fail ("bad -gnaty switch (" & Style_Msg_Buf (1 .. Style_Msg_Len) & ')'); end if; Ptr := First_Char + 1; while Ptr <= Max loop if Switch_Chars (Ptr) = 'M' then First_Char := Ptr; loop Ptr := Ptr + 1; exit when Ptr > Max or else Switch_Chars (Ptr) not in '0' .. '9'; end loop; Store_Compilation_Switch ("-gnaty" & Switch_Chars (First_Char .. Ptr - 1)); else Store_Compilation_Switch ("-gnaty" & Switch_Chars (Ptr)); Ptr := Ptr + 1; end if; end loop; end; end if; -- Processing for z switch when 'z' => Ptr := Ptr + 1; -- Allowed for compiler only if this is the only -- -z switch, we do not allow multiple occurrences if Distribution_Stub_Mode = No_Stubs then case Switch_Chars (Ptr) is when 'r' => Distribution_Stub_Mode := Generate_Receiver_Stub_Body; when 'c' => Distribution_Stub_Mode := Generate_Caller_Stub_Body; when others => Bad_Switch ("-gnatz" & Switch_Chars (Ptr .. Max)); end case; Ptr := Ptr + 1; end if; -- Processing for Z switch when 'Z' => Ptr := Ptr + 1; Osint.Fail ("-gnatZ is no longer supported: consider using --RTS=zcx"); -- Processing for 83 switch when '8' => if Ptr = Max then Bad_Switch ("-gnat8"); end if; Ptr := Ptr + 1; if Switch_Chars (Ptr) /= '3' then Bad_Switch ("-gnat8" & Switch_Chars (Ptr .. Max)); else Ptr := Ptr + 1; Ada_Version := Ada_83; Ada_Version_Explicit := Ada_Version; end if; -- Processing for 95 switch when '9' => if Ptr = Max then Bad_Switch ("-gnat9"); end if; Ptr := Ptr + 1; if Switch_Chars (Ptr) /= '5' then Bad_Switch ("-gnat9" & Switch_Chars (Ptr .. Max)); else Ptr := Ptr + 1; Ada_Version := Ada_95; Ada_Version_Explicit := Ada_Version; end if; -- Processing for 05 switch when '0' => if Ptr = Max then Bad_Switch ("-gnat0"); end if; Ptr := Ptr + 1; if Switch_Chars (Ptr) /= '5' then Bad_Switch ("-gnat0" & Switch_Chars (Ptr .. Max)); else Ptr := Ptr + 1; Ada_Version := Ada_05; Ada_Version_Explicit := Ada_Version; end if; -- Ignore extra switch character when '/' | '-' => Ptr := Ptr + 1; -- Anything else is an error (illegal switch character) when others => Bad_Switch ("-gnat" & Switch_Chars (Ptr .. Max)); end case; if Store_Switch then Store_Compilation_Switch ("-gnat" & Switch_Chars (First_Char .. Ptr - 1)); end if; First_Switch := False; end loop; end if; end Scan_Front_End_Switches; end Switch.C;