]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Add No_Use_Of_Attribute & No_Use_Of_Pragma to gnat_rm
authorViljar Indus <indus@adacore.com>
Thu, 1 Jun 2023 12:58:49 +0000 (15:58 +0300)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 4 Jul 2023 08:08:28 +0000 (10:08 +0200)
commit73918baf49f6d31d349e43e39cd11ca4fb074fce
tree3fe10cfda2c9ad4bf146f7b4ec60d25a5f467119
parente3f9dc2795eccfae4bf878ff6b29d50ff5139011
ada: Add No_Use_Of_Attribute & No_Use_Of_Pragma to gnat_rm

gcc/ada/

* doc/gnat_rm/standard_and_implementation_defined_restrictions.rst:
add No_Use_Of_Attribute & No_Use_Of_Pragma restrictions.
* gnat_rm.texi: Regenerate.
* gnat_ugn.texi: Regenerate.
gcc/ada/doc/gnat_rm/standard_and_implementation_defined_restrictions.rst
gcc/ada/gnat_rm.texi
gcc/ada/gnat_ugn.texi