projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 89d9bab) | patch
[Ada] Additional legality rule for indexing operation for derived type
authorEd Schonberg <schonberg@adacore.com>
Fri, 17 Apr 2020 18:07:18 +0000 (14:07 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 17 Jun 2020 08:14:22 +0000 (04:14 -0400)
commita5c11aa2d569cdeffa74ad3e9db9abee8db384e5
tree2dbf937696ec632115db8e8d92a1de230fe868d4tree
parent89d9bab0aa00d6968621ec5db2ca36862ed6a64ccommit | diff
[Ada] Additional legality rule for indexing operation for derived type

2020-06-17  Ed Schonberg  <schonberg@adacore.com>

gcc/ada/

* sem_ch13.adb: (Check_Inherited_Indexing): Check that a type
derived from an indexable container type cannot specify an
indexing aspect if the same aspect is not specified for the
parent type (RM 4.1.6 (6/5), AI12-160). Add a check that a
specified indexing aspect for a derived type is confirming.
gcc/ada/sem_ch13.adb diff | blob | history