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/Makefile | |
| 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/Makefile')
0 files changed, 0 insertions, 0 deletions