===================================================================
@@ -99,13 +99,6 @@
CStand.Create_Standard;
- -- If the -gnatd.H flag is present, we are only interested in the Standard
- -- package, so the frontend has done its job here.
-
- if Debug_Flag_Dot_HH then
- return;
- end if;
-
-- Check possible symbol definitions specified by -gnateD switches
Prepcomp.Process_Command_Line_Symbol_Definitions;
===================================================================
@@ -125,16 +125,16 @@
-- d.E
-- d.F SPARK mode
-- d.G Frame condition mode for gnat2why
- -- d.H Standard package only mode for gnat2why
+ -- d.H
-- d.I Do not ignore enum representation clauses in CodePeer mode
-- d.J Disable parallel SCIL generation mode
- -- d.K SPARK check mode for gnat2why
+ -- d.K
-- d.L Depend on back end for limited types in if and case expressions
-- d.M Relaxed RM semantics
-- d.N Add node to all entities
-- d.O Dump internal SCO tables
-- d.P Previous (non-optimized) handling of length comparisons
- -- d.Q Flow Analysis mode for gnat2why
+ -- d.Q
-- d.R Restrictions in ali files in positional form
-- d.S Force Optimize_Alignment (Space)
-- d.T Force Optimize_Alignment (Time)
@@ -143,7 +143,7 @@
-- d.W Print out debugging information for Walk_Library_Items
-- d.X
-- d.Y
- -- d.Z Dump flow analysis graphs, for debugging purposes (gnat2why)
+ -- d.Z
-- d1 Error msgs have node numbers where possible
-- d2 Eliminate error flags in verbose form error messages
@@ -596,7 +596,7 @@
-- d.D SPARK strict mode. Interpret compiler permissions as strictly as
-- possible in SPARK mode.
-
+ --
-- d.F SPARK mode. Generate AST in a form suitable for formal
-- verification, as well as additional cross reference information in
-- ALI files to compute effects of subprograms. Note that ALI files
@@ -606,10 +606,6 @@
-- generate Why code. Instead, it generates ALI files with an extra
-- section which contains the effects of subprograms.
- -- d.H Standard package only mode for gnat2why. In this mode, gnat2why
- -- will only generate Why code for package Standard. Any given input
- -- file will be ignored.
-
-- d.I Do not ignore enum representation clauses in CodePeer mode.
-- The default of ignoring representation clauses for enumeration
-- types in CodePeer is good for the majority of Ada code, but in some
@@ -620,9 +616,6 @@
-- done in parallel to speed processing. This switch disables this
-- behavior.
- -- d.K SPARK check mode for gnat2why. In this mode, gnat2why does not
- -- generate Why code.
-
-- d.L Normally the front end generates special expansion for conditional
-- expressions of a limited type. This debug flag removes this special
-- case expansion, leaving it up to the back end to handle conditional
@@ -644,9 +637,6 @@
-- This is there in case we find a situation where the optimization
-- malfunctions, to provide a work around.
- -- d.Q Flow Analysis mode for gnat2why. When this flag is given,
- -- gnat2why will do flow analysis, and no translation to Why is done.
-
-- d.R As documented in lib-writ.ads, restrictions in the ali file can
-- have two forms, positional and named. The named notation is the
-- current preferred form, but the use of this debug switch will force
@@ -671,11 +661,6 @@
-- the order in which units are walked. This is primarily for use in
-- debugging CodePeer mode.
- -- d.Z In gnat2why, in Flow analysis mode (-gnatd.Q), dump the different
- -- graphs (control flow, control dependence) for debugging purposes.
- -- This debug flag will be removed when flow analysis is sufficiently
- -- stable.
-
-- d.Y Prevents the use of the N_Expression_With_Actions node even in the
-- case of the gcc back end. Provided as a back up in case the new
-- scheme has problems.