https://gcc.gnu.org/g:69bbc3a2b3fbd9ab632b1c581d0e51a7a5758bac
commit r16-2418-g69bbc3a2b3fbd9ab632b1c581d0e51a7a5758bac
Author: Ronan Desplanques <desplanq...@adacore.com>
Date: Fri Jul 11 09:05:57 2025 +0200
ada: Fix minor issues in comments
gcc/ada/ChangeLog:
* einfo.ads (Is_Controlled_Active): Fix pasto in comment.
* sem_util.ads (Propagate_Controlled_Flags): Update comment for
Destructor aspect.
Diff:
---
gcc/ada/einfo.ads | 2 +-
gcc/ada/sem_util.ads | 10 +++++-----
2 files changed, 6 insertions(+), 6 deletions(-)
diff --git a/gcc/ada/einfo.ads b/gcc/ada/einfo.ads
index 225f0fa0fccf..916d9c6f47c9 100644
--- a/gcc/ada/einfo.ads
+++ b/gcc/ada/einfo.ads
@@ -2529,7 +2529,7 @@ package Einfo is
-- Is_Controlled_Active [base type only]
-- Defined in all type entities. Indicates that the type is controlled,
-- i.e. has been declared with the Finalizable or the Destructor aspect
--- or has inherited the this aspect from an ancestor. Can only be set for
+-- or has inherited the aspect from an ancestor. Can only be set for
-- record types, tagged or untagged.
-- System.Finalization_Root.Root_Controlled is an example of the former
-- case while Ada.Finalization.Controlled and
diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads
index 943af8b5b142..4554f2423e19 100644
--- a/gcc/ada/sem_util.ads
+++ b/gcc/ada/sem_util.ads
@@ -2977,11 +2977,11 @@ package Sem_Util is
Comp : Boolean := False;
Deriv : Boolean := False);
-- Set Disable_Controlled, Finalize_Storage_Only, Has_Controlled_Component,
- -- Has_Relaxed_Finalization, and Is_Controlled_Active on Typ when the flags
- -- are set on From_Typ. If Comp is True, From_Typ is assumed to be the type
- -- of a component of Typ while, if Deriv is True, From_Typ is assumed to be
- -- the parent type of Typ. This procedure can only set flags for Typ, and
- -- never clear them.
+ -- Has_Destructor, Has_Relaxed_Finalization, and Is_Controlled_Active on
+ -- Typ when the flags are set on From_Typ. If Comp is True, From_Typ is
+ -- assumed to be the type of a component of Typ while, if Deriv is True,
+ -- From_Typ is assumed to be the parent type of Typ. This procedure can
+ -- only set flags for Typ, and never clear them.
procedure Propagate_DIC_Attributes
(Typ : Entity_Id;
