r198185 - in /trunk/gcc/ada: ChangeLog aspects....

[charlet@gcc.gnu.org]

Author: charlet
Date: Tue Apr 23 09:53:23 2013
New Revision: 198185

URL: http://gcc.gnu.org/viewcvs?rev=198185&root=gcc&view=rev
Log:
2013-04-23  Vincent Celier  <celier@adacore.com>

	* prj-part.ads, prj-conf.ads: Minor comment updates.

2013-04-23  Ed Schonberg  <schonberg@adacore.com>

	* einfo.adb (Predicate_Function): For a private type, retrieve
	predicate function from full view.
	* aspects.adb (Find_Aspect): Ditto.
	* exp_ch6.adb (Expand_Actuals): If the formal is class-wide and
	the actual is a definite type, apply predicate check after call.
	* sem_res.adb: Do not apply a predicate check before the call to
	a generated Init_Proc.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/aspects.adb
    trunk/gcc/ada/einfo.adb
    trunk/gcc/ada/exp_ch6.adb
    trunk/gcc/ada/prj-conf.ads
    trunk/gcc/ada/prj-part.ads
    trunk/gcc/ada/sem_res.adb