-- dU Enable garbage collection of unreachable entities
-- dV Enable viewing of all symbols in debugger
-- dW Disable warnings on calls for IN OUT parameters
- -- dX
+ -- dX Display messages on reads of potentially uninitialized scalars
-- dY Enable configurable run-time mode
-- dZ Generate listing showing the contents of the dispatch tables
-- d.f Inhibit folding of static expressions
-- d.g Enable conversion of raise into goto
-- d.h
- -- d.i
+ -- d.i Ignore Warnings pragmas
-- d.j
-- d.k
-- d.l Use Ada 95 semantics for limited function returns
-- d.m For -gnatl, print full source only for main unit
- -- d.n
+ -- d.n Print source file names
-- d.o
-- d.p
-- d.q
-- d.F
-- d.G
-- d.H
- -- d.I Inspector mode
- -- d.J
+ -- d.I SCIL generation mode
+ -- d.J Parallel SCIL generation mode
-- d.K
-- d.L
-- d.M
-- d.N
- -- d.O
+ -- d.O Dump internal SCO tables
-- d.P
-- d.Q
-- d.R
-- d.T Force Optimize_Alignment (Time)
-- d.U
-- d.V
- -- d.W
+ -- d.W Print out debugging information for Walk_Library_Items
-- d.X
-- d.Y
-- d.Z
-- dc
-- dd
-- de
- -- df
+ -- df Only output file names, not path names, in log
-- dg
-- dh
-- di
-- in preelaborable packages, but this restriction is a huge pain,
-- especially in the predefined library units.
- -- dQ needs full documentation ???
-
-- dR Bypass the check for a proper version of s-rpc being present
-- to use the -gnatz? switch. This allows debugging of the use
-- of stubs generation without needing to have GLADE (or some
-- this if this debug flag is set. Later we will enable this more
-- generally by default.
+ -- d.i Ignore all occurrences of pragma Warnings in the sources. This can
+ -- be used in particular to disable Warnings (Off) to check if any of
+ -- these statements are inappropriate.
+
-- d.l Use Ada 95 semantics for limited function returns. This may be
-- used to work around the incompatibility introduced by AI-318-2.
-- It is useful only in -gnat05 mode.
-- main source (this corresponds to a previous behavior of -gnatl and
-- is used for running the ACATS tests).
+ -- d.n Print source file names as they are loaded. This is useful if the
+ -- compiler has a bug -- these are the files that need to be included
+ -- in a bug report.
+
-- d.r Forces the flag OK_To_Reorder_Components to be set in all record
-- base types that have no discriminants.
-- d.C Generate call to System.Concat_n.Str_Concat_n routines in cases
-- where we would normally generate inline concatenation code.
- -- d.I Inspector mode. Relevant for VM_Target /= None. Try to generate
- -- byte code, even in case of unsupported construct, for the sake
- -- of static analysis tools.
+ -- d.I Generate SCIL mode. Generate intermediate code for the sake of
+ -- of static analysis tools, and ensure additional tree consistency
+ -- between different compilations of specs.
+
+ -- d.J Ensure the SCIL generated is compatible with parallel builds.
+ -- This means in particular not writing the same files under the
+ -- same directory.
+
+ -- d.O Dump internal SCO tables. Before outputting the SCO information to
+ -- the ALI file, the internal SCO tables (SCO_Table/SCO_Unit_Table)
+ -- are dumped for debugging purposes.
-- d.S Force Optimize_Alignment (Space) mode as the default
-- d.T Force Optimize_Alignment (Time) mode as the default
+ -- d.W Print out debugging information for Walk_Library_Items, including
+ -- the order in which units are walked. This is primarily for SofCheck
+ -- Inspector.
+
-- d1 Error messages have node numbers where possible. Normally error
-- messages have only source locations. This option is useful when
-- debugging errors caused by expanded code, where the source location
-- be listed, and is useful when diagnosing circularities introduced
-- by incorrect changes to the run-time library itself.
+ -- db Output debug information from Better_Choice in Binde, which uses
+ -- various heuristics to determine elaboration order in cases where
+ -- multiple orders are valid.
+
-- dc List units as they are chosen. As units are selected for addition to
-- the elaboration order, a line of output is generated showing which
-- unit has been selected.
OSDN Git Service
