From: Piotr Trojanek Date: Mon, 27 Jul 2020 20:06:18 +0000 (+0200) Subject: [Ada] Fix typos and style in comments related to Default_Initial_Condition X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=53ac0963d48588c27dd57257e920c79915b5648b;p=gcc.git [Ada] Fix typos and style in comments related to Default_Initial_Condition gcc/ada/ * einfo.ads, sem_ch3.adb, sem_util.adb: Fix comments. --- diff --git a/gcc/ada/einfo.ads b/gcc/ada/einfo.ads index c60c070224c..107bd10f1d0 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 a8baad99d6b..afd044d93f9 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 bd205f1f3df..985d789b22f 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));