diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2021-08-30 17:41:29 -0400 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-10-04 08:45:08 +0000 |
| commit | f729943cf65ec9d475acccc5d04d7752680e19a3 (patch) | |
| tree | e4a0af27aeed2223d437c72897f130ab6b01be66 /gcc/gimplify.c | |
| parent | 8e1e74a162c751014b43d609207aaf75ed4dd428 (diff) | |
| download | gcc-f729943cf65ec9d475acccc5d04d7752680e19a3.zip gcc-f729943cf65ec9d475acccc5d04d7752680e19a3.tar.gz gcc-f729943cf65ec9d475acccc5d04d7752680e19a3.tar.bz2 | |
[Ada] Fix resolution of Declare_Expressions involving transient scopes
gcc/ada/
* sem_res.adb (Resolve_Declare_Expression): Use tree traversals
to perform name capture of local entities in the expression of
the construct.
* exp_util.adb (Possible_Side_Effects_In_SPARK): Do not apply to
the prefix of an attribute reference Reduce when that prefix is
an aggregate, because it will be expanded into a loop, and has
no identifiable type.
Diffstat (limited to 'gcc/gimplify.c')
0 files changed, 0 insertions, 0 deletions