]> gcc.gnu.org Git - gcc.git/commit
ada: Cleanup related to lock-free protected subprograms
authorPiotr Trojanek <trojanek@adacore.com>
Mon, 3 Oct 2022 14:45:49 +0000 (16:45 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Thu, 6 Oct 2022 09:22:49 +0000 (11:22 +0200)
commit56a93169a4f413e0a711e973cf34e2ee89151ef4
treec07274ce447257bc043192adb73ea3c4a7e60480
parenta93fd547bacd1bab37290f9f3c44ef3ddf334287
ada: Cleanup related to lock-free protected subprograms

Cleanup code and documentation; semantics is unaffected.

gcc/ada/

* doc/gnat_rm/implementation_defined_pragmas.rst
(Lock_Free): Remove inconsistent periods that end item
descriptions.
* sem_ch9.adb
(Allows_Lock_Free_Implementation): Remove unnecessary guard
against an empty list of parameters; replace low-level entity kind
membership test with a high-level query; refill error message.
* gnat_rm.texi: Regenerate.
gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst
gcc/ada/gnat_rm.texi
gcc/ada/sem_ch9.adb
This page took 0.059365 seconds and 5 git commands to generate.