aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/opt.ads
diff options
context:
space:
mode:
authorRobert Dewar <dewar@adacore.com>2014-08-01 09:48:28 +0000
committerArnaud Charlet <charlet@gcc.gnu.org>2014-08-01 11:48:28 +0200
commit21c51f53f0145dd812b2231e03116f49fadcd004 (patch)
tree7c810264a3539640bd067d4d280ad030675b8833 /gcc/ada/opt.ads
parent78433fec9a19c808d0b442741ad9ebb7b84389ef (diff)
downloadgcc-21c51f53f0145dd812b2231e03116f49fadcd004.zip
gcc-21c51f53f0145dd812b2231e03116f49fadcd004.tar.gz
gcc-21c51f53f0145dd812b2231e03116f49fadcd004.tar.bz2
a-numaux-vxworks.ads, [...]: Fix bad package header comments.
2014-08-01 Robert Dewar <dewar@adacore.com> * a-numaux-vxworks.ads, a-numaux-x86.adb, a-numaux-x86.ads, a-numaux-darwin.adb, a-numaux-darwin.ads, a-numaux.ads, a-numaux-libc-x86.ads: Fix bad package header comments. * elists.ads, elists.adb (Append_New_Elmt): New procedure. * gnat_rm.texi, a-calend.adb, gnatcmd.adb, einfo.adb, einfo.ads, checks.adb, sem_prag.adb, sem_prag.ads, rtsfind.ads, freeze.adb, sem_util.adb, sem_attr.adb, exp_dbug.adb, exp_dbug.ads, gnat1drv.adb, targparm.adb, targparm.ads, exp_ch6.adb, switch-b.adb, s-shasto.ads, stand.ads, s-auxdec.ads, opt.adb, opt.ads, mlib-tgt.ads, s-fatgen.adb, s-fatgen.ads, system.ads, snames.ads-tmpl, s-stalib.ads, s-os_lib.adb: Remove VMS-specific code. From-SVN: r213437
Diffstat (limited to 'gcc/ada/opt.ads')
-rw-r--r--gcc/ada/opt.ads31
1 files changed, 2 insertions, 29 deletions
diff --git a/gcc/ada/opt.ads b/gcc/ada/opt.ads
index 68d20f1..7993155 100644
--- a/gcc/ada/opt.ads
+++ b/gcc/ada/opt.ads
@@ -418,12 +418,9 @@ package Opt is
subtype Debug_Level_Value is Nat range 0 .. 3;
Debugger_Level : Debug_Level_Value := 0;
- -- GNATBIND
-- The value given to the -g parameter. The default value for -g with
- -- no value is 2. This is usually ignored by GNATBIND, except in the
- -- VMS version where it is passed as an argument to __gnat_initialize
- -- to trigger the activation of the remote debugging interface.
- -- Is this still true ???
+ -- no value is 2. This is not currently used but is retained for possible
+ -- future use.
Default_Exit_Status : Int := 0;
-- GNATBIND
@@ -709,11 +706,6 @@ package Opt is
-- GNAT
-- True if compiling in GNAT system mode (-gnatg switch)
- Heap_Size : Nat := 0;
- -- GNATBIND
- -- Heap size for memory allocations. Valid values are 32 and 64. Only
- -- available on VMS.
-
Identifier_Character_Set : Character;
-- GNAT
-- This variable indicates the character set to be used for identifiers.
@@ -1291,10 +1283,6 @@ package Opt is
-- GNAT
-- Set True if a pragma Short_Circuit_And_Or applies to the current unit.
- Short_Descriptors : Boolean := False;
- -- GNAT
- -- Set True if a pragma Short_Descriptors applies to the current unit.
-
type SPARK_Mode_Type is (None, Off, On);
-- Possible legal modes that can be set by aspect/pragma SPARK_Mode, as
-- well as the value None, which indicates no such pragma/aspect applies.
@@ -1463,12 +1451,6 @@ package Opt is
-- GNAT
-- Set to True (-gnatt) to generate output tree file
- True_VMS_Target : Boolean := False;
- -- Set True if we are on a VMS target. The setting of this flag reflects
- -- the true state of the compile, unlike Targparm.OpenVMS_On_Target which
- -- can also be true when debug flag m is set (-gnatdm). This is used in the
- -- few cases where we do NOT want -gnatdm to trigger the VMS behavior.
-
Try_Semantics : Boolean := False;
-- GNAT
-- Flag set to force attempt at semantic analysis, even if parser errors
@@ -1955,14 +1937,6 @@ package Opt is
-- flag is used to set the initial value for Polling_Required at the start
-- of analyzing each unit.
- Short_Descriptors_Config : Boolean;
- -- GNAT
- -- This is the value of the configuration switch that controls the use of
- -- Short_Descriptors for setting descriptor default sizes. It can be set
- -- True by the use of the pragma Short_Descriptors in the gnat.adc file.
- -- This flag is used to set the initial value for Short_Descriptors at the
- -- start of analyzing each unit.
-
SPARK_Mode_Config : SPARK_Mode_Type := None;
-- GNAT
-- The setting of SPARK_Mode from configuration pragmas
@@ -2143,7 +2117,6 @@ private
Optimize_Alignment_Local : Boolean;
Persistent_BSS_Mode : Boolean;
Polling_Required : Boolean;
- Short_Descriptors : Boolean;
SPARK_Mode : SPARK_Mode_Type;
SPARK_Mode_Pragma : Node_Id;
Uneval_Old : Character;