| ------------------------------------------------------------------------------ |
| -- -- |
| -- GNAT COMPILER COMPONENTS -- |
| -- -- |
| -- O P T -- |
| -- -- |
| -- B o d y -- |
| -- -- |
| -- Copyright (C) 1992-2022, 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. -- |
| -- -- |
| ------------------------------------------------------------------------------ |
| |
| package body Opt is |
| |
| ------------------------- |
| -- Back_End_Exceptions -- |
| ------------------------- |
| |
| function Back_End_Exceptions return Boolean is |
| begin |
| return |
| Exception_Mechanism = Back_End_SJLJ |
| or else |
| Exception_Mechanism = Back_End_ZCX; |
| end Back_End_Exceptions; |
| |
| ------------------------- |
| -- Front_End_Exceptions -- |
| ------------------------- |
| |
| function Front_End_Exceptions return Boolean is |
| begin |
| return Exception_Mechanism = Front_End_SJLJ; |
| end Front_End_Exceptions; |
| |
| -------------------- |
| -- SJLJ_Exceptions -- |
| -------------------- |
| |
| function SJLJ_Exceptions return Boolean is |
| begin |
| return |
| Exception_Mechanism = Back_End_SJLJ |
| or else |
| Exception_Mechanism = Front_End_SJLJ; |
| end SJLJ_Exceptions; |
| |
| -------------------- |
| -- ZCX_Exceptions -- |
| -------------------- |
| |
| function ZCX_Exceptions return Boolean is |
| begin |
| return Exception_Mechanism = Back_End_ZCX; |
| end ZCX_Exceptions; |
| |
| ------------------------------ |
| -- Register_Config_Switches -- |
| ------------------------------ |
| |
| procedure Register_Config_Switches is |
| begin |
| Ada_Version_Config := Ada_Version; |
| Ada_Version_Pragma_Config := Ada_Version_Pragma; |
| Ada_Version_Explicit_Config := Ada_Version_Explicit; |
| Assertions_Enabled_Config := Assertions_Enabled; |
| Assume_No_Invalid_Values_Config := Assume_No_Invalid_Values; |
| Check_Float_Overflow_Config := Check_Float_Overflow; |
| Check_Policy_List_Config := Check_Policy_List; |
| Default_Pool_Config := Default_Pool; |
| Default_SSO_Config := Default_SSO; |
| Dynamic_Elaboration_Checks_Config := Dynamic_Elaboration_Checks; |
| Exception_Locations_Suppressed_Config := Exception_Locations_Suppressed; |
| External_Name_Exp_Casing_Config := External_Name_Exp_Casing; |
| External_Name_Imp_Casing_Config := External_Name_Imp_Casing; |
| Fast_Math_Config := Fast_Math; |
| Initialize_Scalars_Config := Initialize_Scalars; |
| No_Component_Reordering_Config := No_Component_Reordering; |
| Optimize_Alignment_Config := Optimize_Alignment; |
| Persistent_BSS_Mode_Config := Persistent_BSS_Mode; |
| Prefix_Exception_Messages_Config := Prefix_Exception_Messages; |
| SPARK_Mode_Config := SPARK_Mode; |
| SPARK_Mode_Pragma_Config := SPARK_Mode_Pragma; |
| Uneval_Old_Config := Uneval_Old; |
| Use_VADS_Size_Config := Use_VADS_Size; |
| Warnings_As_Errors_Count_Config := Warnings_As_Errors_Count; |
| |
| -- Reset the indication that Optimize_Alignment was set locally, since |
| -- if we had a pragma in the config file, it would set this flag True, |
| -- but that's not a local setting. |
| |
| Optimize_Alignment_Local := False; |
| end Register_Config_Switches; |
| |
| ----------------------------- |
| -- Restore_Config_Switches -- |
| ----------------------------- |
| |
| procedure Restore_Config_Switches (Save : Config_Switches_Type) is |
| begin |
| Ada_Version := Save.Ada_Version; |
| Ada_Version_Pragma := Save.Ada_Version_Pragma; |
| Ada_Version_Explicit := Save.Ada_Version_Explicit; |
| Assertions_Enabled := Save.Assertions_Enabled; |
| Assume_No_Invalid_Values := Save.Assume_No_Invalid_Values; |
| Check_Float_Overflow := Save.Check_Float_Overflow; |
| Check_Policy_List := Save.Check_Policy_List; |
| Default_Pool := Save.Default_Pool; |
| Default_SSO := Save.Default_SSO; |
| Dynamic_Elaboration_Checks := Save.Dynamic_Elaboration_Checks; |
| Exception_Locations_Suppressed := Save.Exception_Locations_Suppressed; |
| External_Name_Exp_Casing := Save.External_Name_Exp_Casing; |
| External_Name_Imp_Casing := Save.External_Name_Imp_Casing; |
| Fast_Math := Save.Fast_Math; |
| Initialize_Scalars := Save.Initialize_Scalars; |
| No_Component_Reordering := Save.No_Component_Reordering; |
| Optimize_Alignment := Save.Optimize_Alignment; |
| Optimize_Alignment_Local := Save.Optimize_Alignment_Local; |
| Persistent_BSS_Mode := Save.Persistent_BSS_Mode; |
| Prefix_Exception_Messages := Save.Prefix_Exception_Messages; |
| SPARK_Mode := Save.SPARK_Mode; |
| SPARK_Mode_Pragma := Save.SPARK_Mode_Pragma; |
| Uneval_Old := Save.Uneval_Old; |
| Use_VADS_Size := Save.Use_VADS_Size; |
| Warnings_As_Errors_Count := Save.Warnings_As_Errors_Count; |
| |
| -- Update consistently the value of Init_Or_Norm_Scalars. The value of |
| -- Normalize_Scalars is not saved/restored because after set to True its |
| -- value is never changed. That is, if a compilation unit has pragma |
| -- Normalize_Scalars then it forces that value for all with'ed units. |
| |
| Init_Or_Norm_Scalars := Initialize_Scalars or Normalize_Scalars; |
| end Restore_Config_Switches; |
| |
| -------------------------- |
| -- Save_Config_Switches -- |
| -------------------------- |
| |
| function Save_Config_Switches return Config_Switches_Type is |
| begin |
| return |
| (Ada_Version => Ada_Version, |
| Ada_Version_Pragma => Ada_Version_Pragma, |
| Ada_Version_Explicit => Ada_Version_Explicit, |
| Assertions_Enabled => Assertions_Enabled, |
| Assume_No_Invalid_Values => Assume_No_Invalid_Values, |
| Check_Float_Overflow => Check_Float_Overflow, |
| Check_Policy_List => Check_Policy_List, |
| Default_Pool => Default_Pool, |
| Default_SSO => Default_SSO, |
| Dynamic_Elaboration_Checks => Dynamic_Elaboration_Checks, |
| Exception_Locations_Suppressed => Exception_Locations_Suppressed, |
| External_Name_Exp_Casing => External_Name_Exp_Casing, |
| External_Name_Imp_Casing => External_Name_Imp_Casing, |
| Fast_Math => Fast_Math, |
| Initialize_Scalars => Initialize_Scalars, |
| No_Component_Reordering => No_Component_Reordering, |
| Normalize_Scalars => Normalize_Scalars, |
| Optimize_Alignment => Optimize_Alignment, |
| Optimize_Alignment_Local => Optimize_Alignment_Local, |
| Persistent_BSS_Mode => Persistent_BSS_Mode, |
| Prefix_Exception_Messages => Prefix_Exception_Messages, |
| SPARK_Mode => SPARK_Mode, |
| SPARK_Mode_Pragma => SPARK_Mode_Pragma, |
| Uneval_Old => Uneval_Old, |
| Use_VADS_Size => Use_VADS_Size, |
| Warnings_As_Errors_Count => Warnings_As_Errors_Count); |
| end Save_Config_Switches; |
| |
| ------------------------- |
| -- Set_Config_Switches -- |
| ------------------------- |
| |
| procedure Set_Config_Switches |
| (Internal_Unit : Boolean; |
| Main_Unit : Boolean) |
| is |
| begin |
| -- Case of internal unit |
| |
| if Internal_Unit then |
| |
| -- Set standard switches. Note we do NOT set Ada_Version_Explicit |
| -- since the whole point of this is that it still properly indicates |
| -- the configuration setting even in a run time unit. |
| |
| Ada_Version := Ada_Version_Runtime; |
| Ada_Version_Pragma := Empty; |
| Default_SSO := ' '; |
| Dynamic_Elaboration_Checks := False; |
| External_Name_Exp_Casing := As_Is; |
| External_Name_Imp_Casing := Lowercase; |
| No_Component_Reordering := False; |
| Optimize_Alignment := 'O'; |
| Optimize_Alignment_Local := True; |
| Persistent_BSS_Mode := False; |
| Prefix_Exception_Messages := True; |
| Uneval_Old := 'E'; |
| Use_VADS_Size := False; |
| |
| -- Note: we do not need to worry about Warnings_As_Errors_Count since |
| -- we do not expect to get any warnings from compiling such a unit. |
| |
| -- For an internal unit, assertions/debug pragmas are off unless this |
| -- is the main unit and they were explicitly enabled, or unless the |
| -- main unit was compiled in GNAT mode. We also make sure we do not |
| -- assume that values are necessarily valid and that SPARK_Mode is |
| -- set to its configuration value. |
| |
| if Main_Unit then |
| Assertions_Enabled := Assertions_Enabled_Config; |
| Assume_No_Invalid_Values := Assume_No_Invalid_Values_Config; |
| Check_Policy_List := Check_Policy_List_Config; |
| SPARK_Mode := SPARK_Mode_Config; |
| SPARK_Mode_Pragma := SPARK_Mode_Pragma_Config; |
| |
| else |
| -- In GNATprove mode assertions should be always enabled, even |
| -- when analysing internal units. |
| |
| if GNATprove_Mode then |
| pragma Assert (Assertions_Enabled); |
| null; |
| |
| elsif GNAT_Mode_Config then |
| Assertions_Enabled := Assertions_Enabled_Config; |
| else |
| Assertions_Enabled := False; |
| end if; |
| |
| Assume_No_Invalid_Values := False; |
| Check_Policy_List := Empty; |
| SPARK_Mode := None; |
| SPARK_Mode_Pragma := Empty; |
| end if; |
| |
| -- Case of non-internal unit |
| |
| else |
| Ada_Version := Ada_Version_Config; |
| Ada_Version_Pragma := Ada_Version_Pragma_Config; |
| Ada_Version_Explicit := Ada_Version_Explicit_Config; |
| Assertions_Enabled := Assertions_Enabled_Config; |
| Assume_No_Invalid_Values := Assume_No_Invalid_Values_Config; |
| Check_Float_Overflow := Check_Float_Overflow_Config; |
| Check_Policy_List := Check_Policy_List_Config; |
| Default_SSO := Default_SSO_Config; |
| Dynamic_Elaboration_Checks := Dynamic_Elaboration_Checks_Config; |
| External_Name_Exp_Casing := External_Name_Exp_Casing_Config; |
| External_Name_Imp_Casing := External_Name_Imp_Casing_Config; |
| Fast_Math := Fast_Math_Config; |
| Initialize_Scalars := Initialize_Scalars_Config; |
| No_Component_Reordering := No_Component_Reordering_Config; |
| Optimize_Alignment := Optimize_Alignment_Config; |
| Optimize_Alignment_Local := False; |
| Persistent_BSS_Mode := Persistent_BSS_Mode_Config; |
| Prefix_Exception_Messages := Prefix_Exception_Messages_Config; |
| SPARK_Mode := SPARK_Mode_Config; |
| SPARK_Mode_Pragma := SPARK_Mode_Pragma_Config; |
| Uneval_Old := Uneval_Old_Config; |
| Use_VADS_Size := Use_VADS_Size_Config; |
| Warnings_As_Errors_Count := Warnings_As_Errors_Count_Config; |
| |
| -- Update consistently the value of Init_Or_Norm_Scalars. The value |
| -- of Normalize_Scalars is not saved/restored because once set to |
| -- True its value is never changed. That is, if a compilation unit |
| -- has pragma Normalize_Scalars then it forces that value for all |
| -- with'ed units. |
| |
| Init_Or_Norm_Scalars := Initialize_Scalars or Normalize_Scalars; |
| end if; |
| |
| -- Values set for all units |
| |
| Default_Pool := Default_Pool_Config; |
| Exception_Locations_Suppressed := Exception_Locations_Suppressed_Config; |
| Fast_Math := Fast_Math_Config; |
| end Set_Config_Switches; |
| |
| end Opt; |
