diff options
| author | Justin Squirek <squirek@adacore.com> | 2019-08-21 08:29:23 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-08-21 08:29:23 +0000 |
| commit | df2d2fe0ee88ae01866e2437e00db0ccbea25c71 (patch) | |
| tree | c42b70e7ad355b23c6053b93037eded6fd55990d /gcc/ada/doc | |
| parent | 1e78c638a7846b3c96c80b920ab38416abd35997 (diff) | |
| download | gcc-df2d2fe0ee88ae01866e2437e00db0ccbea25c71.zip gcc-df2d2fe0ee88ae01866e2437e00db0ccbea25c71.tar.gz gcc-df2d2fe0ee88ae01866e2437e00db0ccbea25c71.tar.bz2 | |
[Ada] Max_Entry_Queue_Length aspect for protected entries
Allow values of negative one to be accepted as a valid parameter as a
special case.
2019-08-21 Justin Squirek <squirek@adacore.com>
gcc/ada/
* doc/gnat_rm/implementation_defined_pragmas.rst: Modify
documentation to reflect expected behavior.
* gnat_rm.texi: Regenerate.
* sem_prag.adb (Analyze_Pragma): Modify handling of pragma
Max_Entry_Queue_Length to not reject integer values of negative
one.
* sem_util.adb (Get_Max_Queue_Length): Add processing for values
of negative one to fit within the current scheme.
From-SVN: r274774
Diffstat (limited to 'gcc/ada/doc')
| -rw-r--r-- | gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst index 91c2d33..625a38f 100644 --- a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst +++ b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst @@ -3888,8 +3888,10 @@ Syntax:: This pragma is used to specify the maximum callers per entry queue for individual protected entries and entry families. It accepts a single -positive integer as a parameter and must appear after the declaration -of an entry. +integer (-1 or more) as a parameter and must appear after the declaration of an +entry. + +A value of -1 represents no additional restriction on queue length. Pragma No_Body ============== |