[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Wed, 6 Sep 2017 09:22:50 +0000 (11:22 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 6 Sep 2017 09:22:50 +0000 (11:22 +0200)
commitc7a494c99b4a421f6b80af834adb0d4c703d47a5
treebc628931a1f77422761b640cd066ff3201bbe5bc
parent3581d5dbf0c6be20e837ea27092b38f5de23c93b
[multiple changes]

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

* sem_res.adb (Resolve_Entry_Call): Check whether a protected
operation is subject to a pragma Eliminate.

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

* sem_elim.ads, exp_ch4.adb: Minor reformatting.

2017-09-06  Eric Botcazou  <ebotcazou@adacore.com>

* fe.h (Eliminate_Error_Msg): Remove.

From-SVN: r251755
gcc/ada/ChangeLog
gcc/ada/exp_ch4.adb
gcc/ada/fe.h
gcc/ada/sem_elim.ads
gcc/ada/sem_res.adb