diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-04-27 11:30:06 +0200 |
|---|---|---|
| committer | Giuliano Belinassi <giuliano.belinassi@usp.br> | 2020-08-17 13:14:06 -0300 |
| commit | 7012abc11bf3e6bfb8a605f066cd3771459d2446 (patch) | |
| tree | f6a56be76dfe162ce1c5679a39397ec627d8545d /gcc | |
| parent | f42f7e22e52183eaf071594cce3028ed8d80b106 (diff) | |
| download | gcc-7012abc11bf3e6bfb8a605f066cd3771459d2446.zip gcc-7012abc11bf3e6bfb8a605f066cd3771459d2446.tar.gz gcc-7012abc11bf3e6bfb8a605f066cd3771459d2446.tar.bz2 | |
[Ada] Add comments about attribute 'Valid_Scalars on private tagged types
2020-06-19 Piotr Trojanek <trojanek@adacore.com>
gcc/ada/
* exp_attr.adb (Expand_N_Attribute_Reference): Add comment.
* sem_attr.adb (Analyze_Attribute): Add ??? comment.
* sem_util.ads (Valid_Scalars): This routine is only used for
'Valid_Scalars and not for 'Valid.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/exp_attr.adb | 3 | ||||
| -rw-r--r-- | gcc/ada/sem_attr.adb | 4 | ||||
| -rw-r--r-- | gcc/ada/sem_util.ads | 8 |
3 files changed, 10 insertions, 5 deletions
diff --git a/gcc/ada/exp_attr.adb b/gcc/ada/exp_attr.adb index 0eead44..84a36f8 100644 --- a/gcc/ada/exp_attr.adb +++ b/gcc/ada/exp_attr.adb @@ -7094,7 +7094,8 @@ package body Exp_Attr is Expr := Empty; - -- Attribute 'Valid_Scalars is not supported on private tagged types + -- Attribute 'Valid_Scalars is not supported on private tagged types; + -- see a detailed explanation where this attribute is analyzed. if Is_Private_Type (Ptyp) and then Is_Tagged_Type (Ptyp) then null; diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb index bf45fb8..3bd87fd 100644 --- a/gcc/ada/sem_attr.adb +++ b/gcc/ada/sem_attr.adb @@ -7016,6 +7016,10 @@ package body Sem_Attr is -- types due to a code generation issue. Is_Visible_Component -- does not allow for a component of a private tagged type to -- be successfully retrieved. + -- ??? This attribute should simply ignore type privacy + -- (see Validated_View). It should examine components of the + -- tagged type extensions (if any) and recursively examine + -- 'Valid_Scalars of the parent's type (if any). -- Do not use Error_Attr_P because this bypasses any subsequent -- processing and leaves the attribute with type Any_Type. This diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads index 7a54b5c..d99edea 100644 --- a/gcc/ada/sem_util.ads +++ b/gcc/ada/sem_util.ads @@ -3050,10 +3050,10 @@ package Sem_Util is -- conversions, and unchecked conversions. function Validated_View (Typ : Entity_Id) return Entity_Id; - -- Obtain the "validated view" of arbitrary type Typ which is suitable - -- for verification by attributes 'Valid and 'Valid_Scalars. This view - -- is the type itself or its full view while stripping away concurrency, - -- derivations, and privacy. + -- Obtain the "validated view" of arbitrary type Typ which is suitable for + -- verification by attributes 'Valid_Scalars. This view is the type itself + -- or its full view while stripping away concurrency, derivations, and + -- privacy. function Visible_Ancestors (Typ : Entity_Id) return Elist_Id; -- [Ada 2012:AI-0125-1]: Collect all the visible parents and progenitors |