r194205 - in /trunk/gcc/ada: ChangeLog Make-gen...

[charlet@gcc.gnu.org]

Author: charlet
Date: Wed Dec  5 11:02:24 2012
New Revision: 194205

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=194205
Log:
2012-12-05  Thomas Quinot  <quinot@adacore.com>

	* exp_dist.adb: Minor reformatting.

2012-12-05  Tristan Gingold  <gingold@adacore.com>

	* Make-generated.in: Remove the VMS host specific part, as VMS
	compilers aren't built anymore on VMS.

2012-12-05  Thomas Quinot  <quinot@adacore.com>

	* sem.adb, errout.ads, atree.adb, atree.ads (Check_Error_Detected):
	Only return quietly if a serious error of configurable run time
	violation has been found.

2012-12-05  Yannick Moy  <moy@adacore.com>

	* sem_res.adb (Resolve_Type_Conversion): In Alfa_Mode, do not apply
	conversion checks.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/Make-generated.in
    trunk/gcc/ada/atree.adb
    trunk/gcc/ada/atree.ads
    trunk/gcc/ada/errout.ads
    trunk/gcc/ada/exp_dist.adb
    trunk/gcc/ada/sem.adb
    trunk/gcc/ada/sem_res.adb