diff options
| author | Yannick Moy <moy@adacore.com> | 2018-05-23 10:23:14 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-05-23 10:23:14 +0000 |
| commit | 5e1c231ec79d0a772c24cb299f88d10ba076e9f2 (patch) | |
| tree | 37ee9b20ecdedd216fed591eb2444bdbe658b234 /gcc/ada/doc | |
| parent | b682fcf0d9c3c221c4adfdd0b077504c6ac0a8fc (diff) | |
| download | gcc-5e1c231ec79d0a772c24cb299f88d10ba076e9f2.zip gcc-5e1c231ec79d0a772c24cb299f88d10ba076e9f2.tar.gz gcc-5e1c231ec79d0a772c24cb299f88d10ba076e9f2.tar.bz2 | |
[Ada] Clarify meaning of local pragma Warnings Off without On
A local use of pragma Warnings Off to suppress specific messages, when
not followed by a matching pragma Warnings On, extends until the end of
the file.
2018-05-23 Yannick Moy <moy@adacore.com>
gcc/ada/
* doc/gnat_rm/implementation_defined_pragmas.rst: Clarify meaning of
local pragma Warnings Off without On.
* gnat_rm.texi: Regenerate.
From-SVN: r260589
Diffstat (limited to 'gcc/ada/doc')
| -rw-r--r-- | gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst index c3a1ec4..73d7db8 100644 --- a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst +++ b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst @@ -7456,6 +7456,10 @@ In this usage, the pattern string must match in the Off and On pragmas, and (if *-gnatw.w* is given) at least one matching warning must be suppressed. +Note: if the ON form is not found, then the effect of the OFF form extends +until the end of the file (pragma Warnings is purely textual, so its effect +does not stop at the end of the enclosing scope). + Note: to write a string that will match any warning, use the string ``"***"``. It will not work to use a single asterisk or two asterisks since this looks like an operator name. This form with three |