[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Thu, 7 Oct 2010 13:21:42 +0000 (15:21 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Thu, 7 Oct 2010 13:21:42 +0000 (15:21 +0200)
commitffdb3d3bfc5137dac557e64396856439784567b9
tree7420cacba4b7749e5a6a784b5434b2b4892952f8
parent8da337c5025772d12fd6e6c9bfcc8fbd1307461a
[multiple changes]

2010-10-07  Robert Dewar  <dewar@adacore.com>

* sem_ch13.adb (Analyze_Attribute_Definition_Clause, case
Component_Size): It is now illegal to give an incorrect component size
clause in the case of aliased or atomic components.
* sem_prag.adb (Analyze_Pragma, case Pack): It is now illegal to give
an effective pragma Pack in the case of aliased or atomic components.

2010-10-07  Steve Baird  <baird@adacore.com>

* exp_ch4.adb (Expand_N_Allocator): Do not bypass expansion
in the case of a violation of an active No_Task_Hierarchy restriction.

2010-10-07  Ed Schonberg  <schonberg@adacore.com>

* sem_ch12.adb (Validate_Derived_Type_Instance): If a formal derived
type is non-limited, an actual for it cannot be limited.

From-SVN: r165105
gcc/ada/ChangeLog
gcc/ada/exp_ch4.adb
gcc/ada/sem_ch12.adb
gcc/ada/sem_ch13.adb
gcc/ada/sem_prag.adb