[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Mon, 29 Oct 2012 10:02:16 +0000 (11:02 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 29 Oct 2012 10:02:16 +0000 (11:02 +0100)
commit2a8fcd43bd18b2b3a138c2a0f9607adaca668722
tree6188daffc22af5664bbc733fe2fcad67f3c1d6b3
parent415450ea8e5025bbf8c8506aada92f7a69dd97fa
[multiple changes]

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.

From-SVN: r192917
gcc/ada/ChangeLog
gcc/ada/sem_ch13.adb
gcc/ada/sem_ch3.adb