[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Fri, 6 Jan 2017 11:15:32 +0000 (12:15 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Fri, 6 Jan 2017 11:15:32 +0000 (12:15 +0100)
commit229fa5dbde6e8a58c8409712a9e09d76793677c0
treec10c62f1ebe2c54e1c08fd4a75865af8efa675cf
parentd9c59db4554b9fe827e2f262eafdd789b686a944
[multiple changes]

2017-01-06  Ed Schonberg  <schonberg@adacore.com>

* checks.adb (Ensure_Valid): Do not generate a validity check
within a generated predicate function, validity checks will have
been applied earlier when required.

2017-01-06  Tristan Gingold  <gingold@adacore.com>

* s-tpoben.ads (Protection_Entries): Add comment and reorder
components for performances.
* s-tpobop.adb (PO_Do_Or_Queue): Implement Max_Queue_Length runtime
semantic.

From-SVN: r244136
gcc/ada/ChangeLog
gcc/ada/checks.adb
gcc/ada/s-tpoben.ads
gcc/ada/s-tpobop.adb