r192917 - in /trunk/gcc/ada: ChangeLog sem_ch13...

[charlet@gcc.gnu.org]

Author: charlet
Date: Mon Oct 29 10:02:16 2012
New Revision: 192917

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=192917
Log:
2012-10-29  Steve Baird  <baird@adacore.com>

	* sem_ch13.adb (Analyze_Attribute_Definition_Clause): If CodePeer_Mode
	= True and we detect that an Address specification is used to overlay
	another object, do not set that object's Treat_As_Volatile flag.

2012-10-29  Ed Schonberg  <schonberg@adacore.com>

	* sem_ch3.adb (Constant_Redeclaration): If the type of a
	deferred constant has invariants, generate invariant call on
	the initial value.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/sem_ch13.adb
    trunk/gcc/ada/sem_ch3.adb