r194190 - in /trunk/gcc/ada: ChangeLog debug.ad...

[charlet@gcc.gnu.org]

Author: charlet
Date: Wed Dec  5 10:10:04 2012
New Revision: 194190

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=194190
Log:
2012-12-05  Ed Schonberg  <schonberg@adacore.com>

	* sem_ch3.adb (Build_Derived_Private_Type): Handle properly a
	completion in a grand-child unit when the parent type is itself
	a private type in a child unit whose full view is itself a
	derivation from a private type.

2012-12-05  Gary Dismukes  <dismukes@adacore.com>

	* exp_attr.adb (Expand_N_Attribute_Reference, case
	Attribute_Valid): Remove code for issuing warning on Valid within
	a predicate. Moved to Sem_Attr.  Remove with and use of Errout.
	* sem_attr.adb (Analyze_Attribute, case Attribute_Valid):
	Test for prefix's subtype having a predicate and issue warning
	about infinite recursion if Valid occurs within the subtype's
	predicate. Warning moved here from Exp_Attr.

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

	* debug.adb: Minor comment addition.

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

	* gnat1drv.adb (Adjust_Global_Switches): In CodePeer mode, check
	overflows by default, even when the user suppresses overflow checks.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/debug.adb
    trunk/gcc/ada/exp_attr.adb
    trunk/gcc/ada/gnat1drv.adb
    trunk/gcc/ada/sem_attr.adb
    trunk/gcc/ada/sem_ch3.adb