r237438 - in /trunk/gcc/ada: ChangeLog sem_ch4....

[charlet@gcc.gnu.org]

Author: charlet
Date: Tue Jun 14 12:39:11 2016
New Revision: 237438

URL: https://gcc.gnu.org/viewcvs?rev=237438&root=gcc&view=rev
Log:
2016-06-14  Bob Duff  <duff@adacore.com>

	* sem_elab.adb (Check_A_Call): Do nothing if the callee is
	(or is in) an instance, and the caller is outside.  Misc cleanup.

2016-06-14  Javier Miranda  <miranda@adacore.com>

	* sem_ch4.adb (Analyze_Quantified_Expression):
	Generating C code avoid spurious warning on loop variable of
	inlinined postconditions.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/sem_ch4.adb
    trunk/gcc/ada/sem_elab.adb