From 53ac0963d48588c27dd57257e920c79915b5648b Mon Sep 17 00:00:00 2001 From: Piotr Trojanek Date: Mon, 27 Jul 2020 22:06:18 +0200 Subject: [PATCH] [Ada] Fix typos and style in comments related to Default_Initial_Condition gcc/ada/ * einfo.ads, sem_ch3.adb, sem_util.adb: Fix comments. --- gcc/ada/einfo.ads | 4 ++-- gcc/ada/sem_ch3.adb | 2 +- gcc/ada/sem_util.adb | 2 +- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/gcc/ada/einfo.ads b/gcc/ada/einfo.ads index c60c070..107bd10 100644 --- a/gcc/ada/einfo.ads +++ b/gcc/ada/einfo.ads @@ -1861,8 +1861,8 @@ package Einfo is -- Has_Own_DIC (Flag3) [base type only] -- Defined in all type entities. Set for a private type and its full view --- (and its underlying full view, if the full view is itsef private) when --- the type is subject to pragma Default_Initial_Condition. +-- (and its underlying full view, if the full view is itself private) +-- when the type is subject to pragma Default_Initial_Condition. -- Has_Own_Invariants (Flag232) [base type only] -- Defined in all type entities. Set on any type that defines at least diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb index a8baad9..afd044d 100644 --- a/gcc/ada/sem_ch3.adb +++ b/gcc/ada/sem_ch3.adb @@ -7241,7 +7241,7 @@ package body Sem_Ch3 is -- Introduce an implicit base type for the derived type even if there -- is no constraint attached to it, since this seems closer to the -- Ada semantics. Build a full type declaration tree for the derived - -- type using the implicit base type as the defining identifier. The + -- type using the implicit base type as the defining identifier. Then -- build a subtype declaration tree which applies the constraint (if -- any) have it replace the derived type declaration. diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index bd205f1..985d789 100644 --- a/gcc/ada/sem_util.adb +++ b/gcc/ada/sem_util.adb @@ -8435,7 +8435,7 @@ package body Sem_Util is if Has_Own_DIC (Typ) then DIC_Typ := Typ; - -- Otherwise the DIC pragma is inherited from a parent type + -- Otherwise the DIC pragma is inherited from a parent type else pragma Assert (Has_Inherited_DIC (Typ)); -- 2.7.4