[Ada] Missing dereference in bound of slice in element iterator
authorEd Schonberg <schonberg@adacore.com>
Thu, 12 Dec 2019 10:03:39 +0000 (10:03 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Thu, 12 Dec 2019 10:03:39 +0000 (10:03 +0000)
commit93350089be1a068328192eb1a89f232099d0f0c7
tree963086917c9710b288a0b8a0b05ebf812095c049
parent0f5abd21483aeddbaa3dcd475ac0c686d835772e
[Ada] Missing dereference in bound of slice in element iterator

2019-12-12  Ed Schonberg  <schonberg@adacore.com>

gcc/ada/

* sem_ch5.adb: (Analyze_Iterator_Specification): If the
iteration is over a slice, complete the resolution of its
bounds, which may be aebitrary expressions. The previous
pre-analysis may have created itypes for the slice but has not
performed the expansion that for example may introduce actions
that specify explicit dereferences and run-time checks.

From-SVN: r279302
gcc/ada/ChangeLog
gcc/ada/sem_ch5.adb