| commit | ea3fc544579ba489ef516cf582792b475ce78b67 | |
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Tue, 14 Jun 2016 12:39:11 +0000 (14 12:39 +0000) | ||
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Tue, 14 Jun 2016 12:39:11 +0000 (14 12:39 +0000) | ||
| tree | 1fb2911c836fb268a03419df52276af6a0e1cec8 | treesnapshot (tar.gz zip) |
| parent | c8dfb75f1a223e0cef87bb2be0c99594969b6dc3 | commitdiff |
2016-06-14 Bob Duff <duff@adacore.com>
* sem_elab.adb (Check_A_Call): Do nothing if the callee is
(or is in) an instance, and the caller is outside. Misc cleanup.
2016-06-14 Javier Miranda <miranda@adacore.com>
* sem_ch4.adb (Analyze_Quantified_Expression):
Generating C code avoid spurious warning on loop variable of
inlinined postconditions.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@237438 138bc75d-0d04-0410-961f-82ee72b054a4
* sem_elab.adb (Check_A_Call): Do nothing if the callee is
(or is in) an instance, and the caller is outside. Misc cleanup.
2016-06-14 Javier Miranda <miranda@adacore.com>
* sem_ch4.adb (Analyze_Quantified_Expression):
Generating C code avoid spurious warning on loop variable of
inlinined postconditions.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@237438 138bc75d-0d04-0410-961f-82ee72b054a4
| gcc/ada/ChangeLog | diffblobblamehistory | |
| gcc/ada/sem_ch4.adb | diffblobblamehistory | |
| gcc/ada/sem_elab.adb | diffblobblamehistory |