diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2020-04-17 14:07:18 -0400 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-17 04:14:22 -0400 |
| commit | a5c11aa2d569cdeffa74ad3e9db9abee8db384e5 (patch) | |
| tree | 2dbf937696ec632115db8e8d92a1de230fe868d4 /gcc/gcov.c | |
| parent | 89d9bab0aa00d6968621ec5db2ca36862ed6a64c (diff) | |
| download | gcc-a5c11aa2d569cdeffa74ad3e9db9abee8db384e5.zip gcc-a5c11aa2d569cdeffa74ad3e9db9abee8db384e5.tar.gz gcc-a5c11aa2d569cdeffa74ad3e9db9abee8db384e5.tar.bz2 | |
[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.
Diffstat (limited to 'gcc/gcov.c')
0 files changed, 0 insertions, 0 deletions