[Ada] Reserving switch d_K for known problem isssues detection

Message ID 20191218072800.GA102825@adacore.com
State New
Headers show
Series
  • [Ada] Reserving switch d_K for known problem isssues detection
Related show

Commit Message

Pierre-Marie de Rodat Dec. 18, 2019, 7:28 a.m.
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  <miranda@adacore.com>

gcc/ada/

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

Patch

--- 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