r274717 - in /trunk/gcc/ada: ChangeLog doc/gnat...

[pmderodat@gcc.gnu.org]

Author: pmderodat
Date: Tue Aug 20 09:47:58 2019
New Revision: 274717

URL: https://gcc.gnu.org/viewcvs?rev=274717&root=gcc&view=rev
Log:
[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.

Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst
    trunk/gcc/ada/gnat_rm.texi