41intnam.ads, [...]: Merge in ACT changes.

	* 41intnam.ads, 42intnam.ads, 4aintnam.ads, 4cintnam.ads,
	4dintnam.ads, 4gintnam.ads, 4hintnam.ads, 4lintnam.ads,
	4mintnam.ads, 4pintnam.ads, 4rintnam.ads, 4sintnam.ads,
	4uintnam.ads, 4vcalend.adb, 4zintnam.ads, 52system.ads,
	5amastop.adb, 5asystem.ads, 5ataprop.adb, 5atpopsp.adb,
	5avxwork.ads, 5bosinte.adb, 5bsystem.ads, 5esystem.ads,
	5fsystem.ads, 5ftaprop.adb, 5ginterr.adb, 5gmastop.adb,
	5gsystem.ads, 5gtaprop.adb, 5gtasinf.adb, 5gtasinf.ads,
	5hparame.ads, 5hsystem.ads, 5htaprop.adb, 5htraceb.adb,
	5itaprop.adb, 5ksystem.ads, 5kvxwork.ads, 5lintman.adb,
	5lsystem.ads, 5mvxwork.ads, 5ninmaop.adb, 5nosinte.ads,
	5ntaprop.adb, 5ointerr.adb, 5omastop.adb, 5oosinte.adb,
	5osystem.ads, 5otaprop.adb, 5otaspri.ads, 5pvxwork.ads,
	5qtaprop.adb, 5sintman.adb, 5ssystem.ads, 5staprop.adb,
	5stpopse.adb, 5svxwork.ads, 5tosinte.ads, 5uintman.adb,
	5vasthan.adb, 5vinmaop.adb, 5vinterr.adb, 5vintman.adb,
	5vmastop.adb, 5vparame.ads, 5vsystem.ads, 5vtaprop.adb,
	5vtpopde.adb, 5wmemory.adb, 5wsystem.ads, 5wtaprop.adb,
	5ysystem.ads, 5zinterr.adb, 5zintman.adb, 5zosinte.adb,
	5zosinte.ads, 5zsystem.ads, 5ztaprop.adb, 6vcpp.adb, 6vcstrea.adb,
	7sintman.adb, 7staprop.adb, 7stpopsp.adb, 9drpc.adb,
	Make-lang.in, Makefile.in, a-caldel.adb, a-comlin.ads,
	a-dynpri.adb, a-except.adb, a-except.ads, a-finali.adb,
	a-ncelfu.ads, a-reatim.adb, a-retide.adb, a-stream.ads,
	a-ststio.adb, a-ststio.ads, a-stwifi.adb, a-tags.adb, a-tasatt.adb,
	a-textio.adb, a-tideau.adb, a-tiflau.adb, a-tigeau.adb,
	a-tigeau.ads, a-tiinau.adb, a-timoau.adb, a-witeio.adb,
	a-wtdeau.adb, a-wtenau.adb, a-wtflau.adb, a-wtgeau.adb,
	a-wtgeau.ads, a-wtinau.adb, a-wtmoau.adb, ada-tree.def, ada-tree.h,
	adaint.c, adaint.h, ali-util.adb, ali.adb, ali.ads, atree.adb,
	atree.ads, atree.h, back_end.adb, bcheck.adb, bindgen.adb,
	bindusg.adb, checks.adb, comperr.adb, config-lang.in, csets.adb,
	csets.ads, cstand.adb, cstreams.c, debug.adb, debug.ads, decl.c,
	einfo.adb, einfo.ads, einfo.h, elists.h, errout.adb, errout.ads,
	eval_fat.adb, exp_aggr.adb, exp_attr.adb, exp_ch11.adb,
	exp_ch12.adb, exp_ch13.adb, exp_ch2.adb, exp_ch3.adb, exp_ch3.ads,
	exp_ch4.adb, exp_ch5.adb, exp_ch6.adb, exp_ch7.adb, exp_ch7.ads,
	exp_ch9.adb, exp_ch9.ads, exp_dbug.adb, exp_dbug.ads, exp_disp.ads,
	exp_dist.adb, exp_fixd.adb, exp_intr.adb, exp_pakd.adb,
	exp_prag.adb, exp_strm.adb, exp_util.adb, exp_util.ads,
	expander.adb, expect.c, fe.h, fmap.adb, fmap.ads, fname-uf.adb,
	freeze.adb, frontend.adb, g-awk.adb, g-cgideb.adb, g-comlin.adb,
	g-comlin.ads, g-debpoo.adb, g-dirope.adb, g-dirope.ads,
	g-dyntab.adb, g-expect.adb, g-expect.ads, g-io.ads, g-io_aux.adb,
	g-io_aux.ads, g-locfil.adb, g-locfil.ads, g-os_lib.adb,
	g-os_lib.ads, g-regexp.adb, g-regpat.adb, g-socket.adb,
	g-socket.ads, g-spipat.adb, g-table.adb, g-trasym.adb,
	g-trasym.ads, gigi.h, gmem.c, gnat1drv.adb, gnatbind.adb, gnatbl.c,
	gnatchop.adb, gnatcmd.adb, gnatdll.adb, gnatfind.adb, gnatlbr.adb,
	gnatlink.adb, gnatls.adb, gnatmem.adb, gnatprep.adb, gnatvsn.ads,
	gnatxref.adb, hlo.adb, hostparm.ads, i-cobol.adb, i-cpp.adb,
	i-cstrea.ads, i-cstrin.adb, i-pacdec.adb, i-vxwork.ads,
	impunit.adb, init.c, inline.adb, io-aux.c, layout.adb, lib-load.adb,
	lib-util.adb, lib-writ.adb, lib-writ.ads, lib-xref.adb,
	lib-xref.ads, lib.adb, lib.ads, make.adb, makeusg.adb, mdll.adb,
	memroot.adb, misc.c, mlib-tgt.adb, mlib-utl.adb, mlib-utl.ads,
	mlib.adb, namet.adb, namet.ads, namet.h, nlists.h, nmake.adb,
	nmake.ads, nmake.adt, opt.adb, opt.ads, osint.adb, osint.ads,
	output.adb, output.ads, par-ch2.adb, par-ch3.adb, par-ch5.adb,
	par-prag.adb, par-tchk.adb, par-util.adb, par.adb, prj-attr.adb,
	prj-dect.adb, prj-env.adb, prj-env.ads, prj-nmsc.adb, prj-part.adb,
	prj-proc.adb, prj-strt.adb, prj-tree.adb, prj-tree.ads, prj.adb,
	prj.ads, raise.c, raise.h, repinfo.adb, restrict.adb, restrict.ads,
	rident.ads, rtsfind.adb, rtsfind.ads, s-arit64.adb, s-asthan.adb,
	s-atacco.adb, s-atacco.ads, s-auxdec.adb, s-crc32.adb, s-crc32.ads,
	s-direio.adb, s-fatgen.adb, s-fileio.adb, s-finimp.adb,
	s-gloloc.adb, s-gloloc.ads, s-interr.adb, s-mastop.adb,
	s-mastop.ads, s-memory.adb, s-parame.ads, s-parint.adb,
	s-pooglo.adb, s-pooloc.adb, s-rpc.adb, s-secsta.adb, s-sequio.adb,
	s-shasto.adb, s-soflin.adb, s-soflin.ads, s-stache.adb,
	s-taasde.adb, s-taasde.ads, s-tadeca.adb, s-tadeca.ads,
	s-tadert.adb, s-tadert.ads, s-taenca.adb, s-taenca.ads,
	s-taprob.adb, s-taprop.ads, s-tarest.adb, s-tasdeb.adb,
	s-tasini.adb, s-tasini.ads, s-taskin.adb, s-taskin.ads,
	s-tasque.adb, s-tasque.ads, s-tasren.adb, s-tasren.ads,
	s-tassta.adb, s-tasuti.adb, s-tasuti.ads, s-tataat.adb,
	s-tataat.ads, s-tpoben.adb, s-tpoben.ads, s-tpobop.adb,
	s-tposen.adb, s-tposen.ads, s-traceb.adb, s-traceb.ads,
	s-unstyp.ads, s-widenu.adb, scn-nlit.adb, scn.adb, sem.adb,
	sem_aggr.adb, sem_attr.adb, sem_attr.ads, sem_case.adb,
	sem_ch10.adb, sem_ch11.adb, sem_ch11.ads, sem_ch12.adb,
	sem_ch13.adb, sem_ch13.ads, sem_ch2.adb, sem_ch3.adb, sem_ch3.ads,
	sem_ch4.adb, sem_ch5.adb, sem_ch6.adb, sem_ch6.ads, sem_ch7.adb,
	sem_ch8.adb, sem_ch8.ads, sem_ch9.adb, sem_disp.adb, sem_dist.adb,
	sem_elab.adb, sem_elim.adb, sem_elim.ads, sem_eval.adb,
	sem_intr.adb, sem_mech.adb, sem_prag.adb, sem_res.adb,
	sem_type.adb, sem_util.adb, sem_util.ads, sem_vfpt.adb,
	sem_warn.adb, sinfo.adb, sinfo.ads, sinfo.h, sinput-l.adb,
	sinput-l.ads, sinput.adb, sinput.ads, snames.adb, snames.ads,
	snames.h, sprint.adb, sprint.ads, stringt.adb, stringt.ads,
	stringt.h, style.adb, switch.adb, switch.ads, sysdep.c, system.ads,
	table.adb, targparm.adb, targparm.ads, targtyps.c, tbuild.adb,
	tbuild.ads, tracebak.c, trans.c, tree_gen.adb, tree_io.adb,
	treepr.adb, treepr.ads, treeprs.ads, treeprs.adt, ttypes.ads,
	types.adb, types.ads, types.h, uintp.ads, urealp.ads, usage.adb,
	utils.c, utils2.c, validsw.adb, xnmake.adb, xr_tabls.adb,
	xr_tabls.ads, xref_lib.adb, xref_lib.ads : Merge in ACT changes.

	* 1ssecsta.adb, 1ssecsta.ads, a-chlat9.ads, a-cwila9.ads,
	g-enblsp.adb, g-md5.adb, g-md5.ads, gnatname.adb, gnatname.ads,
	mkdir.c, osint-b.adb, osint-b.ads, osint-c.adb, osint-c.ads,
	osint-l.adb, osint-l.ads, osint-m.adb, osint-m.ads : New files

	* 3lsoccon.ads, 5qparame.ads, 5qvxwork.ads, 5smastop.adb,
	5zparame.ads, gnatmain.adb, gnatmain.ads, gnatpsys.adb : Removed

	* mdllfile.adb, mdllfile.ads, mdlltool.adb, mdlltool.ads : Renamed
	to mdll-fil.ad[bs] and mdll-util.ad[bs]

	* mdll-fil.adb, mdll-fil.ads, mdll-utl.adb, mdll-utl.ads : Renamed
	from mdllfile.ad[bs] and mdlltool.ad[bs]

