diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2022-10-03 16:45:49 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2022-10-06 11:22:49 +0200 |
| commit | 56a93169a4f413e0a711e973cf34e2ee89151ef4 (patch) | |
| tree | c07274ce447257bc043192adb73ea3c4a7e60480 /gcc/ada/doc | |
| parent | a93fd547bacd1bab37290f9f3c44ef3ddf334287 (diff) | |
| download | gcc-56a93169a4f413e0a711e973cf34e2ee89151ef4.zip gcc-56a93169a4f413e0a711e973cf34e2ee89151ef4.tar.gz gcc-56a93169a4f413e0a711e973cf34e2ee89151ef4.tar.bz2 | |
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.
Diffstat (limited to 'gcc/ada/doc')
| -rw-r--r-- | gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst index 53836c9..6752d48 100644 --- a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst +++ b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst @@ -3744,10 +3744,10 @@ In addition, each protected subprogram body must satisfy: * May reference only one protected component * May not reference nonconstant entities outside the protected subprogram - scope. + scope * May not contain address representation items, allocators, or quantified - expressions. -* May not contain delay, goto, loop, or procedure-call statements. + expressions +* May not contain delay, goto, loop, or procedure-call statements * May not contain exported and imported entities * May not dereferenced access values * Function calls and attribute references must be static |