projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fdacd61) | patch
[Ada] Document requirements for Pragma Lock_Free
authorArnaud Charlet <charlet@adacore.com>
Tue, 20 Aug 2019 09:47:58 +0000 (09:47 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Tue, 20 Aug 2019 09:47:58 +0000 (09:47 +0000)
commit2beee64ae080305808720f839b6ca7bc280aed74
treec9106a21d9b6bfc8d1b48148a453f1287fbcd8ectree
parentfdacd614f4162311af0e60a02e6ff6b47ba809a5commit | diff
[Ada] Document requirements for Pragma Lock_Free

2019-08-20  Arnaud Charlet  <charlet@adacore.com>

gcc/ada/

* doc/gnat_rm/implementation_defined_pragmas.rst: Document
requirements for Pragma Lock_Free.
* gnat_rm.texi: Regenerate.

From-SVN: r274717
gcc/ada/ChangeLog diff | blob | history
gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst diff | blob | history
gcc/ada/gnat_rm.texi diff | blob | history