diff options
Diffstat (limited to 'gcc/ada/switch-c.adb')
| -rw-r--r-- | gcc/ada/switch-c.adb | 380 |
1 files changed, 284 insertions, 96 deletions
diff --git a/gcc/ada/switch-c.adb b/gcc/ada/switch-c.adb index 4052db70d03..c76c4a1af55 100644 --- a/gcc/ada/switch-c.adb +++ b/gcc/ada/switch-c.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 2001-2002 Free Software Foundation, Inc. -- +-- Copyright (C) 2001-2003 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- -- @@ -24,10 +24,13 @@ -- -- ------------------------------------------------------------------------------ +with GNAT.OS_Lib; use GNAT.OS_Lib; + with Debug; use Debug; with Lib; use Lib; with Osint; use Osint; with Opt; use Opt; +with Prepcomp; use Prepcomp; with Types; use Types; with Validsw; use Validsw; with Stylesw; use Stylesw; @@ -36,6 +39,9 @@ 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 -- ----------------------------- @@ -50,6 +56,7 @@ package body Switch.C is Ptr : Integer := Switch_Chars'First; Max : constant Integer := Switch_Chars'Last; C : Character := ' '; + Dot : Boolean; Store_Switch : Boolean := True; First_Char : Integer := Ptr; @@ -88,6 +95,7 @@ package body Switch.C is case Switch_Starts_With_Gnat is when False => + -- There are only two front-end switches that -- do not start with -gnat, namely -I and --RTS @@ -113,49 +121,70 @@ package body Switch.C is -- Processing of the --RTS switch. --RTS has been modified by -- gcc and is now of the form -fRTS - elsif Ptr + 3 <= Max and then - Switch_Chars (Ptr .. Ptr + 3) = "fRTS" + + elsif Ptr + 3 <= Max + and then Switch_Chars (Ptr .. Ptr + 3) = "fRTS" then Ptr := Ptr + 1; - if Ptr + 4 > Max or else Switch_Chars (Ptr + 3) /= '=' then + 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 - -- valid --RTS switch Opt.No_Stdinc := True; Opt.RTS_Switch := True; - declare - Src_Path_Name : String_Ptr := Get_RTS_Search_Dir - (Switch_Chars (Ptr + 4 .. Max), Include); - Lib_Path_Name : String_Ptr := Get_RTS_Search_Dir - (Switch_Chars (Ptr + 4 .. Max), Objects); - begin - if Src_Path_Name /= null and then - Lib_Path_Name /= null - then - Add_Search_Dirs (Src_Path_Name, Include); - Add_Search_Dirs (Lib_Path_Name, Objects); - Ptr := Max + 1; - elsif Src_Path_Name = null - and Lib_Path_Name = null then - Osint.Fail ("RTS path not valid: missing " & - "adainclude and adalib directories"); - elsif Src_Path_Name = null then - Osint.Fail ("RTS path not valid: missing " & - "adainclude directory"); - elsif Lib_Path_Name = null then - Osint.Fail ("RTS path not valid: missing " & - "adalib directory"); - end if; - end; + 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 + Ptr := Max + 1; + + 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; else raise Bad_Switch; end if; when True => + -- Process -gnat* options case C is @@ -181,23 +210,19 @@ package body Switch.C is when 'c' => if not First_Switch then Osint.Fail - ("-gnatc myust be first if combined with other switches"); + ("-gnatc must be first if combined with other switches"); end if; Ptr := Ptr + 1; Operating_Mode := Check_Semantics; - -- Processing for C switch - - when 'C' => - Ptr := Ptr + 1; - Compress_Debug_Names := True; - -- Processing for d switch when 'd' => Store_Switch := False; Storing (First_Stored) := 'd'; + 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. @@ -213,10 +238,23 @@ package body Switch.C is C in 'a' .. 'z' or else C in 'A' .. 'Z' then - Set_Debug_Flag (C); - Storing (First_Stored + 1) := C; - Store_Compilation_Switch - (Storing (Storing'First .. First_Stored + 1)); + if Dot then + Set_Dotted_Debug_Flag (C); + Storing (First_Stored + 1) := '.'; + Storing (First_Stored + 2) := C; + Store_Compilation_Switch + (Storing (Storing'First .. First_Stored + 2)); + Dot := False; + + else + Set_Debug_Flag (C); + Storing (First_Stored + 1) := C; + Store_Compilation_Switch + (Storing (Storing'First .. First_Stored + 1)); + end if; + + elsif C = '.' then + Dot := True; else raise Bad_Switch; @@ -249,6 +287,8 @@ package body Switch.C is -- Processing for e switch when 'e' => + -- Only -gnateD and -gnatep= are stored + Ptr := Ptr + 1; if Ptr > Max then @@ -263,21 +303,93 @@ package body Switch.C is 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 raise Bad_Switch; end if; - Config_File_Name := - new String'(Switch_Chars (Ptr .. Max)); + 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; + -- Symbol definition + + when 'D' => + Store_Switch := False; + Ptr := Ptr + 1; + + if Ptr > Max then + raise Bad_Switch; + end if; + + Add_Symbol_Definition (Switch_Chars (Ptr .. Max)); + + -- Store the switch + + Storing (First_Stored .. First_Stored + 1) := "eD"; + Storing + (First_Stored + 2 .. First_Stored + Max - Ptr + 2) := + Switch_Chars (Ptr .. Max); + Store_Compilation_Switch (Storing + (Storing'First .. First_Stored + Max - Ptr + 2)); + return; + + -- Full source path for brief error messages + + when 'f' => + Store_Switch := False; + Ptr := Ptr + 1; + Full_Path_Name_For_Brief_Errors := True; + return; + -- 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 raise Bad_Switch; end if; @@ -286,6 +398,43 @@ package body Switch.C is new String'(Switch_Chars (Ptr .. Max)); return; + -- 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 + raise Bad_Switch; + end if; + + Preprocessing_Data_File := + new String'(Switch_Chars (Ptr .. Max)); + + -- Store the switch. + -- Because we may store a longer switch (we normalize + -- to -gnatep=), use a local variable. + + declare + To_Store : String + (1 .. Preprocessing_Data_File'Length + 8); + + begin + To_Store (1 .. 8) := "-gnatep="; + To_Store (9 .. Preprocessing_Data_File'Length + 8) := + Preprocessing_Data_File.all; + Store_Compilation_Switch (To_Store); + end; + + return; + when others => raise Bad_Switch; end case; @@ -313,11 +462,13 @@ package body Switch.C is when 'g' => Ptr := Ptr + 1; - GNAT_Mode := True; - Identifier_Character_Set := 'n'; - Warning_Mode := Treat_As_Error; - Check_Unreferenced := True; - Check_Withs := True; + GNAT_Mode := True; + Identifier_Character_Set := 'n'; + Warning_Mode := Treat_As_Error; + Check_Unreferenced := True; + Check_Withs := True; + Check_Unreferenced_Formals := True; + System_Extend_Unit := Empty; Set_Default_Style_Check_Options; @@ -406,12 +557,13 @@ package body Switch.C is when 'o' => Ptr := Ptr + 1; - Suppress_Options.Overflow_Checks := False; + 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; @@ -419,20 +571,9 @@ package body Switch.C is when 'p' => Ptr := Ptr + 1; - Suppress_Options.Access_Checks := True; - Suppress_Options.Accessibility_Checks := True; - Suppress_Options.Discriminant_Checks := True; - Suppress_Options.Division_Checks := True; - Suppress_Options.Elaboration_Checks := True; - Suppress_Options.Index_Checks := True; - Suppress_Options.Length_Checks := True; - Suppress_Options.Overflow_Checks := True; - Suppress_Options.Range_Checks := True; - Suppress_Options.Storage_Checks := True; - Suppress_Options.Tag_Checks := True; - - Validity_Checks_On := False; - Opt.Suppress_Checks := True; + Suppress_Options := (others => True); + Validity_Checks_On := False; + Opt.Suppress_Checks := True; Opt.Enable_Overflow_Checks := False; -- Processing for P switch @@ -459,38 +600,34 @@ package body Switch.C is when 'R' => Ptr := Ptr + 1; Back_Annotate_Rep_Info := True; + List_Representation_Info := 1; - if Ptr <= Max - and then Switch_Chars (Ptr) in '0' .. '9' - then + while Ptr <= Max loop C := Switch_Chars (Ptr); - if C in '4' .. '9' then - raise Bad_Switch; - else + if C in '1' .. '3' then List_Representation_Info := Character'Pos (C) - Character'Pos ('0'); - Ptr := Ptr + 1; - end if; - if Ptr <= Max and then Switch_Chars (Ptr) = 's' then - Ptr := Ptr + 1; + elsif Switch_Chars (Ptr) = 's' then + List_Representation_Info_To_File := True; - if List_Representation_Info /= 0 then - List_Representation_Info_To_File := True; - end if; + elsif Switch_Chars (Ptr) = 'm' then + List_Representation_Info_Mechanisms := True; + + else + raise Bad_Switch; end if; - else - List_Representation_Info := 1; - end if; + Ptr := Ptr + 1; + end loop; -- Processing for s switch when 's' => if not First_Switch then Osint.Fail - ("-gnats myust be first if combined with other switches"); + ("-gnats must be first if combined with other switches"); end if; Ptr := Ptr + 1; @@ -501,6 +638,7 @@ package body Switch.C is when 't' => Ptr := Ptr + 1; Tree_Output := True; + ASIS_Mode := True; Back_Annotate_Rep_Info := True; -- Processing for T switch @@ -575,35 +713,40 @@ package body Switch.C is C := Switch_Chars (Ptr); case C is - when 'a' => - Constant_Condition_Warnings := True; - Elab_Warnings := True; Check_Unreferenced := True; - Check_Withs := True; Check_Unreferenced_Formals := True; + Check_Withs := True; + Constant_Condition_Warnings := True; Implementation_Unit_Warnings := True; Ineffective_Inline_Warnings := True; + Warn_On_Constant := True; + Warn_On_Export_Import := True; + Warn_On_Modified_Unread := True; + Warn_On_No_Value_Assigned := True; + Warn_On_Obsolescent_Feature := True; Warn_On_Redundant_Constructs := True; + Warn_On_Unchecked_Conversion := True; + Warn_On_Unrecognized_Pragma := True; when 'A' => - Constant_Condition_Warnings := False; - Elab_Warnings := False; Check_Unreferenced := False; - Check_Withs := False; Check_Unreferenced_Formals := False; + Check_Withs := False; + Constant_Condition_Warnings := False; + Elab_Warnings := False; Implementation_Unit_Warnings := False; - Warn_On_Biased_Rounding := False; + Ineffective_Inline_Warnings := False; + Warn_On_Constant := False; Warn_On_Dereference := False; + Warn_On_Export_Import := False; Warn_On_Hiding := False; + Warn_On_Modified_Unread := False; + Warn_On_No_Value_Assigned := False; + Warn_On_Obsolescent_Feature := False; Warn_On_Redundant_Constructs := False; - Ineffective_Inline_Warnings := False; - - when 'b' => - Warn_On_Biased_Rounding := True; - - when 'B' => - Warn_On_Biased_Rounding := False; + Warn_On_Unchecked_Conversion := False; + Warn_On_Unrecognized_Pragma := False; when 'c' => Constant_Condition_Warnings := True; @@ -626,6 +769,12 @@ package body Switch.C is when 'F' => Check_Unreferenced_Formals := False; + when 'g' => + Warn_On_Unrecognized_Pragma := True; + + when 'G' => + Warn_On_Unrecognized_Pragma := False; + when 'h' => Warn_On_Hiding := True; @@ -638,12 +787,33 @@ package body Switch.C is when 'I' => Implementation_Unit_Warnings := False; + when 'j' => + Warn_On_Obsolescent_Feature := True; + + when 'J' => + Warn_On_Obsolescent_Feature := False; + + when 'k' => + Warn_On_Constant := True; + + when 'K' => + Warn_On_Constant := False; + when 'l' => Elab_Warnings := True; when 'L' => Elab_Warnings := False; + when 'm' => + Warn_On_Modified_Unread := True; + + when 'M' => + Warn_On_Modified_Unread := False; + + when 'n' => + Warning_Mode := Normal; + when 'o' => Address_Clause_Overlay_Warnings := True; @@ -675,6 +845,24 @@ package body Switch.C is Check_Withs := False; Check_Unreferenced_Formals := False; + when 'v' => + Warn_On_No_Value_Assigned := True; + + when 'V' => + Warn_On_No_Value_Assigned := False; + + when 'x' => + Warn_On_Export_Import := True; + + when 'X' => + Warn_On_Export_Import := False; + + when 'z' => + Warn_On_Unchecked_Conversion := True; + + when 'Z' => + Warn_On_Unchecked_Conversion := False; + -- Allow and ignore 'w' so that the old -- format (e.g. -gnatwuwl) will work. @@ -787,7 +975,7 @@ package body Switch.C is when 'z' => Ptr := Ptr + 1; - -- Allowed for compiler, only if this is the only + -- Allowed for compiler only if this is the only -- -z switch, we do not allow multiple occurrences if Distribution_Stub_Mode = No_Stubs then @@ -858,7 +1046,7 @@ package body Switch.C is Osint.Fail ("invalid switch: ", (1 => C)); when Bad_Switch_Value => - Osint.Fail ("numeric value too big for switch: ", (1 => C)); + Osint.Fail ("numeric value out of range for switch: ", (1 => C)); when Missing_Switch_Value => Osint.Fail ("missing numeric value for switch: ", (1 => C)); |