[Ada] Crash on misplaced First operation for GNAT iterable type
authorEd Schonberg <schonberg@adacore.com>
Tue, 11 Dec 2018 11:12:16 +0000 (11:12 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Tue, 11 Dec 2018 11:12:16 +0000 (11:12 +0000)
commit2f42b6ead47da2c5d863042de6689aee64d342b3
tree4b060a6eb32f2e547780008fcbf8b8a096c468d8
parent155f4f34d1f2e1d6ea4e82104f57be3d6eab78b2
[Ada] Crash on misplaced First operation for GNAT iterable type

This patch improves the handling of an improper declaaration of aspect
First for a GNAT-defined iterable type,

2018-12-11  Ed Schonberg  <schonberg@adacore.com>

gcc/ada/

* sem_util.adb (Get_Actual_Subtype): Function can return type
mark.
(Get_Cursor_Type): Improve recovery and error message on a
misplaced First aspect for an iterable type.

gcc/testsuite/

* gnat.dg/iter4.adb: New testcase.

From-SVN: r267013
gcc/ada/ChangeLog
gcc/ada/sem_util.adb
gcc/testsuite/ChangeLog
gcc/testsuite/gnat.dg/iter4.adb [new file with mode: 0644]