From-SVN: r50451

1 files changed, 137 insertions, 87 deletions

diff --git a/gcc/ada/opt.ads b/gcc/ada/opt.ads
index 5dcc8c7..66e239f 100644
--- a/gcc/ada/opt.ads
+++ b/gcc/ada/opt.ads
@@ -8,7 +8,7 @@
 --                                                                          --
 --                            $Revision$
 --                                                                          --
---          Copyright (C) 1992-2001, Free Software Foundation, Inc.         --
+--          Copyright (C) 1992-2002, 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- --
@@ -33,10 +33,10 @@
 --                                                                          --
 ------------------------------------------------------------------------------
 
---  This package contains global switches set by the initialization
+--  This package contains global flags set by the initialization
 --  routine from the command line and referenced throughout the compiler,
---  the binder or gnatmake. The comments indicate which options are used by
---  which programs (GNAT, GNATBIND, GNATMAKE).
+--  the binder, gnatmake or other GNAT tools. The comments indicate which
+--  options are used by which programs (GNAT, GNATBIND, GNATMAKE, etc).
 
 with Hostparm;       use Hostparm;
 with Types;          use Types;
@@ -56,7 +56,7 @@ package Opt is
    --  the default values.
 
    Ada_Bind_File : Boolean := True;
-   --  GNATBIND
+   --  GNATBIND, GNATLINK
    --  Set True if binder file to be generated in Ada rather than C
 
    Ada_95 : Boolean := True;
