[Ada] Reserving switch d_K for known problem isssues detection

2019-12-18  Javier Miranda  <miranda@adacore.com>

gcc/ada/

	* debug.adb: Document -gnatd_K as a reserved switch for the
	detection of known problem issues of previous releases.

From-SVN: r279510

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 1700070..75a7c75 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,8 @@
+2019-12-18  Javier Miranda  <miranda@adacore.com>
+
+       * debug.adb: Document -gnatd_K as a reserved switch for the
+       detection of known problem issues of previous releases.
+
 2019-12-18  Ghjuvan Lacambre  <lacambre@adacore.com>
 
        * par-ch13.adb: Check if declarations allow aspect

diff --git a/gcc/ada/debug.adb b/gcc/ada/debug.adb
index 6a5d0ea..032d88a 100644 (file)
--- a/gcc/ada/debug.adb
+++ b/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