From: Javier Miranda Date: Wed, 18 Dec 2019 07:14:44 +0000 (+0000) Subject: [Ada] Reserving switch d_K for known problem isssues detection X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1198a9351f6a5e77a9b02c96afddb1c663cedae9;p=gcc.git [Ada] Reserving switch d_K for known problem isssues detection 2019-12-18 Javier Miranda 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 1700070214c..75a7c75b19b 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,8 @@ +2019-12-18 Javier Miranda + + * debug.adb: Document -gnatd_K as a reserved switch for the + detection of known problem issues of previous releases. + 2019-12-18 Ghjuvan Lacambre * 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