[thirdparty/gcc.git] / gcc / ada / opt.adb

------------------------------------------------------------------------------
--                                                                          --
--                         GNAT COMPILER COMPONENTS                         --
--                                                                          --
--                                  O P T                                   --
--                                                                          --
--                                 B o d y                                  --
--                                                                          --
--          Copyright (C) 1992-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- --
-- ware  Foundation;  either version 2,  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 COPYING.  If not, write --
-- to  the Free Software Foundation,  59 Temple Place - Suite 330,  Boston, --
-- MA 02111-1307, USA.                                                      --
--                                                                          --
-- As a special exception,  if other files  instantiate  generics from this --
-- unit, or you link  this unit with other files  to produce an executable, --
-- this  unit  does not  by itself cause  the resulting  executable  to  be --
-- covered  by the  GNU  General  Public  License.  This exception does not --
-- however invalidate  any other reasons why  the executable file  might be --
-- covered by the  GNU Public License.                                      --
--                                                                          --
-- GNAT was originally developed  by the GNAT team at  New York University. --
-- Extensive contributions were provided by Ada Core Technologies Inc.      --
--                                                                          --
------------------------------------------------------------------------------

with Gnatvsn; use Gnatvsn;
with System;  use System;
with Tree_IO; use Tree_IO;

package body Opt is

   Immediate_Errors : Boolean := True;
   --  This is an obsolete flag that is no longer present in opt.ads. We
   --  retain it here because this flag was written to the tree and there
   --  is no point in making trees incomaptible just for the sake of saving
   --  one byte of data. The value written is ignored.

   ----------------------------------
   -- Register_Opt_Config_Switches --
   ----------------------------------

   procedure Register_Opt_Config_Switches is
   begin
      Ada_83_Config                         := Ada_83;
      Dynamic_Elaboration_Checks_Config     := Dynamic_Elaboration_Checks;
      Exception_Locations_Suppressed_Config := Exception_Locations_Suppressed;
      Extensions_Allowed_Config             := Extensions_Allowed;
      External_Name_Exp_Casing_Config       := External_Name_Exp_Casing;
      External_Name_Imp_Casing_Config       := External_Name_Imp_Casing;
      Polling_Required_Config               := Polling_Required;
      Use_VADS_Size_Config                  := Use_VADS_Size;
   end Register_Opt_Config_Switches;

   ---------------------------------
   -- Restore_Opt_Config_Switches --
   ---------------------------------

   procedure Restore_Opt_Config_Switches (Save : Config_Switches_Type) is
   begin
      Ada_83                         := Save.Ada_83;
      Ada_95                         := not Ada_83;
      Dynamic_Elaboration_Checks     := Save.Dynamic_Elaboration_Checks;
      Exception_Locations_Suppressed := Save.Exception_Locations_Suppressed;
      Extensions_Allowed             := Save.Extensions_Allowed;
      External_Name_Exp_Casing       := Save.External_Name_Exp_Casing;
      External_Name_Imp_Casing       := Save.External_Name_Imp_Casing;
      Polling_Required               := Save.Polling_Required;
      Use_VADS_Size                  := Save.Use_VADS_Size;
   end Restore_Opt_Config_Switches;

   ------------------------------
   -- Save_Opt_Config_Switches --
   ------------------------------

   procedure Save_Opt_Config_Switches (Save : out Config_Switches_Type) is
   begin
      Save.Ada_83                         := Ada_83;
      Save.Dynamic_Elaboration_Checks     := Dynamic_Elaboration_Checks;
      Save.Exception_Locations_Suppressed := Exception_Locations_Suppressed;
      Save.Extensions_Allowed             := Extensions_Allowed;
      Save.External_Name_Exp_Casing       := External_Name_Exp_Casing;
      Save.External_Name_Imp_Casing       := External_Name_Imp_Casing;
      Save.Polling_Required               := Polling_Required;
      Save.Use_VADS_Size                  := Use_VADS_Size;
   end Save_Opt_Config_Switches;

   -----------------------------
   -- Set_Opt_Config_Switches --
   -----------------------------

   procedure Set_Opt_Config_Switches (Internal_Unit : Boolean) is
   begin
      if Internal_Unit then
         Ada_83                     := False;
         Ada_95                     := True;
         Dynamic_Elaboration_Checks := False;
         Extensions_Allowed         := True;
         External_Name_Exp_Casing   := As_Is;
         External_Name_Imp_Casing   := Lowercase;
         Use_VADS_Size              := False;

      else
         Ada_83                     := Ada_83_Config;
         Ada_95                     := not Ada_83_Config;
         Dynamic_Elaboration_Checks := Dynamic_Elaboration_Checks_Config;
         Extensions_Allowed         := Extensions_Allowed_Config;
         External_Name_Exp_Casing   := External_Name_Exp_Casing_Config;
         External_Name_Imp_Casing   := External_Name_Imp_Casing_Config;
         Use_VADS_Size              := Use_VADS_Size_Config;
      end if;

      Exception_Locations_Suppressed := Exception_Locations_Suppressed_Config;
      Polling_Required               := Polling_Required_Config;
   end Set_Opt_Config_Switches;

   ---------------
   -- Tree_Read --
   ---------------

   procedure Tree_Read is
      Tree_Version_String_Len : Nat;

   begin
      Tree_Read_Int  (Tree_ASIS_Version_Number);
      Tree_Read_Bool (Brief_Output);
      Tree_Read_Bool (GNAT_Mode);
      Tree_Read_Char (Identifier_Character_Set);
      Tree_Read_Int  (Maximum_File_Name_Length);
      Tree_Read_Data (Suppress_Options'Address,
                      Suppress_Array'Object_Size / Storage_Unit);
      Tree_Read_Bool (Verbose_Mode);
      Tree_Read_Data (Warning_Mode'Address,
                      Warning_Mode_Type'Object_Size / Storage_Unit);
      Tree_Read_Bool (Ada_83_Config);
      Tree_Read_Bool (All_Errors_Mode);
      Tree_Read_Bool (Assertions_Enabled);
      Tree_Read_Bool (Enable_Overflow_Checks);
      Tree_Read_Bool (Full_List);

      --  Read version string: we have to check the length first

      Tree_Read_Int (Tree_Version_String_Len);

      if Tree_Version_String_Len = Tree_Version_String'Length then
         Tree_Read_Data
           (Tree_Version_String'Address, Tree_Version_String_Len);
      else
         Tree_Version_String := (others => '?');

         declare
            Tmp : String (1 .. Integer (Tree_Version_String_Len));
         begin
            Tree_Read_Data
              (Tmp'Address, Tree_Version_String_Len);
         end;

      end if;

      Tree_Read_Data (Distribution_Stub_Mode'Address,
                      Distribution_Stub_Mode_Type'Object_Size / Storage_Unit);
      Tree_Read_Bool (Immediate_Errors);
      Tree_Read_Bool (Inline_Active);
      Tree_Read_Bool (Inline_Processing_Required);
      Tree_Read_Bool (List_Units);
      Tree_Read_Bool (Configurable_Run_Time_Mode);
      Tree_Read_Data (Operating_Mode'Address,
                      Operating_Mode_Type'Object_Size / Storage_Unit);
      Tree_Read_Bool (Suppress_Checks);
      Tree_Read_Bool (Try_Semantics);
      Tree_Read_Data (Wide_Character_Encoding_Method'Address,
                      WC_Encoding_Method'Object_Size / Storage_Unit);
      Tree_Read_Bool (Upper_Half_Encoding);
      Tree_Read_Bool (Force_ALI_Tree_File);
   end Tree_Read;

   ----------------
   -- Tree_Write --
   ----------------

   procedure Tree_Write is
      Version_String : String := Gnat_Version_String;
   begin
      Tree_Write_Int  (ASIS_Version_Number);
      Tree_Write_Bool (Brief_Output);
      Tree_Write_Bool (GNAT_Mode);
      Tree_Write_Char (Identifier_Character_Set);
      Tree_Write_Int  (Maximum_File_Name_Length);
      Tree_Write_Data (Suppress_Options'Address,
                       Suppress_Array'Object_Size / Storage_Unit);
      Tree_Write_Bool (Verbose_Mode);
      Tree_Write_Data (Warning_Mode'Address,
                       Warning_Mode_Type'Object_Size / Storage_Unit);
      Tree_Write_Bool (Ada_83_Config);
      Tree_Write_Bool (All_Errors_Mode);
      Tree_Write_Bool (Assertions_Enabled);
      Tree_Write_Bool (Enable_Overflow_Checks);
      Tree_Write_Bool (Full_List);
      Tree_Write_Int  (Int (Version_String'Length));
      Tree_Write_Data (Version_String'Address,
                       Version_String'Length);
      Tree_Write_Data (Distribution_Stub_Mode'Address,
                       Distribution_Stub_Mode_Type'Object_Size / Storage_Unit);
      Tree_Write_Bool (Immediate_Errors);
      Tree_Write_Bool (Inline_Active);
      Tree_Write_Bool (Inline_Processing_Required);
      Tree_Write_Bool (List_Units);
      Tree_Write_Bool (Configurable_Run_Time_Mode);
      Tree_Write_Data (Operating_Mode'Address,
                       Operating_Mode_Type'Object_Size / Storage_Unit);
      Tree_Write_Bool (Suppress_Checks);
      Tree_Write_Bool (Try_Semantics);
      Tree_Write_Data (Wide_Character_Encoding_Method'Address,
                       WC_Encoding_Method'Object_Size / Storage_Unit);
      Tree_Write_Bool (Upper_Half_Encoding);
      Tree_Write_Bool (Force_ALI_Tree_File);
   end Tree_Write;

end Opt;
Commit	Line	Data
38cbfe40 RK	1	------------------------------------------------------------------------------
	2	-- --
	3	-- GNAT COMPILER COMPONENTS --
	4	-- --
	5	-- O P T --
	6	-- --
	7	-- B o d y --
	8	-- --
fbf5a39b	9	-- Copyright (C) 1992-2003, Free Software Foundation, Inc. --
38cbfe40 RK	10	-- --
	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, 59 Temple Place - Suite 330, Boston, --
	20	-- MA 02111-1307, USA. --
	21	-- --
	22	-- As a special exception, if other files instantiate generics from this --
	23	-- unit, or you link this unit with other files to produce an executable, --
	24	-- this unit does not by itself cause the resulting executable to be --
	25	-- covered by the GNU General Public License. This exception does not --
	26	-- however invalidate any other reasons why the executable file might be --
	27	-- covered by the GNU Public License. --
	28	-- --
	29	-- GNAT was originally developed by the GNAT team at New York University. --
71ff80dc	30	-- Extensive contributions were provided by Ada Core Technologies Inc. --
38cbfe40 RK	31	-- --
	32	------------------------------------------------------------------------------
	33
38cbfe40 RK	34	with Gnatvsn; use Gnatvsn;
	35	with System; use System;
	36	with Tree_IO; use Tree_IO;
	37
	38	package body Opt is
	39
38cbfe40 RK	40	Immediate_Errors : Boolean := True;
	41	-- This is an obsolete flag that is no longer present in opt.ads. We
	42	-- retain it here because this flag was written to the tree and there
	43	-- is no point in making trees incomaptible just for the sake of saving
	44	-- one byte of data. The value written is ignored.
	45
	46	----------------------------------
	47	-- Register_Opt_Config_Switches --
	48	----------------------------------
	49
	50	procedure Register_Opt_Config_Switches is
	51	begin
fbf5a39b AC	52	Ada_83_Config := Ada_83;
	53	Dynamic_Elaboration_Checks_Config := Dynamic_Elaboration_Checks;
	54	Exception_Locations_Suppressed_Config := Exception_Locations_Suppressed;
	55	Extensions_Allowed_Config := Extensions_Allowed;
	56	External_Name_Exp_Casing_Config := External_Name_Exp_Casing;
	57	External_Name_Imp_Casing_Config := External_Name_Imp_Casing;
	58	Polling_Required_Config := Polling_Required;
	59	Use_VADS_Size_Config := Use_VADS_Size;
38cbfe40 RK	60	end Register_Opt_Config_Switches;
	61
	62	---------------------------------
	63	-- Restore_Opt_Config_Switches --
	64	---------------------------------
	65
	66	procedure Restore_Opt_Config_Switches (Save : Config_Switches_Type) is
	67	begin
fbf5a39b AC	68	Ada_83 := Save.Ada_83;
	69	Ada_95 := not Ada_83;
	70	Dynamic_Elaboration_Checks := Save.Dynamic_Elaboration_Checks;
	71	Exception_Locations_Suppressed := Save.Exception_Locations_Suppressed;
	72	Extensions_Allowed := Save.Extensions_Allowed;
	73	External_Name_Exp_Casing := Save.External_Name_Exp_Casing;
	74	External_Name_Imp_Casing := Save.External_Name_Imp_Casing;
	75	Polling_Required := Save.Polling_Required;
	76	Use_VADS_Size := Save.Use_VADS_Size;
38cbfe40 RK	77	end Restore_Opt_Config_Switches;
	78
	79	------------------------------
	80	-- Save_Opt_Config_Switches --
	81	------------------------------
	82
	83	procedure Save_Opt_Config_Switches (Save : out Config_Switches_Type) is
	84	begin
fbf5a39b AC	85	Save.Ada_83 := Ada_83;
	86	Save.Dynamic_Elaboration_Checks := Dynamic_Elaboration_Checks;
	87	Save.Exception_Locations_Suppressed := Exception_Locations_Suppressed;
	88	Save.Extensions_Allowed := Extensions_Allowed;
	89	Save.External_Name_Exp_Casing := External_Name_Exp_Casing;
	90	Save.External_Name_Imp_Casing := External_Name_Imp_Casing;
	91	Save.Polling_Required := Polling_Required;
	92	Save.Use_VADS_Size := Use_VADS_Size;
38cbfe40 RK	93	end Save_Opt_Config_Switches;
	94
	95	-----------------------------
	96	-- Set_Opt_Config_Switches --
	97	-----------------------------
	98
	99	procedure Set_Opt_Config_Switches (Internal_Unit : Boolean) is
	100	begin
	101	if Internal_Unit then
	102	Ada_83 := False;
	103	Ada_95 := True;
	104	Dynamic_Elaboration_Checks := False;
	105	Extensions_Allowed := True;
	106	External_Name_Exp_Casing := As_Is;
	107	External_Name_Imp_Casing := Lowercase;
	108	Use_VADS_Size := False;
	109
	110	else
	111	Ada_83 := Ada_83_Config;
	112	Ada_95 := not Ada_83_Config;
	113	Dynamic_Elaboration_Checks := Dynamic_Elaboration_Checks_Config;
	114	Extensions_Allowed := Extensions_Allowed_Config;
	115	External_Name_Exp_Casing := External_Name_Exp_Casing_Config;
	116	External_Name_Imp_Casing := External_Name_Imp_Casing_Config;
	117	Use_VADS_Size := Use_VADS_Size_Config;
	118	end if;
	119
fbf5a39b AC	120	Exception_Locations_Suppressed := Exception_Locations_Suppressed_Config;
fbf5a39b AC	121	Polling_Required := Polling_Required_Config;
38cbfe40 RK	122	end Set_Opt_Config_Switches;
	123
	124	---------------
	125	-- Tree_Read --
	126	---------------
	127
	128	procedure Tree_Read is
	129	Tree_Version_String_Len : Nat;
	130
	131	begin
fbf5a39b	132	Tree_Read_Int (Tree_ASIS_Version_Number);
38cbfe40 RK	133	Tree_Read_Bool (Brief_Output);
	134	Tree_Read_Bool (GNAT_Mode);
	135	Tree_Read_Char (Identifier_Character_Set);
	136	Tree_Read_Int (Maximum_File_Name_Length);
	137	Tree_Read_Data (Suppress_Options'Address,
fbf5a39b	138	Suppress_Array'Object_Size / Storage_Unit);
38cbfe40 RK	139	Tree_Read_Bool (Verbose_Mode);
	140	Tree_Read_Data (Warning_Mode'Address,
	141	Warning_Mode_Type'Object_Size / Storage_Unit);
	142	Tree_Read_Bool (Ada_83_Config);
	143	Tree_Read_Bool (All_Errors_Mode);
	144	Tree_Read_Bool (Assertions_Enabled);
07fc65c4	145	Tree_Read_Bool (Enable_Overflow_Checks);
38cbfe40 RK	146	Tree_Read_Bool (Full_List);
38cbfe40 RK	147
fbf5a39b	148	-- Read version string: we have to check the length first
38cbfe40 RK	149
	150	Tree_Read_Int (Tree_Version_String_Len);
	151
	152	if Tree_Version_String_Len = Tree_Version_String'Length then
	153	Tree_Read_Data
fbf5a39b AC	154	(Tree_Version_String'Address, Tree_Version_String_Len);
	155	else
	156	Tree_Version_String := (others => '?');
	157
	158	declare
	159	Tmp : String (1 .. Integer (Tree_Version_String_Len));
	160	begin
	161	Tree_Read_Data
	162	(Tmp'Address, Tree_Version_String_Len);
	163	end;
38cbfe40	164
38cbfe40 RK	165	end if;
	166
	167	Tree_Read_Data (Distribution_Stub_Mode'Address,
	168	Distribution_Stub_Mode_Type'Object_Size / Storage_Unit);
	169	Tree_Read_Bool (Immediate_Errors);
	170	Tree_Read_Bool (Inline_Active);
	171	Tree_Read_Bool (Inline_Processing_Required);
	172	Tree_Read_Bool (List_Units);
fbf5a39b	173	Tree_Read_Bool (Configurable_Run_Time_Mode);
38cbfe40 RK	174	Tree_Read_Data (Operating_Mode'Address,
38cbfe40 RK	175	Operating_Mode_Type'Object_Size / Storage_Unit);
07fc65c4	176	Tree_Read_Bool (Suppress_Checks);
38cbfe40 RK	177	Tree_Read_Bool (Try_Semantics);
	178	Tree_Read_Data (Wide_Character_Encoding_Method'Address,
	179	WC_Encoding_Method'Object_Size / Storage_Unit);
	180	Tree_Read_Bool (Upper_Half_Encoding);
	181	Tree_Read_Bool (Force_ALI_Tree_File);
	182	end Tree_Read;
	183
	184	----------------
	185	-- Tree_Write --
	186	----------------
	187
	188	procedure Tree_Write is
6c1e24d3	189	Version_String : String := Gnat_Version_String;
38cbfe40	190	begin
fbf5a39b	191	Tree_Write_Int (ASIS_Version_Number);
38cbfe40 RK	192	Tree_Write_Bool (Brief_Output);
	193	Tree_Write_Bool (GNAT_Mode);
	194	Tree_Write_Char (Identifier_Character_Set);
	195	Tree_Write_Int (Maximum_File_Name_Length);
	196	Tree_Write_Data (Suppress_Options'Address,
fbf5a39b	197	Suppress_Array'Object_Size / Storage_Unit);
38cbfe40 RK	198	Tree_Write_Bool (Verbose_Mode);
	199	Tree_Write_Data (Warning_Mode'Address,
	200	Warning_Mode_Type'Object_Size / Storage_Unit);
	201	Tree_Write_Bool (Ada_83_Config);
	202	Tree_Write_Bool (All_Errors_Mode);
	203	Tree_Write_Bool (Assertions_Enabled);
07fc65c4	204	Tree_Write_Bool (Enable_Overflow_Checks);
38cbfe40	205	Tree_Write_Bool (Full_List);
6c1e24d3 AC	206	Tree_Write_Int (Int (Version_String'Length));
	207	Tree_Write_Data (Version_String'Address,
	208	Version_String'Length);
38cbfe40 RK	209	Tree_Write_Data (Distribution_Stub_Mode'Address,
	210	Distribution_Stub_Mode_Type'Object_Size / Storage_Unit);
	211	Tree_Write_Bool (Immediate_Errors);
	212	Tree_Write_Bool (Inline_Active);
	213	Tree_Write_Bool (Inline_Processing_Required);
	214	Tree_Write_Bool (List_Units);
fbf5a39b	215	Tree_Write_Bool (Configurable_Run_Time_Mode);
38cbfe40 RK	216	Tree_Write_Data (Operating_Mode'Address,
38cbfe40 RK	217	Operating_Mode_Type'Object_Size / Storage_Unit);
07fc65c4	218	Tree_Write_Bool (Suppress_Checks);
38cbfe40 RK	219	Tree_Write_Bool (Try_Semantics);
	220	Tree_Write_Data (Wide_Character_Encoding_Method'Address,
	221	WC_Encoding_Method'Object_Size / Storage_Unit);
	222	Tree_Write_Bool (Upper_Half_Encoding);
	223	Tree_Write_Bool (Force_ALI_Tree_File);
	224	end Tree_Write;
	225
	226	end Opt;