r181561 - in /trunk/gcc/ada: exp_ch6.adb sem_ch...

[charlet@gcc.gnu.org]

Author: charlet
Date: Mon Nov 21 11:26:14 2011
New Revision: 181561

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=181561
Log:
2011-11-21  Robert Dewar  <dewar@adacore.com>

	* exp_ch6.adb: Minor reformatting.

2011-11-21  Ed Schonberg  <schonberg@adacore.com>

	* sem_ch12.adb (Check_Formal_Package_Instance): If a formal
	subprogram of the formal package is covered by an others
	association with a box initialization, no check is needed
	against the actual in the instantiation of the formal package.

2011-11-21  Robert Dewar  <dewar@adacore.com>

	* sem_elab.adb (Check_Internal_Call_Continue): Suppress junk
	elab warning from within precondition/postcondition etc.


Modified:
    trunk/gcc/ada/exp_ch6.adb
    trunk/gcc/ada/sem_ch12.adb
    trunk/gcc/ada/sem_elab.adb