diff options
| author | Ghjuvan Lacambre <lacambre@adacore.com> | 2021-02-10 15:52:34 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-06-21 06:45:06 -0400 |
| commit | 805f081980883d3c4fd3b90dc3baadd529c86839 (patch) | |
| tree | 8bbc168ee6962d326947160cccc65babfc5246d9 /gcc/ada/debug.adb | |
| parent | 08c9ef089fdbe19e648016db7cb4c9fdd665bccc (diff) | |
| download | gcc-805f081980883d3c4fd3b90dc3baadd529c86839.zip gcc-805f081980883d3c4fd3b90dc3baadd529c86839.tar.gz gcc-805f081980883d3c4fd3b90dc3baadd529c86839.tar.bz2 | |
[Ada] Make -gnatU and -gnatw.d the default
gcc/ada/
* debug.adb: Document -gnatd_U as taken.
* err_vars.ads (Warning_Doc_Switch): Set to True.
* errout.ads (Errout): Update documentation.
* gnat1drv.adb (Adjust_Global_Switches): React to -gnatd_U.
* hostparm.ads (Tag_Errors): Set to True.
* opt.ads (Unique_Error_Tag): Document -gnatd_U.
Diffstat (limited to 'gcc/ada/debug.adb')
| -rw-r--r-- | gcc/ada/debug.adb | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/gcc/ada/debug.adb b/gcc/ada/debug.adb index 0694f23..3f1fa55 100644 --- a/gcc/ada/debug.adb +++ b/gcc/ada/debug.adb @@ -186,7 +186,7 @@ package body Debug is -- d_R -- d_S -- d_T Output trace information on invocation path recording - -- d_U + -- d_U Disable prepending messages with "error:". -- d_V Enable verifications on the expanded tree -- d_W -- d_X @@ -1017,6 +1017,9 @@ package body Debug is -- d_T The compiler outputs trace information to standard output whenever -- an invocation path is recorded. + -- d_U Disable prepending 'error:' to error messages. This used to be the + -- default and can be seen as the opposite of -gnatU. + -- d_V Enable verification of the expanded code before calling the backend -- and generate error messages on each inconsistency found. |