@@ -70,20 +70,12 @@ package Opt is
    --  Set False if operating in Ada 95 mode
 
    Ada_Final_Suffix : constant String := "final";
-   --  GNATBIND
-   --  The suffix of the name of the finalization procedure. This variable
-   --  may be modified by Gnatbind.Scan_Bind_Arg.
-
    Ada_Final_Name : String_Ptr := new String'("ada" & Ada_Final_Suffix);
    --  GNATBIND
    --  The name of the procedure that performs the finalization at the end of
    --  execution. This variable may be modified by Gnatbind.Scan_Bind_Arg.
 
    Ada_Init_Suffix : constant String := "init";
-   --  GNATBIND
-   --  The suffix of the name of the initialization procedure. This variable
-   --  may be modified by Gnatbind.Scan_Bind_Arg.
-
    Ada_Init_Name : String_Ptr := new String'("ada" & Ada_Init_Suffix);
    --  GNATBIND
    --  The name of the procedure that performs initialization at the start
@@ -117,6 +109,7 @@ package Opt is
    --  directly modified by gnatmake to affect the shared binder routines.
 
    Alternate_Main_Name : String_Ptr := null;
+   --  GNATBIND
    --  Set to non null when Bind_Alternate_Main_Name is True. This value
    --  is modified as needed by Gnatbind.Scan_Bind_Arg.
 
@@ -131,8 +124,8 @@ package Opt is
 
    Bind_Alternate_Main_Name : Boolean := False;
    --  GNATBIND
