gcc/ada/
* einfo.ads, sem_ch3.adb, sem_util.adb: Fix comments.
-- 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
-- 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.
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));