| commit | 145317c67cf6431cf1bc6270046e2d6038cdf70f | |
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Tue, 25 Apr 2017 09:36:51 +0000 (25 09:36 +0000) | ||
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Tue, 25 Apr 2017 09:36:51 +0000 (25 09:36 +0000) | ||
| tree | 1a2b69773387c9206b6169b34e7149f69b81be06 | treesnapshot (tar.gz zip) |
| parent | 023e0007c3bd5dc8b66801ac8e5c665e9eacb183 | commitdiff |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@247163 138bc75d-0d04-0410-961f-82ee72b054a4
* 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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@247163 138bc75d-0d04-0410-961f-82ee72b054a4
| gcc/ada/ChangeLog | diffblobblamehistory | |
| gcc/ada/sem_ch3.adb | diffblobblamehistory | |
| gcc/ada/sem_util.adb | diffblobblamehistory |