-   --  Set to True if main should be called Alternate_Main_Name.all. This
-   --  variable may be set to True by Gnatbind.Scan_Bind_Arg.
+   --  True if main should be called Alternate_Main_Name.all.
+   --  This variable may be set to True by Gnatbind.Scan_Bind_Arg.
 
    Bind_Main_Program : Boolean := True;
    --  GNATBIND
@@ -156,12 +149,12 @@ package Opt is
    Check_Object_Consistency : Boolean := False;
    --  GNATBIND, GNATMAKE
    --  Set to True to check whether every object file is consistent with
-   --  with its corresponding ada library information (ali) file. An object
-   --  file is inconsistent with the corresponding ali file if the object
-   --  file does not exist or if it has an older time stamp than the ali file.
+   --  its corresponding ada library information (ALI) file. An object
+   --  file is inconsistent with the corresponding ALI file if the object
+   --  file does not exist or if it has an older time stamp than the ALI file.
    --  Default above is for GNATBIND. GNATMAKE overrides this default to
-   --  True (see Make.Initialize) since we do not need to check source
-   --  consistencies in gnatmake in this sense.
+   --  True (see Make.Initialize) since we normally do need to check source
+   --  consistencies in gnatmake.
 
    Check_Only : Boolean := False;
    --  GNATBIND
@@ -172,7 +165,7 @@ package Opt is
    --  Set to True to check readonly files during the make process.
 
    Check_Source_Files : Boolean := True;
-   --  GNATBIND
+   --  GNATBIND, GNATMAKE
    --  Set to True to enable consistency checking for any source files that
    --  are present (i.e. date must match the date in the library info file).
    --  Set to False for object file consistency check only. This flag is
@@ -184,7 +177,13 @@ package Opt is
 
    Check_Unreferenced : Boolean := False;
    --  GNAT
-   --  Set to True to enable checking for unreferenced variables
+   --  Set to True to enable checking for unreferenced entities other
+   --  than formal parameters (for which see Check_Unreferenced_Formals)
+
+   Check_Unreferenced_Formals : Boolean := False;
+   --  GNAT
+   --  Set True to check for unreferenced formals. This is turned
+   --  on by -gnatwa/wf/wu and turned off by -gnatwA/wF/wU.
 
    Check_Withs : Boolean := False;
    --  GNAT
@@ -196,7 +195,7 @@ package Opt is
    --  Set to True to skip bind and link steps (except when Bind_Only is True)
 
    Compress_Debug_Names : Boolean := False;
-   --  GNATMAKE
+   --  GNAT
    --  Set to True if the option to compress debug information is set (-gnatC)
 
    Config_File : Boolean := True;
@@ -211,6 +210,11 @@ package Opt is
    --  GNAT
    --  Set to True to activate warnings on constant conditions
 
+   Create_Mapping_File : Boolean := False;
+   --  GNATMAKE
+   --  Set to True (-C switch) to indicate that gnatmake
+   --  invokes the compiler with a mapping file (-gnatem compiler switch).
+
    subtype Debug_Level_Value is Nat range 0 .. 3;
    Debugger_Level : Debug_Level_Value := 0;
    --  GNATBIND
@@ -229,7 +233,7 @@ package Opt is
    Display_Compilation_Progress : Boolean := False;
    --  GNATMAKE
    --  Set True (-d switch) to display information on progress while compiling
-   --  files. Internal switch to be used in conjunction with an IDE such as
+   --  files. Internal flag to be used in conjunction with an IDE such as
    --  Glide.
 
    type Distribution_Stub_Mode_Type is
@@ -271,12 +275,20 @@ package Opt is
    --  GNAT
    --  Set to True to generate full elaboration warnings (-gnatwl)
 
+   Enable_Overflow_Checks : Boolean := False;
+   --  GNAT
+   --  Set to True if -gnato (enable overflow checks) switch is set,
+   --  but not -gnatp.
+
    type Exception_Mechanism_Type is (Setjmp_Longjmp, Front_End_ZCX, GCC_ZCX);
+   pragma Convention (C, Exception_Mechanism_Type);
+
    Exception_Mechanism : Exception_Mechanism_Type := Setjmp_Longjmp;
    --  GNAT
    --  Set to the appropriate value depending on the default as given in
    --  system.ads (ZCX_By_Default, GCC_ZCX_Support, Front_End_ZCX_Support)
-   --  and the use of -gnatL -gnatZ (and -gnatdX)
+   --  and the use of -gnatL -gnatZ (and -gnatdX). The C convention is
+   --  there to make this variable accessible to gigi.
 
    Exception_Tracebacks : Boolean := False;
    --  GNATBIND
@@ -284,6 +296,8 @@ package Opt is
 
    Extensions_Allowed : Boolean := False;
    --  GNAT
