r206922 - in /trunk/gcc/ada: ChangeLog errout.a...

[charlet@gcc.gnu.org]

Author: charlet
Date: Wed Jan 22 14:06:41 2014
New Revision: 206922

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

	* sem_ch3.adb, exp_util.adb, sem_dim.adb, sem_elab.adb, sem_ch8.adb,
	sem_eval.ads: Minor reformatting.

2014-01-22  Thomas Quinot  <quinot@adacore.com>

	* sem_eval.adb (Compile_Time_Known_Bounds): Return False for
	Any_Composite to prevent cascaded errors.

2014-01-22  Yannick Moy  <moy@adacore.com>

	* errout.adb (Initialize): Do not insert special entry in Warnings
	table in GNATprove_Mode.
	* erroutc.adb (Set_Warnings_Mode_On): Add info in Warnings table in
	GNATprove_Mode.
	* gnat1drv.adb (Adjust_Global_Switches): Do not suppress frontend
	warnings anymore.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/errout.adb
    trunk/gcc/ada/erroutc.adb
    trunk/gcc/ada/exp_util.adb
    trunk/gcc/ada/gnat1drv.adb
    trunk/gcc/ada/sem_ch3.adb
    trunk/gcc/ada/sem_ch8.adb
    trunk/gcc/ada/sem_dim.adb
    trunk/gcc/ada/sem_elab.adb
    trunk/gcc/ada/sem_eval.adb
    trunk/gcc/ada/sem_eval.ads