This patch documents that switch -gnatd_K is reserved to enable
machinery that detects known problem issues of previous releases.
Tested on x86_64-pc-linux-gnu, committed on trunk
2019-12-18 Javier Miranda <mira...@adacore.com>
gcc/ada/
* debug.adb: Document -gnatd_K as a reserved switch for the
detection of known problem issues of previous releases.--- gcc/ada/debug.adb
+++ gcc/ada/debug.adb
@@ -182,7 +182,7 @@ package body Debug is
-- d_H
-- d_I
-- d_J
- -- d_K
+ -- d_K (Reserved) Enable reporting a warning on known-problem issues
-- d_L Output trace information on elaboration checking
-- d_M
-- d_N
@@ -1007,6 +1007,9 @@ package body Debug is
-- an external target, offering additional information to GNATBIND for
-- purposes of error diagnostics.
+ -- d_K (Reserved) Enable reporting a warning on known-problem issues of
+ -- previous releases. No action performed in the wavefront.
+
-- d_L Output trace information on elaboration checking. This debug switch
-- causes output to be generated showing each call or instantiation as
-- it is checked, and the progress of the recursive trace through
