| commit | 9e47051a3785f6a55dc63f9a1eaeccd19895c18c | |
| author | Ed Schonberg <schonberg@adacore.com> | |
| Wed, 10 Feb 2021 15:52:04 +0000 (10 10:52 -0500) | ||
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | |
| Tue, 15 Jun 2021 10:19:30 +0000 (15 06:19 -0400) | ||
| tree | aa32d64e82581a5045ba7c89d797cea06224fdcd | treesnapshot (tar.gz zip) |
| parent | 3d4fbcb4c98bc593e7e9ff7e0202d622d6c64f73 | commitdiff |
[Ada] AI12-0138: Iterators and other nonoverridable aspects
gcc/ada/
* sem_util.adb (Is_Confirming): Separate the handling of
Implicit_Dereference, for which no pragma is generated but which
is already checked for legality in Sem_Ch13, including renamed
discriminants in a derived type.
(Is_Confirming, Same_Name): For expanded names, only check
matching of selector, because prefix may correspond to original
and derived types with different names and/or scopes. Semantic
checks on aspect expression have already verified its legality.
Add comments regarding possible gaps in RM description of the
feature.
gcc/ada/
* sem_util.adb (Is_Confirming): Separate the handling of
Implicit_Dereference, for which no pragma is generated but which
is already checked for legality in Sem_Ch13, including renamed
discriminants in a derived type.
(Is_Confirming, Same_Name): For expanded names, only check
matching of selector, because prefix may correspond to original
and derived types with different names and/or scopes. Semantic
checks on aspect expression have already verified its legality.
Add comments regarding possible gaps in RM description of the
feature.
| gcc/ada/sem_util.adb | diffblobblamehistory |