]> git.ipfire.org Git - thirdparty/gcc.git/commit
[Ada] Max_Entry_Queue_Length aspect for protected entries
authorpmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 21 Aug 2019 08:29:23 +0000 (08:29 +0000)
committerpmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 21 Aug 2019 08:29:23 +0000 (08:29 +0000)
commitbc94feec6ea051b85b051536d336c5d44781e663
treec42b70e7ad355b23c6053b93037eded6fd55990d
parentfacde14d15ab41d828791168818c5b936e5a2bd7
[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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@274774 138bc75d-0d04-0410-961f-82ee72b054a4
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