projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: be3416c) | patch
sem_ch3.adb (Check_Entry_Contract): Call Preanalyze_Spec_Expression so that resolutio...
authorEd Schonberg <schonberg@adacore.com>
Tue, 25 Apr 2017 09:36:51 +0000 (09:36 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 25 Apr 2017 09:36:51 +0000 (11:36 +0200)
commit0c85534d6f996d7ef5430c77b0e508ddc6f130ef
tree1a2b69773387c9206b6169b34e7149f69b81be06tree
parentbe3416c681291e5a3f6e68d311c958fb05bc7f41commit | diff
sem_ch3.adb (Check_Entry_Contract): Call Preanalyze_Spec_Expression so that resolution takes place as well.

2017-04-25  Ed Schonberg  <schonberg@adacore.com>

* sem_ch3.adb (Check_Entry_Contract): Call
Preanalyze_Spec_Expression so that resolution takes place as well.
* sem_util.adb (Check_Internal_Protected_Use): Reject properly
internal calls that appear in preconditions of protected
operations, in default values for same, and in contract guards
for contract cases in SPARK.

From-SVN: r247163
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sem_ch3.adb diff | blob | history
gcc/ada/sem_util.adb diff | blob | history