projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 83dcc2b) | patch
[Ada] Spurious discriminant check on "for of" loop
authorArnaud Charlet <charlet@adacore.com>
Mon, 13 Jul 2020 09:23:17 +0000 (05:23 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 20 Oct 2020 07:21:36 +0000 (03:21 -0400)
commit8281a07f0cd02f96690b7c96a4768c68c44917a2
tree031e009806ec7e3bcc9dd03327d3ee06393bdc32tree
parent83dcc2bd35e5dc981a13959b9bb6750736cd6544commit | diff
[Ada] Spurious discriminant check on "for of" loop

gcc/ada/

* sem_ch8.adb (Check_Constrained_Object): Suppress discriminant
checks when the type has default discriminants and comes from
expansion of a "for of" loop.
gcc/ada/sem_ch8.adb diff | blob | history