diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-01-06 10:20:55 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-01-06 10:20:55 +0100 |
| commit | 948ed277461760a367678c9afbd55e45eda8707e (patch) | |
| tree | 3dc962ac940f650f3e5a5d2c4ced2e4f2e283136 /gcc/ada/adaint.c | |
| parent | a921e83c12b6b3ea5027113af94c2b105533ba14 (diff) | |
| download | gcc-948ed277461760a367678c9afbd55e45eda8707e.zip gcc-948ed277461760a367678c9afbd55e45eda8707e.tar.gz gcc-948ed277461760a367678c9afbd55e45eda8707e.tar.bz2 | |
[multiple changes]
2015-01-06 Ed Schonberg <schonberg@adacore.com>
* sem_ch6.adb (New_Overloaded_Entity): In GNATprove mode, a
function wrapper may be a homonym of another local declaration.
* sem_ch8.adb (Analyze_Subprogram_Renaming): In GNATprove mode,
build function and operator wrappers after the actual subprogram
has been resolved, and replace the standard renaming declaration
with the declaration of wrapper.
* sem_ch12.ads (Build_Function_Wrapper, Build_Operator_Wraooer):
make public for use elsewhere.
* sem_ch12.adb (Build_Function_Wrapper, Build_Operator_Wraooer):
rewrite, now that actual is fully resolved when wrapper is
constructed.
2015-01-06 Javier Miranda <miranda@adacore.com>
* exp_disp.adb: Revert previous change.
From-SVN: r219232
Diffstat (limited to 'gcc/ada/adaint.c')
0 files changed, 0 insertions, 0 deletions