+   --  Set to True by switch -gnatX if GNAT specific language extensions
+   --  are allowed. For example, "with type" is a GNAT extension.
 
    type External_Casing_Type is (
      As_Is,       -- External names cased as they appear in the Ada source
@@ -291,7 +305,8 @@ package Opt is
      Lowercase);  -- External names forced to all lowercase letters
 
    External_Name_Imp_Casing : External_Casing_Type := Lowercase;
-   --  The setting of this switch determines the casing of external names
+   --  GNAT
+   --  The setting of this flag determines the casing of external names
    --  when the name is implicitly derived from an entity name (i.e. either
    --  no explicit External_Name or Link_Name argument is used, or, in the
    --  case of extended DEC pragmas, the external name is given using an
@@ -299,7 +314,8 @@ package Opt is
    --  create Ada source programs that were case sensitive).
 
    External_Name_Exp_Casing : External_Casing_Type := As_Is;
-   --  The setting of this switch determines the casing of an external name
+   --  GNAT
+   --  The setting of this flag determines the casing of an external name
    --  specified explicitly with a string literal. As_Is means the string
    --  literal is used as given with no modification to the casing. If
    --  Lowercase or Uppercase is set, then the string is forced to all
@@ -326,7 +342,7 @@ package Opt is
 
    Force_ALI_Tree_File : Boolean := False;
    --  GNAT
-   --  Force generation of ali file even if errors are encountered.
+   --  Force generation of ALI file even if errors are encountered.
    --  Also forces generation of tree file if -gnatt is also set.
 
    Force_Compilations : Boolean := False;
@@ -337,7 +353,7 @@ package Opt is
    --  GNATBIND
    --  True if binding with forced RM elaboration order (-f switch set)
    --  Note: this is considered an obsolescent option, to be removed in
-   --  some future release. it is no longer documented. The proper way
+   --  some future release. It is no longer documented. The proper way
    --  to get this effect is to use -gnatE and suppress elab checks.
 
    Full_List : Boolean := False;
@@ -350,11 +366,11 @@ package Opt is
 
    GNAT_Mode : Boolean := False;
    --  GNAT
-   --  True if compiling in GNAT system mode (-g switch set)
+   --  True if compiling in GNAT system mode (-gnatg switch)
 
    HLO_Active : Boolean := False;
    --  GNAT
-   --  True if High Level Optimizer is activated
+   --  True if High Level Optimizer is activated (-gnatH switch)
 
    Implementation_Unit_Warnings : Boolean := True;
    --  GNAT
@@ -365,10 +381,12 @@ package Opt is
    --  GNAT
    --  This variable indicates the character set to be used for identifiers.
    --  The possible settings are:
-   --    '1'  Latin-1
-   --    '2'  Latin-2
-   --    '3'  Latin-3
-   --    '4'  Latin-4
+   --    '1'  Latin-5 (ISO-8859-1)
+   --    '2'  Latin-5 (ISO-8859-2)
+   --    '3'  Latin-5 (ISO-8859-3)
+   --    '4'  Latin-5 (ISO-8859-4)
+   --    '5'  Latin-5 (ISO-8859-5, Cyrillic)
+   --    '9'  Latin-5 (ISO-8859-9)
    --    'p'  PC (US, IBM page 437)
    --    '8'  PC (European, IBM page 850)
    --    'f'  Full upper set (all distinct)
@@ -438,19 +456,24 @@ package Opt is
    --  Set to True to skip compile and bind steps
    --  (except when Bind_Only is set to True).
 
+   List_Restrictions : Boolean := False;
+   --  GNATBIND
+   --  Set to True to list restrictions pragmas that could apply to partition
+
    List_Units : Boolean := False;
    --  GNAT
-   --  List units in the active library
+   --  List units in the active library for a compilation (-gnatu switch)
 
    List_Dependencies : Boolean := False;
    --  GNATMAKE
    --  When True gnatmake verifies that the objects are up to date and
-   --  outputs the list of object dependencies. This list can be used
-   --  directly in a Makefile.
+   --  outputs the list of object dependencies (-M switch).
+   --  Output depends if -a switch is used or not.
+   --  This list can be used directly in a Makefile.
 
    List_Representation_Info : Int range 0 .. 3 := 0;
    --  GNAT
-   --  Set true by -gnatR switch to list representation information.
+   --  Set non-zero by -gnatR switch to list representation information.
    --  The settings are as follows:
    --
    --    0 = no listing of representation information (default as above)
@@ -458,6 +481,29 @@ package Opt is
    --    2 = list rep info for all user defined types and objects
    --    3 = like 2, but variable fields are decoded symbolically
 
