[Ada] Fix typos and style in comments related to Default_Initial_Condition
authorPiotr Trojanek <trojanek@adacore.com>
Mon, 27 Jul 2020 20:06:18 +0000 (22:06 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 21 Oct 2020 07:22:43 +0000 (03:22 -0400)
gcc/ada/

* einfo.ads, sem_ch3.adb, sem_util.adb: Fix comments.

gcc/ada/einfo.ads
gcc/ada/sem_ch3.adb
gcc/ada/sem_util.adb

index c60c070..107bd10 100644 (file)
@@ -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
index a8baad9..afd044d 100644 (file)
@@ -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.
 
index bd205f1..985d789 100644 (file)
@@ -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));