diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2014-07-18 09:27:00 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-18 11:27:00 +0200 |
| commit | 3f433bc07ebc9821a4edeea9ecfa3ea94b0b00d1 (patch) | |
| tree | bfb8a8c98a7574e7d1663ee14b60c500f350884d /gcc/gcov-iov.c | |
| parent | 0439c912c329d87c22917b07a65487253e47433d (diff) | |
| download | gcc-3f433bc07ebc9821a4edeea9ecfa3ea94b0b00d1.zip gcc-3f433bc07ebc9821a4edeea9ecfa3ea94b0b00d1.tar.gz gcc-3f433bc07ebc9821a4edeea9ecfa3ea94b0b00d1.tar.bz2 | |
sem_aggr.adb (Aggregate_Constraint_Checks): Moved to sem_util.
2014-07-18 Ed Schonberg <schonberg@adacore.com>
* sem_aggr.adb (Aggregate_Constraint_Checks): Moved to sem_util.
* sem_util.ads, sem_util.adb (Aggregate_Constraint_Checks):
Moved here, so it can be shared with the resolution of 'Update,
whose argument shares some features with aggregates.
* sem_attr.adb (Resolve_Attribute, case 'Update): Apply
Aggregate_Constraint_Checks with the expression of each
association, so that the Do_Range_Check flag is set when needed.
2014-07-18 Ed Schonberg <schonberg@adacore.com>
* sem_ch4.adb (Try_Container_Indexing): If the container
type is a derived type, the value of the inherited aspect is
the Reference operation declared for the parent type. However,
Reference is also a primitive operation of the new type, and
the inherited operation has a different signature. We retrieve
the right one from the list of primitive operations of the
derived type.
From-SVN: r212786
Diffstat (limited to 'gcc/gcov-iov.c')
0 files changed, 0 insertions, 0 deletions