+   List_Representation_Info_To_File : Boolean := False;
+   --  GNAT
+   --  Set true by -gnatRs switch. Causes information from -gnatR/1/2/3
+   --  to be written to file.rep (where file is the name of the source
+   --  file) instead of stdout. For example, if file x.adb is compiled
+   --  using -gnatR2s then representation info is written to x.adb.ref.
+
+   type Creat_Repinfo_File_Proc is access procedure (Src : File_Name_Type);
+   type Write_Repinfo_Line_Proc is access procedure (Info : String);
+   type Close_Repinfo_File_Proc is access procedure;
+   --  Types used for procedure addresses below
+
+   Creat_Repinfo_File_Access : Creat_Repinfo_File_Proc := null;
+   Write_Repinfo_Line_Access : Write_Repinfo_Line_Proc := null;
+   Close_Repinfo_File_Access : Close_Repinfo_File_Proc := null;
+   --  GNAT
+   --  These three locations are left null when operating in non-compiler
+   --  (e.g. ASIS mode), but when operating in compiler mode, they are
+   --  set to point to the three corresponding procedures in Osint. The
+   --  reason for this slightly strange interface is to prevent Repinfo
+   --  from dragging in Osint in ASIS mode, which would include a lot of
+   --  unwanted units in the ASIS build.
+
    Locking_Policy : Character := ' ';
    --  GNAT
    --  Set to ' ' for the default case (no locking policy specified).
@@ -495,11 +541,11 @@ package Opt is
    --  Set to True if minimal recompilation mode requested.
 
    No_Stdlib : Boolean := False;
-   --  GNATMAKE
+   --  GNATMAKE, GNATBIND, GNATFIND, GNATXREF
    --  Set to True if no default library search dirs added to search list.
 
    No_Stdinc : Boolean := False;
-   --  GNATMAKE
+   --  GNAT, GNATBIND, GNATMAKE, GNATFIND, GNATXREF
    --  Set to True if no default source search dirs added to search list.
 
    No_Main_Subprogram : Boolean := False;
@@ -529,10 +575,11 @@ package Opt is
    --  after generating an error message.
 
    Output_File_Name_Present : Boolean := False;
-   --  GNATBIND, GNAT
+   --  GNATBIND, GNAT, GNATMAKE
    --  Set to True when the output C file name is given with option -o
-   --  for GNATBIND or when the object file name is given with option
-   --  -gnatO for GNAT.
+   --  for GNATBIND, when the object file name is given with option
+   --  -gnatO for GNAT or when the executable is given with option -o
+   --  for GNATMAKE.
 
    Output_Linker_Option_List : Boolean := False;
    --  GNATBIND
@@ -564,7 +611,7 @@ package Opt is
 
    Queuing_Policy : Character := ' ';
    --  GNAT
-   --  Set to ' ' for the default case (no queuing policy specified). Reset to
+   --  Set to ' ' for the default case (no queuing policy specified).
    --  Reset to first character (uppercase) of locking policy name if a valid
    --  Queuing_Policy pragma is encountered.
 
@@ -572,18 +619,15 @@ package Opt is
    --  GNATMAKE
    --  Set to True if the list of compilation commands should not be output.
 
+   RTS_Switch : Boolean := False;
+   --  GNAT, GNATMAKE, GNATBIND, GNATLS, GNATFIND, GNATXREF
+   --  Set to True when the --RTS switch is set
+
    Shared_Libgnat : Boolean;
    --  GNATBIND
    --  Set to True if a shared libgnat is requested by using the -shared
    --  option for GNATBIND and to False when using the -static option. The
-   --  value of this switch is set by Gnatbind.Scan_Bind_Arg.
-
-   Software_Overflow_Checking : Boolean;
-   --  GNAT
-   --  Set to True by Osint.Initialize if the target requires the software
-   --  approach to integer arithmetic overflow checking (i.e. the use of
-   --  double length arithmetic followed by a range check). Set to False
-   --  if the target implements hardware overflow checking.
+   --  value of this flag is set by Gnatbind.Scan_Bind_Arg.
 
    Stack_Checking_Enabled : Boolean;
    --  GNAT
@@ -594,17 +638,6 @@ package Opt is
    --  in the gcc backend (see Frontend) and may be referenced throughout
    --  the compilation phases.
 
-   Strict_Math : aliased Boolean := False;
-   --  GNAT
-   --  This switch is set True if the current unit is to be compiled in
-   --  strict math mode. The effect is to cause certain library file name
-   --  substitutions to implement strict math semantics. See the routine
-   --  Adjust_File_Name_For_Configuration, and also the configuration
-   --  in the body of Opt.
-   --
-   --  Note: currently this switch is always False. Eventually it will be
-   --  settable by a switch and a configuration pragma.
-
    Style_Check : Boolean := False;
    --  GNAT
    --  Set True to perform style checks. Activates checks carried out
@@ -618,9 +651,14 @@ package Opt is
    --  be located as Chars (Expression (System_Extend_Pragma_Arg)).
 
    Subunits_Missing : Boolean := False;
