diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-10-14 15:49:17 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-11-25 08:22:42 -0500 |
| commit | 47c2b77ffb9a2a1b5c1b8ab7ee01a258e7a9cae7 (patch) | |
| tree | 858e1ce6f8accc889e36c6db71331c142cf4cd61 /gcc/ada/sem_util.ads | |
| parent | 14a16e30caecaddd7e19aabed2357cb9489d8d5c (diff) | |
| download | gcc-47c2b77ffb9a2a1b5c1b8ab7ee01a258e7a9cae7.zip gcc-47c2b77ffb9a2a1b5c1b8ab7ee01a258e7a9cae7.tar.gz gcc-47c2b77ffb9a2a1b5c1b8ab7ee01a258e7a9cae7.tar.bz2 | |
[Ada] Document attribute Has_Tagged_Values in GNAT RM
gcc/ada/
* doc/gnat_rm/implementation_defined_attributes.rst
(Has_Tagged_Values): Document based on the existing description
of Has_Access_Type and the comment for Has_Tagged_Component,
which is where frontend evaluates this attribute.
* gnat_rm.texi: Regenerate.
* sem_attr.adb (Analyze_Attribute): Merge processing of
Has_Access_Type and Has_Tagged_Component attributes.
* sem_util.adb (Has_Access_Type): Fix casing in comment.
* sem_util.ads (Has_Tagged_Component): Remove wrong (or
outdated) comment about the use of this routine to implement the
equality operator.
Diffstat (limited to 'gcc/ada/sem_util.ads')
| -rw-r--r-- | gcc/ada/sem_util.ads | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads index cd9b05c..b2af43a 100644 --- a/gcc/ada/sem_util.ads +++ b/gcc/ada/sem_util.ads @@ -1503,9 +1503,7 @@ package Sem_Util is function Has_Tagged_Component (Typ : Entity_Id) return Boolean; -- Returns True if Typ is a composite type (array or record) that is either -- a tagged type or has a subcomponent that is tagged. Returns False for a - -- noncomposite type, or if no tagged subcomponents are present. This - -- function is used to check if "=" has to be expanded into a bunch - -- component comparisons. + -- noncomposite type, or if no tagged subcomponents are present. function Has_Unconstrained_Access_Discriminants (Subtyp : Entity_Id) return Boolean; |