r219232 - in /trunk/gcc/ada: ChangeLog exp_disp...

[charlet@gcc.gnu.org]

Author: charlet
Date: Tue Jan  6 09:20:55 2015
New Revision: 219232

URL: https://gcc.gnu.org/viewcvs?rev=219232&root=gcc&view=rev
Log:
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.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/exp_disp.adb
    trunk/gcc/ada/sem_ch12.adb
    trunk/gcc/ada/sem_ch12.ads
    trunk/gcc/ada/sem_ch6.adb
    trunk/gcc/ada/sem_ch8.adb