[Ada] Max_Entry_Queue_Length aspect for protected entries
authorJustin Squirek <squirek@adacore.com>
Wed, 21 Aug 2019 08:29:23 +0000 (08:29 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Wed, 21 Aug 2019 08:29:23 +0000 (08:29 +0000)
commitdf2d2fe0ee88ae01866e2437e00db0ccbea25c71
treec42b70e7ad355b23c6053b93037eded6fd55990d
parent1e78c638a7846b3c96c80b920ab38416abd35997
[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
gcc/ada/ChangeLog
gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst
gcc/ada/gnat_rm.texi
gcc/ada/sem_prag.adb
gcc/ada/sem_util.adb