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 | |
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')
-rw-r--r-- | gcc/ada/debug.adb | 5 | ||||
-rw-r--r-- | gcc/ada/err_vars.ads | 2 | ||||
-rw-r--r-- | gcc/ada/errout.ads | 2 | ||||
-rw-r--r-- | gcc/ada/gnat1drv.adb | 6 | ||||
-rw-r--r-- | gcc/ada/hostparm.ads | 5 | ||||
-rw-r--r-- | gcc/ada/opt.ads | 3 |
6 files changed, 17 insertions, 6 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. diff --git a/gcc/ada/err_vars.ads b/gcc/ada/err_vars.ads index 0dd7c7f..366df62 100644 --- a/gcc/ada/err_vars.ads +++ b/gcc/ada/err_vars.ads @@ -89,7 +89,7 @@ package Err_Vars is -- Source_Reference line, then this is initialized to No_Source_File, -- to force an initial reference to the real source file name. - Warning_Doc_Switch : Boolean := False; + Warning_Doc_Switch : Boolean := True; -- If this is set True, then the ??/?x?/?x? sequences in error messages -- are active (see errout.ads for details). If this switch is False, then -- these sequences are ignored (i.e. simply equivalent to a single ?). The diff --git a/gcc/ada/errout.ads b/gcc/ada/errout.ads index 0a4ad62..1e34bc5 100644 --- a/gcc/ada/errout.ads +++ b/gcc/ada/errout.ads @@ -519,7 +519,7 @@ package Errout is -- The prefixes error and warning are supplied automatically (depending -- on the use of the ? insertion character), and the call to the error -- message routine supplies the text. The "error: " prefix is omitted - -- in brief error message formats. + -- if -gnatd_U is among the options given to gnat. -- Reserved Ada keywords in the message are in the default keyword case -- (determined from the given source program), surrounded by quotation diff --git a/gcc/ada/gnat1drv.adb b/gcc/ada/gnat1drv.adb index 7177533..59b9595 100644 --- a/gcc/ada/gnat1drv.adb +++ b/gcc/ada/gnat1drv.adb @@ -153,6 +153,12 @@ procedure Gnat1drv is Map_Pragma_Name (From => Name_Gnat_Annotate, To => Name_Annotate); + -- -gnatd_U disables prepending error messages with "error:" + + if Debug_Flag_Underscore_UU then + Unique_Error_Tag := False; + end if; + -- -gnatd.M enables Relaxed_RM_Semantics if Debug_Flag_Dot_MM then diff --git a/gcc/ada/hostparm.ads b/gcc/ada/hostparm.ads index da0fbe4..4d128cc 100644 --- a/gcc/ada/hostparm.ads +++ b/gcc/ada/hostparm.ads @@ -56,9 +56,10 @@ package Hostparm is -- of file names in the library, must be at least Max_Line_Length, but -- can be larger. - Tag_Errors : constant Boolean := False; + Tag_Errors : constant Boolean := True; -- If set to true, then brief form error messages will be prefaced by - -- the string "error:". Used as default for Opt.Unique_Error_Tag. + -- the string "error:". Used as default for Opt.Unique_Error_Tag. Disabled + -- by gnatd_U. Exclude_Missing_Objects : constant Boolean := True; -- If set to true, gnatbind will exclude from consideration all diff --git a/gcc/ada/opt.ads b/gcc/ada/opt.ads index 827bbef..99626e9 100644 --- a/gcc/ada/opt.ads +++ b/gcc/ada/opt.ads @@ -1651,7 +1651,8 @@ package Opt is Unique_Error_Tag : Boolean := Tag_Errors; -- GNAT -- Indicates if error messages are to be prefixed by the string error: - -- Initialized from Tag_Errors, can be forced on with the -gnatU switch. + -- Initialized from Tag_Errors, can be forced on with the -gnatU switch and + -- disabled with -gnatd_U. Unnest_Subprogram_Mode : Boolean := False; -- If true, activates the circuitry for unnesting subprograms (see the spec |