diff options
| author | Justin Squirek <squirek@adacore.com> | 2024-02-25 19:30:01 +0000 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2024-05-16 10:49:33 +0200 |
| commit | 568c79570a569256d6191e20a6491ba304b28a04 (patch) | |
| tree | c9809f935959475e8ec3f5a1e286c9b4562ad04e /gcc/tree-vectorizer.h | |
| parent | 33ae453d6836d94f8bcf28f414ce1b4e2e8b9111 (diff) | |
| download | gcc-568c79570a569256d6191e20a6491ba304b28a04.zip gcc-568c79570a569256d6191e20a6491ba304b28a04.tar.gz gcc-568c79570a569256d6191e20a6491ba304b28a04.tar.bz2 | |
ada: Implement new experimental attribute 'Super
This patch implements (under -gnatX0) the 'Super attribute which can be
applied to tagged objects in order to get a view conversion to their
immediate parent.
gcc/ada/
* doc/gnat_rm/implementation_defined_attributes.rst: Add entry for
Super attribute.
* accessibility.adb (Accessibility_Level): Add handling for Super.
* exp_attr.adb (Expand_N_Attribute_Reference): Add entry for
Super.
* sem_attr.adb (Analyze_Attribute): Create a case to handle the
semantic checking and expansion for Super.
(Eval_Attribute): Add entry for Super.
* sem_attr.ads: Add entry for Super.
* sem_util.adb (Is_Aliased_View, Is_Variable): Add case to handle
references to 'Super.
* snames.ads-tmpl: Register Name_Super and Attribute_Super.
* gnat_rm.texi: Regenerate.
Diffstat (limited to 'gcc/tree-vectorizer.h')
0 files changed, 0 insertions, 0 deletions