[Ada] Mark Ada subprograms and variables referenced from gigi

2019-12-12  Eric Botcazou  <ebotcazou@adacore.com>

gcc/ada/

	* atree.ads, comperr.ads, debug.ads, einfo.ads, elists.ads,
	err_vars.ads, errout.ads, exp_ch11.ads, exp_code.ads,
	exp_dbug.ads, exp_tss.ads, exp_util.ads, lib.ads, namet.ads,
	nlists.ads, opt.ads, repinfo.ads, restrict.ads, scos.ads,
	sem_aggr.ads, sem_aux.ads, sem_eval.ads, sem_util.ads,
	sinfo.ads, sinput.ads, stringt.ads, targparm.ads, types.ads,
	urealp.ads warnsw.ads: Add WARNING line(s) in commentary.
	* atree.h, elists.h, namet.h, nlists.h, repinfo.h, scos.h,
	stringt.h, types.h, uintp.h, urealp.h: Tidy up.
	* fe.h: Likewise.  Document WARNING mark.

From-SVN: r279278

1 files changed, 14 insertions, 0 deletions

diff --git a/gcc/ada/sem_aux.ads b/gcc/ada/sem_aux.ads
index 55cfefa..ee3a2b3 100644
--- a/gcc/ada/sem_aux.ads
+++ b/gcc/ada/sem_aux.ads
@@ -91,6 +91,8 @@ package Sem_Aux is
    --  subtype then it returns the subtype or type from which the subtype was
    --  obtained, otherwise it returns Empty.
 
+   --  WARNING: There is a matching C declaration of this subprogram in fe.h
+
    function Available_View (Ent : Entity_Id) return Entity_Id;
    --  Ent denotes an abstract state or a type that may come from a limited
    --  with clause. Return the non-limited view of Ent if there is one or Ent
@@ -104,6 +106,8 @@ package Sem_Aux is
    --  constants from the point of view of constant folding. Empty is also
    --  returned for variables with no initialization expression.
 
+   --  WARNING: There is a matching C declaration of this subprogram in fe.h
+
    function Corresponding_Unsigned_Type (Typ : Entity_Id) return Entity_Id;
    --  Typ is a signed integer subtype. This routine returns the standard
    --  unsigned type with the same Esize as the implementation base type of
@@ -123,6 +127,8 @@ package Sem_Aux is
    --  When called on a private type with unknown discriminants, the function
    --  always returns Empty.
 
+   --  WARNING: There is a matching C declaration of this subprogram in fe.h
+
    function First_Stored_Discriminant (Typ : Entity_Id) return Entity_Id;
    --  Typ is a type with discriminants. Gives the first discriminant stored
    --  in an object of this type. In many cases, these are the same as the
@@ -146,11 +152,15 @@ package Sem_Aux is
    --  discriminants from Gigi's standpoint, i.e. those that will be stored in
    --  actual objects of the type.
 
+   --  WARNING: There is a matching C declaration of this subprogram in fe.h
+
    function First_Subtype (Typ : Entity_Id) return Entity_Id;
    --  Applies to all types and subtypes. For types, yields the first subtype
    --  of the type. For subtypes, yields the first subtype of the base type of
    --  the subtype.
 
+   --  WARNING: There is a matching C declaration of this subprogram in fe.h
+
    function First_Tag_Component (Typ : Entity_Id) return Entity_Id;
    --  Typ must be a tagged record type. This function returns the Entity for
    --  the first _Tag field in the record type.
@@ -317,6 +327,8 @@ package Sem_Aux is
    --  Ent is any entity. Returns True if Ent is a type entity where the type
    --  is required to be passed by reference, as defined in (RM 6.2(4-9)).
 
+   --  WARNING: There is a matching C declaration of this subprogram in fe.h
+
    function Is_Definite_Subtype (T : Entity_Id) return Boolean;
    --  T is a type entity. Returns True if T is a definite subtype.
    --  Indefinite subtypes are unconstrained arrays, unconstrained
@@ -329,6 +341,8 @@ package Sem_Aux is
    --  Determines if the given entity Ent is a derived type. Result is always
    --  false if argument is not a type.
 
+   --  WARNING: There is a matching C declaration of this subprogram in fe.h
+
    function Is_Generic_Formal (E : Entity_Id) return Boolean;
    --  Determine whether E is a generic formal parameter. In particular this is
    --  used to set the visibility of generic formals of a generic package