+   --  GNAT
    --  This flag is set true if missing subunits are detected with code
    --  generation active. This causes code generation to be skipped.
 
+   Suppress_Checks : Boolean := False;
+   --  GNAT
+   --  Set to True if -gnatp (suppress all checks) switch present.
+
    Suppress_Options : Suppress_Record;
    --  GNAT
    --  Flags set True to suppress corresponding check, i.e. add an implicit
@@ -629,6 +667,7 @@ package Opt is
    --  pragma. This variable is initialized by Osint.Initialize.
 
    Table_Factor : Int := 1;
+   --  GNAT
    --  Factor by which all initial table sizes set in Alloc are multiplied.
    --  Used in Table to calculate initial table sizes (the initial table
    --  size is the value in Alloc, used as the Table_Initial parameter
@@ -643,34 +682,38 @@ package Opt is
 
    Tasking_Used : Boolean := False;
    --  Set True if any tasking construct is encountered. Used to activate the
-   --  output of the Q, L and T lines in ali files.
+   --  output of the Q, L and T lines in ALI files.
 
    Time_Slice_Set : Boolean := False;
+   --  GNATBIND
    --  Set True if a pragma Time_Slice is processed in the main unit, or
-   --  if the T switch is present to set a time slice value.
+   --  if the -gnatTnn switch is present to set a time slice value.
 
    Time_Slice_Value : Nat;
+   --  GNATBIND
    --  Time slice value. Valid only if Time_Slice_Set is True, i.e. if a
    --  Time_Slice pragma has been processed. Set to the time slice value
    --  in microseconds. Negative values are stored as zero, and the value
    --  is not larger than 1_000_000_000 (1000 seconds). Values larger than
-   --  this are reset to this maximum.
+   --  this are reset to this maximum. This can also be set with the -gnatTnn
+   --  switch.
 
    Tolerate_Consistency_Errors : Boolean := False;
    --  GNATBIND
-   --  Tolerate time stamp and other consistency errors. If this switch is
-   --  set true, then inconsistencies result in warnings rather than errors.
+   --  Tolerate time stamp and other consistency errors. If this flag is
+   --  set to True (-t), then inconsistencies result in warnings rather than
+   --  errors.
 
    Tree_Output : Boolean := False;
    --  GNAT
-   --  Set True to generate output tree file
+   --  Set to True (-gnatt) to generate output tree file
 
    Try_Semantics : Boolean := False;
    --  GNAT
    --  Flag set to force attempt at semantic analysis, even if parser errors
    --  occur. This will probably cause blowups at this stage in the game. On
    --  the other hand, most such blowups will be caught cleanly and simply
-   --  say compilation abandoned.
+   --  say compilation abandoned. This flag is set to True by -gnatq or -gnatQ.
 
    Unique_Error_Tag : Boolean := Tag_Errors;
    --  GNAT
@@ -693,23 +736,26 @@ package Opt is
 
    Usage_Requested : Boolean := False;
    --  GNAT, GNATBIND, GNATMAKE
-   --  Set to True if h switch encountered requesting usage information
+   --  Set to True if -h (-gnath for the compiler) switch encountered
+   --  requesting usage information
 
    Use_VADS_Size : Boolean := False;
    --  GNAT
    --  Set to True if a valid pragma Use_VADS_Size is processed
 
    Validity_Checks_On  : Boolean := True;
+   --  GNAT
    --  This flag determines if validity checking is on or off. The initial
    --  state is on, and the required default validity checks are active. The
    --  actual set of checks that is performed if Validity_Checks_On is set
    --  is defined by the switches in package Sem_Val. The Validity_Checks_On
-   --  switch is controlled by pragma Validity_Checks (On | Off), and also
+   --  flag is controlled by pragma Validity_Checks (On | Off), and also
    --  some generated compiler code (typically code that has to do with
-   --  validity check generation) is compiled with this switch set to False.
+   --  validity check generation) is compiled with this flag set to False.
+   --  This flag is set to False by the -gnatp switch.
 
    Verbose_Mode : Boolean := False;
-   --  GNAT, GNATBIND
+   --  GNAT, GNATBIND, GNATMAKE, GNATLINK, GNATLS, GNATCHOP, GNATNAME
    --  Set to True to get verbose mode (full error message text and location
    --  information sent to standard output, also header, copyright and summary)
 
@@ -719,6 +765,11 @@ package Opt is
    --  in a manner inconsistent with unbiased rounding (round to even). Can
    --  be modified by use of -gnatwb/B.
 
