r235243 - in /trunk/gcc/ada: ChangeLog clean.ad...

[charlet@gcc.gnu.org]

Author: charlet
Date: Wed Apr 20 09:11:42 2016
New Revision: 235243

URL: https://gcc.gnu.org/viewcvs?rev=235243&root=gcc&view=rev
Log:
2016-04-20  Javier Miranda  <miranda@adacore.com>

	* contracts.adb (Build_Postconditions_Procedure): Force its
	inlining when generating C code.
	* sem_attr.adb (Analyze_Attribute_Old_Result): Handle inlined
	_postconditions when generating C code.
	* exp_ch6.adb (Inlined_Subprogram): Inline calls to
	_postconditions when generating C code.
	* sinfo.ads, sinfo.adb (Corresponding_Spec, Set_Corresponding_Spec):
	types of return value and argument changed from Node_Id to
	Entity_Id.

2016-04-20  Vincent Celier  <celier@adacore.com>

	* make.adb, clean.adb, gnatname.adb: Revert previous change for now.

2016-04-20  Eric Botcazou  <ebotcazou@adacore.com>

	* sem_ch12.adb (Analyze_Instance_And_Renamings): Do not reset
	the Has_Delayed_Freeze flag on the anonymous instance node.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/clean.adb
    trunk/gcc/ada/contracts.adb
    trunk/gcc/ada/exp_ch6.adb
    trunk/gcc/ada/gnatname.adb
    trunk/gcc/ada/make.adb
    trunk/gcc/ada/sem_attr.adb
    trunk/gcc/ada/sem_ch12.adb
    trunk/gcc/ada/sinfo.adb
    trunk/gcc/ada/sinfo.ads