]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Document examples of No_Dependence restriction for code generation
authorEric Botcazou <ebotcazou@adacore.com>
Fri, 20 Jan 2023 11:48:16 +0000 (12:48 +0100)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 16 May 2023 08:30:56 +0000 (10:30 +0200)
commit5c6e261645296b9175c5bbd6d5bf6341cc80bdd0
treeacb3e81de867fd550e07dfe6b16a450761f34aaa
parent05c1e15f9faad6c59c8e82e665c7cbcf8b8d7a40
ada: Document examples of No_Dependence restriction for code generation

gcc/ada/

* doc/gnat_rm/standard_and_implementation_defined_restrictions.rst
(No_Dependence): Give examples of new No_Dependence restrictions.
* gnat_rm.texi: Regenerate.
gcc/ada/doc/gnat_rm/standard_and_implementation_defined_restrictions.rst
gcc/ada/gnat_rm.texi