]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aebcd90) | patch
[Ada] Document requirements for Pragma Lock_Free
authorpmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 20 Aug 2019 09:47:58 +0000 (09:47 +0000)
committerpmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 20 Aug 2019 09:47:58 +0000 (09:47 +0000)
commitc8c25b3d2caa620558c02d8c49f609e67c2a6594
treec9106a21d9b6bfc8d1b48148a453f1287fbcd8ectree | snapshot
parentaebcd9093461e3ea3e686af2fbb2ad5d920a6a91commit | 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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@274717 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog diff | blob | blame | history
gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst diff | blob | blame | history
gcc/ada/gnat_rm.texi diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git