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 | |
| 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
| -rw-r--r-- | gcc/ada/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst | 4 | ||||
| -rw-r--r-- | gcc/ada/gnat_rm.texi | 4 |
3 files changed, 14 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 92bfea2..1f91142 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,9 @@ +2018-05-23 Yannick Moy <moy@adacore.com> + + * doc/gnat_rm/implementation_defined_pragmas.rst: Clarify meaning of + local pragma Warnings Off without On. + * gnat_rm.texi: Regenerate. + 2018-05-23 Olivier Hainque <hainque@adacore.com> * libgnat/g-excact.ads (Is_Foreign_Exception): New predicate. 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 diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi index f4b7f94..a0c7575 100644 --- a/gcc/ada/gnat_rm.texi +++ b/gcc/ada/gnat_rm.texi @@ -8893,6 +8893,10 @@ In this usage, the pattern string must match in the Off and On pragmas, and (if @emph{-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 @code{"***"}. It will not work to use a single asterisk or two asterisks since this looks like an operator name. This form with three |