[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Tue, 6 Jan 2015 09:20:55 +0000 (10:20 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 6 Jan 2015 09:20:55 +0000 (10:20 +0100)
commit948ed277461760a367678c9afbd55e45eda8707e
tree3dc962ac940f650f3e5a5d2c4ced2e4f2e283136
parenta921e83c12b6b3ea5027113af94c2b105533ba14
[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
gcc/ada/ChangeLog
gcc/ada/exp_disp.adb
gcc/ada/sem_ch12.adb
gcc/ada/sem_ch12.ads
gcc/ada/sem_ch6.adb
gcc/ada/sem_ch8.adb