+   Warn_On_Dereference : Boolean := False;
+   --  GNAT
+   --  Set to True to generate warnings for implicit dereferences for array
+   --  indexing and record component access. Modified by use of -gnatwd/D.
+
    Warn_On_Hiding : Boolean := False;
    --  GNAT
    --  Set to True to generate warnings if a declared entity hides another
@@ -745,12 +796,12 @@ package Opt is
    --  recognized in source programs regardless of the setting of this
    --  variable. The default setting causes only the brackets notation
    --  to be recognized. If this is the main unit, this setting also
-   --  controls the output of the W=? parameter in the ali file, which
+   --  controls the output of the W=? parameter in the ALI file, which
    --  is used to provide the default for Wide_Text_IO files.
 
    Xref_Active : Boolean := True;
    --  GNAT
-   --  Set if cross-referencing is enabled (i.e. xref info in ali files)
+   --  Set if cross-referencing is enabled (i.e. xref info in ALI files)
 
    Zero_Cost_Exceptions_Val : Boolean;
    Zero_Cost_Exceptions_Set : Boolean := False;
@@ -759,7 +810,6 @@ package Opt is
    --  handling mode set by argument switches (-gnatZ/-gnatL). If the
    --  value is set by one of these switches, then Zero_Cost_Exceptions_Set
    --  is set to True, and Zero_Cost_Exceptions_Val indicates the setting.
-   --  This value is used to reset ZCX_By_Default_On_Target.
 
    ----------------------------
    -- Configuration Settings --
@@ -776,7 +826,7 @@ package Opt is
    --  by the command line switch -gnat83, and possibly modified by the use
    --  of configuration pragmas Ada_95 and Ada_83 in the gnat.adc file. This
    --  switch is used to set the initial value for Ada_83 mode at the start
-   --  of analysis of a unit. Note however, that the setting of this switch
+   --  of analysis of a unit. Note however, that the setting of this flag
    --  is ignored for internal and predefined units (which are always compiled
    --  in Ada 95 mode).
 
@@ -787,7 +837,7 @@ package Opt is
 
    Extensions_Allowed_Config : Boolean;
    --  GNAT
-   --  This is the switch that indicates whether extensions are allowed.
+   --  This is the flag that indicates whether extensions are allowed.
    --  It can be set True either by use of the -gnatX switch, or by use
    --  of the configuration pragma Extensions_Allowed (On). It is always
    --  set to True for internal GNAT units, since extensions are always
@@ -799,9 +849,9 @@ package Opt is
    --  of external symbols for which an explicit external name is given. It
    --  can be set to Uppercase by the command line switch -gnatF, and further
    --  modified by the use of the configuration pragma External_Name_Casing
-   --  in the gnat.adc file. This switch is used to set the initial value
+   --  in the gnat.adc file. This flag is used to set the initial value
    --  for External_Name_Exp_Casing at the start of analyzing each unit.
-   --  Note however that the setting of this switch is ignored for internal
+   --  Note however that the setting of this flag is ignored for internal
    --  and predefined units (which are always compiled with As_Is mode).
 
    External_Name_Imp_Casing_Config : External_Casing_Type;
@@ -810,9 +860,9 @@ package Opt is
    --  of external symbols where the external name is implicitly given. It
    --  can be set to Uppercase by the command line switch -gnatF, and further
    --  modified by the use of the configuration pragma External_Name_Casing
-   --  in the gnat.adc file. This switch is used to set the initial value
+   --  in the gnat.adc file. This flag is used to set the initial value
    --  for External_Name_Imp_Casing at the start of analyzing each unit.
-   --  Note however that the setting of this switch is ignored for internal
+   --  Note however that the setting of this flag is ignored for internal
    --  and predefined units (which are always compiled with Lowercase mode).
 
    Polling_Required_Config : Boolean;
@@ -820,7 +870,7 @@ package Opt is
    --  This is the value of the configuration switch that controls polling
    --  mode. It can be set True by the command line switch -gnatP, and then
    --  further modified by the use of pragma Polling in the gnat.adc file.
-   --  This switch is used to set the initial value for Polling_Required
+   --  This flag is used to set the initial value for Polling_Required
    --  at the start of analyzing each unit.
 
    Use_VADS_Size_Config : Boolean;
@@ -828,9 +878,9 @@ package Opt is
    --  This is the value of the configuration switch that controls the use
    --  of VADS_Size instead of Size whereever the attribute Size is used.
    --  It can be set True by the use of the pragma Use_VADS_Size in the
-   --  gnat.adc file. This switch is used to set the initial value for
+   --  gnat.adc file. This flag is used to set the initial value for
    --  Use_VADS_Size at the start of analyzing each unit. Note however that
-   --  the setting of this switch is ignored for internal and predefined
+   --  the setting of this flag is ignored for internal and predefined
    --  units (which are always compiled with the standard Size semantics).
 
    type Config_Switches_Type is private;