diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/ada/debug.adb | 5 |
2 files changed, 9 insertions, 1 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 1700070..75a7c75 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 6a5d0ea..032d88a 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 |