diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2021-07-27 10:55:07 -0400 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-09-23 13:06:15 +0000 |
| commit | fe43084ca31636ee5c997cc9c37f88e71a59293c (patch) | |
| tree | 904051d08f02dec75716fb8f7d22cf7312c2f551 /gcc/tree-ssa-dse.c | |
| parent | c06539752d77126689ee49fc3e4a8add2a4980e3 (diff) | |
| download | gcc-fe43084ca31636ee5c997cc9c37f88e71a59293c.zip gcc-fe43084ca31636ee5c997cc9c37f88e71a59293c.tar.gz gcc-fe43084ca31636ee5c997cc9c37f88e71a59293c.tar.bz2 | |
[Ada] Ada2022: implementation of AI12-0212 : iterator specs in array aggregates
gcc/ada/
* sem_aggr.adb (Resolve_Array_Aggregate): Check the validity of
an array aggregate all of whose components are iterated
component associations.
* exp_aggr.adb (Expand_Array_Aggregate,
Two_Pass_Aggregate_Expansion): implement two-pass algorithm and
replace original aggregate with resulting temporary, to ensure
that a proper length check is performed if context is
constrained. Use attributes Pos and Val to handle index types of
any discrete type.
Diffstat (limited to 'gcc/tree-ssa-dse.c')
0 files changed, 0 insertions, 0 deletions