projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 09825f9) | patch
[Ada] Fix scope computation for loop statements
authorEd Schonberg <schonberg@adacore.com>
Tue, 21 Aug 2018 14:47:50 +0000 (14:47 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Tue, 21 Aug 2018 14:47:50 +0000 (14:47 +0000)
commit6989a2bbfa259633296bf1e9f278ea83c5345811
tree13f055352de3eb952d2701efd3c782195942d2cctree | snapshot
parent09825f923fadac7b79a894c4e7f6e0839c2837accommit | diff
[Ada] Fix scope computation for loop statements

2018-08-21  Ed Schonberg  <schonberg@adacore.com>

gcc/ada/

* sem_ch13.adb (Build_Predicate_Functioss): Apply
Reset_Quantified_Variables_Scope after predicate function has
been analyzed, so that the scope can be reset on the generated
loop statements that have replaced the quantified expressions.

From-SVN: r263729
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sem_ch13.adb diff | blob | history
Domain: System / Toolchain;