r194894 - in /trunk/gcc/ada: ChangeLog exp_util...

[charlet@gcc.gnu.org]

Author: charlet
Date: Fri Jan  4 09:25:59 2013
New Revision: 194894

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=194894
Log:
2013-01-04  Robert Dewar  <dewar@adacore.com>

	* exp_util.adb (Remove_Side_Effects): Make sure scope suppress
	is restored on exit.

2013-01-04  Robert Dewar  <dewar@adacore.com>

	* usage.adb: Document -gnateF (check overflow for predefined Float).

2013-01-04  Robert Dewar  <dewar@adacore.com>

	* sem_res.adb (Resolve_Type_Conversion): Remove incorrect
	prevention of call to Apply_Type_Conversion_Checks, which resulted
	in missing check flags in formal mode.

2013-01-04  Vincent Celier  <celier@adacore.com>

	* makeutl.ads (Db_Switch_Args): New table used by gprbuild.
	* prj-conf.adb (Check_Builder_Switches): Check for switches
	--config= (Get_Db_Switches): New procedure to get the --db
	switches so that they are used when invoking gprconfig in
	auto-configuration.
	(Do_Autoconf): When invoking gprconfig, use the --db switches, if any.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/exp_util.adb
    trunk/gcc/ada/makeutl.ads
    trunk/gcc/ada/prj-conf.adb
    trunk/gcc/ada/sem_res.adb
    trunk/gcc/ada/usage.adb