diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2019-08-20 09:47:58 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-08-20 09:47:58 +0000 |
| commit | 2beee64ae080305808720f839b6ca7bc280aed74 (patch) | |
| tree | c9106a21d9b6bfc8d1b48148a453f1287fbcd8ec /gcc/ada/sem_spark.adb | |
| parent | fdacd614f4162311af0e60a02e6ff6b47ba809a5 (diff) | |
| download | gcc-2beee64ae080305808720f839b6ca7bc280aed74.zip gcc-2beee64ae080305808720f839b6ca7bc280aed74.tar.gz gcc-2beee64ae080305808720f839b6ca7bc280aed74.tar.bz2 | |
[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
Diffstat (limited to 'gcc/ada/sem_spark.adb')
0 files changed, 0 insertions, 0 deletions