diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2021-02-10 10:52:04 -0500 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-06-15 06:19:30 -0400 |
| commit | 9e47051a3785f6a55dc63f9a1eaeccd19895c18c (patch) | |
| tree | aa32d64e82581a5045ba7c89d797cea06224fdcd /gcc/ada/gcc-interface/system.ads | |
| parent | 3d4fbcb4c98bc593e7e9ff7e0202d622d6c64f73 (diff) | |
| download | gcc-9e47051a3785f6a55dc63f9a1eaeccd19895c18c.zip gcc-9e47051a3785f6a55dc63f9a1eaeccd19895c18c.tar.gz gcc-9e47051a3785f6a55dc63f9a1eaeccd19895c18c.tar.bz2 | |
[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.
Diffstat (limited to 'gcc/ada/gcc-interface/system.ads')
0 files changed, 0 insertions, 0 deletions