diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-07-27 22:06:18 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-10-21 03:22:43 -0400 |
| commit | 53ac0963d48588c27dd57257e920c79915b5648b (patch) | |
| tree | cb5af6b29c0c74d01a4741e636df1fbee9f20c65 | |
| parent | ac38961bad550e8054eff14466fdc8884bee1502 (diff) | |
| download | gcc-53ac0963d48588c27dd57257e920c79915b5648b.zip gcc-53ac0963d48588c27dd57257e920c79915b5648b.tar.gz gcc-53ac0963d48588c27dd57257e920c79915b5648b.tar.bz2 | |
[Ada] Fix typos and style in comments related to Default_Initial_Condition
gcc/ada/
* einfo.ads, sem_ch3.adb, sem_util.adb: Fix comments.
| -rw-r--r-- | gcc/ada/einfo.ads | 4 | ||||
| -rw-r--r-- | gcc/ada/sem_ch3.adb | 2 | ||||
| -rw-r--r-- | 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)); |