2015-01-06 Ed Schonberg <schonberg@adacore.com>
commit8408cef9c74027813833f0fd2e604c4cedff4d03
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 6 Jan 2015 09:20:55 +0000 (6 09:20 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 6 Jan 2015 09:20:55 +0000 (6 09:20 +0000)
tree3dc962ac940f650f3e5a5d2c4ced2e4f2e283136
parent58c0ee52a079ae79fb7b65b2115fb0914c057107
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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@219232 138bc75d-0d04-0410-961f-82ee72b054a4
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