r216092 - in /trunk/gcc/ada: ChangeLog a-cfdlli...

[charlet@gcc.gnu.org]

Author: charlet
Date: Fri Oct 10 14:49:04 2014
New Revision: 216092

URL: https://gcc.gnu.org/viewcvs?rev=216092&root=gcc&view=rev
Log:
2014-10-10  Robert Dewar  <dewar@adacore.com>

	* freeze.adb, sem_attr.adb: Minor reformatting.

2014-10-10  Johannes Kanig  <kanig@adacore.com>

	* a-cfdlli.ads, a-cfhama.ads, a-cfhase.ads, a-cforma.ads,
	a-cforse.ads, a-cofove.ads: add "Default_Initial_Condition"
	to container type.

2014-10-10  Vincent Celier  <celier@adacore.com>

	* prj-conf.adb (Do_Autoconf): In Codepeer mode, do not try to get
	any configuration switches from the project file.

2014-10-10  Ed Schonberg  <schonberg@adacore.com>

	* sem_ch12.adb (Build_Wrapper): Renamed as Build_Operator_Wrapper.
	(Build_Function_Wrapper): New function, to construct a wrapper
	function for actuals that are functions with an arbitrary
	number of parameters. Used in GNATProve mode to simplify proof
	propagation in instantiations.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/a-cfdlli.ads
    trunk/gcc/ada/a-cfhama.ads
    trunk/gcc/ada/a-cfhase.ads
    trunk/gcc/ada/a-cforma.ads
    trunk/gcc/ada/a-cforse.ads
    trunk/gcc/ada/a-cofove.ads
    trunk/gcc/ada/freeze.adb
    trunk/gcc/ada/prj-conf.adb
    trunk/gcc/ada/sem_attr.adb
    trunk/gcc/ada/sem_ch12.adb