diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2020-06-22 02:59:37 -0400 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-10-15 05:39:07 -0400 |
| commit | acc1708cf088b47919785e6a50fa7a636b3fb82b (patch) | |
| tree | cc9e63ebe789d3cb1661f377693d0c80c5c98698 /gcc/ada/debug.adb | |
| parent | c2c8f0d0428e178120f78ae62107dd608cf8ccfd (diff) | |
| download | gcc-acc1708cf088b47919785e6a50fa7a636b3fb82b.zip gcc-acc1708cf088b47919785e6a50fa7a636b3fb82b.tar.gz gcc-acc1708cf088b47919785e6a50fa7a636b3fb82b.tar.bz2 | |
[Ada] Warn on unknown aspect
gcc/ada/
* par-ch13.adb (Get_Aspect_Specifications): Generate a warning
rather than an error on unknown aspects unless -gnatd2 is used.
(Aspect_Specifications_Present): Improve detection of unknown
aspects.
* debug.adb (Debug_Flag_2): Update document.
Diffstat (limited to 'gcc/ada/debug.adb')
| -rw-r--r-- | gcc/ada/debug.adb | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/ada/debug.adb b/gcc/ada/debug.adb index 0e4a530..bbdaf3b 100644 --- a/gcc/ada/debug.adb +++ b/gcc/ada/debug.adb @@ -1032,6 +1032,9 @@ package body Debug is -- flag also suppresses the additional messages explaining why a -- non-static expression is non-static (see Sem_Eval.Why_Not_Static). -- This avoids having to worry about these messages in ACATS testing. + -- Finally, this flag is also used for strict legality check, in + -- particular it will generate an error instead a warning when + -- encountering an unknown pragma. -- d3 Causes Comperr to dump the contents of the node for which an abort -- was detected (normally only the Node_Id of the node is output). |