2010-10-26 Matthew Heaney <heaney@adacore.com>

[thirdparty/gcc.git] / gcc / ada / sem_util.ads

diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads
index 935b410b069b79cb9dc4b690c104c80ee09edf2b..18d141eae6d56f02ee70353a7dd74aa5876ca95e 100644 (file)
--- a/gcc/ada/sem_util.ads
+++ b/gcc/ada/sem_util.ads
@@ -769,17 +769,20 @@ package Sem_Util is
    --  conversions and hence variables.
 
    function Is_Partially_Initialized_Type
-     (Typ          : Entity_Id;
-      Include_Null : Boolean := True) return Boolean;
+     (Typ              : Entity_Id;
+      Include_Implicit : Boolean := True) return Boolean;
    --  Typ is a type entity. This function returns true if this type is partly
    --  initialized, meaning that an object of the type is at least partly
    --  initialized (in particular in the record case, that at least one
    --  component has an initialization expression). Note that initialization
    --  resulting from the use of pragma Normalized_Scalars does not count.
-   --  Include_Null controls the handling of access types, and components of
-   --  access types not explicitly initialized. If set to True, the default,
-   --  default initialization of access types counts as making the type be
-   --  partially initialized. If False, this does not count.
+   --  Include_Implicit controls whether implicit initialiation of access
+   --  values to null, and of discriminant values, is counted as making the
+   --  type be partially initialized. For the default setting of True, these
+   --  implicit cases do count, and discriminated types or types containing
+   --  access values not explicitly initialized will return True. Otherwise
+   --  if Include_Implicit is False, these cases do not count as making the
+   --  type be partially initialied.
 
    function Is_Potentially_Persistent_Type (T : Entity_Id) return Boolean;
    --  Determines if type T is a potentially persistent type. A potentially