[Ada] Fix expansion of quantified expressions as part of "others" associations
authorEd Schonberg <schonberg@adacore.com>
Fri, 25 May 2018 09:04:59 +0000 (09:04 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Fri, 25 May 2018 09:04:59 +0000 (09:04 +0000)
commit1f6237e3ddfba881d87d9c62d0b806717a71fbe5
treeb2c9d056b3c4c603f2a8144c66b1691350cb08ce
parent25eadeeaa2a0da50bd591c38de899140a413323e
[Ada] Fix expansion of quantified expressions as part of "others" associations

2018-05-25  Ed Schonberg  <schonberg@adacore.com>

gcc/ada/

* exp_aggr.adb (Flatten): A quantified expression cannot be duplicated
in an others clause to prevent visibility issues with the generated
loop variable.
(Component_OK_For_Backend): Return false for a quantified expression.
(Check_Static_Component): Ditto.

From-SVN: r260737
gcc/ada/ChangeLog
gcc/ada/exp_aggr.adb