[Ada] Unnesting problems with expansion of Loop_Entry attribute
authorGary Dismukes <dismukes@adacore.com>
Wed, 8 Jan 2020 22:36:43 +0000 (17:36 -0500)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 3 Jun 2020 10:01:36 +0000 (06:01 -0400)
commit075116992690d6f29530a0a7f08cf2f7d5652a93
tree515fd8861fb5e68b21dad1773ddef0489dd39155
parent0000998e65ce6109d351200bf8e896762932ec2e
[Ada] Unnesting problems with expansion of Loop_Entry attribute

2020-06-03  Gary Dismukes  <dismukes@adacore.com>

gcc/ada/

* exp_attr.adb (Expand_Loop_Entry_Attribute): Revise loop that
resets the scopes of entities associated with Loop_Id to the
scope of the new function, so the resetting is not restricted to
itypes, but excludes loop parameters and the function entity
itself. However, this fix is believed to be incomplete and a ???
comment is added to indicate that.
gcc/ada/exp_attr.adb