summaryrefslogtreecommitdiff
path: root/gcc/ada
diff options
context:
space:
mode:
authorJavier Miranda <miranda@adacore.com>2019-12-18 07:14:44 +0000
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>2019-12-18 07:14:44 +0000
commit1198a9351f6a5e77a9b02c96afddb1c663cedae9 (patch)
treedda5211247f88318702577b9a536fad6472d706d /gcc/ada
parentfa1072e7255460c43690132ede6f74027bd8d1da (diff)
[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
Diffstat (limited to 'gcc/ada')
-rw-r--r--gcc/ada/ChangeLog5
-rw-r--r--gcc/ada/debug.adb5
2 files changed, 9 insertions, 1 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 1700070214c..75a7c75b19b 100644
--- 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 6a5d0eaebea..032d88ad3c2 100644
--- 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