[Ada] Clarify meaning of local pragma Warnings Off without On
authorYannick Moy <moy@adacore.com>
Wed, 23 May 2018 10:23:14 +0000 (10:23 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Wed, 23 May 2018 10:23:14 +0000 (10:23 +0000)
commit5e1c231ec79d0a772c24cb299f88d10ba076e9f2
tree37ee9b20ecdedd216fed591eb2444bdbe658b234
parentb682fcf0d9c3c221c4adfdd0b077504c6ac0a8fc
[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
gcc/ada/ChangeLog
gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst
gcc/ada/gnat_rm.texi