This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r223524 - in /trunk/gcc/ada: ChangeLog exp_util...
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Fri, 22 May 2015 08:52:17 -0000
- Subject: r223524 - in /trunk/gcc/ada: ChangeLog exp_util...
Author: charlet
Date: Fri May 22 08:52:17 2015
New Revision: 223524
URL: https://gcc.gnu.org/viewcvs?rev=223524&root=gcc&view=rev
Log:
2015-05-21 Robert Dewar <dewar@adacore.com>
* exp_util.adb (Activate_Atomic_Synchronization): Do not set
Atomic_Sync_Required for an object renaming declaration.
* sem_ch8.adb (Analyze_Object_Renaming): Copy Is_Atomic and
Is_Independent to renaming object.
2015-05-21 Ed Schonberg <schonberg@adacore.com>
* sem_ch5.adb (Analyze_Iterator_Specification): Diagnose
various illegalities in iterators over arrays and containers:
a) New function Get_Cursor_Type, to verify that the cursor is
not a limited type at the point of iteration.
b) If the container is a constant, an element_iterator is illegal
if the container type does not have a Constant_Indexing aspect.
c) If the iterate function has an in-out controlling parameter,
the container cannot be a constant object.
d) Reject additional cases of iterators over a
discriminant-dependent component of a mutable object.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/exp_util.adb
trunk/gcc/ada/sem_ch5.adb
trunk/gcc/ada/sem_ch8.adb