diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-05-26 12:35:14 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-05-26 12:35:14 +0200 |
| commit | 8349613899e2e1cf996052e2dba79e0551bfe880 (patch) | |
| tree | 0a6c5a1eb53a8b2f0eb4b41175119300a72c593e /gcc/ada/sem_aux.ads | |
| parent | 596b25f9a110b88d8c7e5fb1fa6cae5819b21691 (diff) | |
| download | gcc-8349613899e2e1cf996052e2dba79e0551bfe880.zip gcc-8349613899e2e1cf996052e2dba79e0551bfe880.tar.gz gcc-8349613899e2e1cf996052e2dba79e0551bfe880.tar.bz2 | |
[multiple changes]
2015-05-26 Doug Rupp <rupp@adacore.com>
* init.c [vxworks]: Refine previous checkin.
2015-05-26 Robert Dewar <dewar@adacore.com>
* exp_ch4.adb (Wrap_MA): New function.
(Expand_N_Op_Expon): Use Wrap_MA.
2015-05-26 Bob Duff <duff@adacore.com>
* exp_ch6.adb (Make_Build_In_Place_Call_In_Object_Declaration):
Do not use secondary stack to return limited records with
defaulted discriminants. This is an efficiency improvement.
* exp_ch6.adb, exp_dist.adb, sem_attr.adb, sem_aux.adb, sem_aux.ads,
sem_ch12.adb, sem_ch3.adb, sem_ch4.adb, sem_ch6.adb, sem_ch7.adb,
sem_util.adb: Change the sense of Is_Indefinite_Subtype to be
Is_Definite_Subtype. This is an improvement to readability (the double
negative in "not Is_Indefinite_Subtype" was slightly confusing). Also
disallow passing non-[sub]type entities, an unnecessary and slightly
bug-prone flexibility.
From-SVN: r223679
Diffstat (limited to 'gcc/ada/sem_aux.ads')
| -rw-r--r-- | gcc/ada/sem_aux.ads | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/gcc/ada/sem_aux.ads b/gcc/ada/sem_aux.ads index e3117f2..0120cc6 100644 --- a/gcc/ada/sem_aux.ads +++ b/gcc/ada/sem_aux.ads @@ -315,11 +315,13 @@ package Sem_Aux is -- used to set the visibility of generic formals of a generic package -- declared with a box or with partial parameterization. - function Is_Indefinite_Subtype (Ent : Entity_Id) return Boolean; - -- Ent is any entity. Determines if given entity is an unconstrained array - -- type or subtype, a discriminated record type or subtype with no initial - -- discriminant values or a class wide type or subtype and returns True if - -- so. False for other type entities, or any entities that are not types. + function Is_Definite_Subtype (T : Entity_Id) return Boolean; + -- T is a type entity. Returns True if T is a definite subtype. + -- Indefinite subtypes are unconstrained arrays, unconstrained + -- discriminated types without defaulted discriminants, class-wide types, + -- and types with unknown discriminants. Definite subtypes are all others + -- (elementary, constrained composites (including the case of records + -- without discriminants), and types with defaulted discriminants). function Is_Immutably_Limited_Type (Ent : Entity_Id) return Boolean; -- Implements definition in Ada 2012 RM-7.5 (8.1/3). This differs from the |