PR bootstrap/11932

[pf3gnuchains/gcc-fork.git] / gcc / ada / sem_elim.ads

diff --git a/gcc/ada/sem_elim.ads b/gcc/ada/sem_elim.ads
index 09ba5ac..133219e 100644 (file)
--- a/gcc/ada/sem_elim.ads
+++ b/gcc/ada/sem_elim.ads
@@ -6,9 +6,7 @@
 --                                                                          --
 --                                 S p e c                                  --
 --                                                                          --
---                            $Revision$
---                                                                          --
---          Copyright (C) 1997-2001 Free Software Foundation, Inc.          --
+--          Copyright (C) 1997-2003 Free Software Foundation, Inc.          --
 --                                                                          --
 -- GNAT is free software;  you can  redistribute it  and/or modify it under --
 -- terms of the  GNU General Public License as published  by the Free Soft- --
@@ -22,7 +20,7 @@
 -- MA 02111-1307, USA.                                                      --
 --                                                                          --
 -- GNAT was originally developed  by the GNAT team at  New York University. --
--- It is now maintained by Ada Core Technologies Inc (http://www.gnat.com). --
+-- Extensive contributions were provided by Ada Core Technologies Inc.      --
 --                                                                          --
 ------------------------------------------------------------------------------
 
@@ -36,21 +34,30 @@ package Sem_Elim is
    --  Initialize for new main souce program
 
    procedure Process_Eliminate_Pragma
-     (Arg_Unit_Name       : Node_Id;
+     (Pragma_Node         : Node_Id;
+      Arg_Unit_Name       : Node_Id;
       Arg_Entity          : Node_Id;
       Arg_Parameter_Types : Node_Id;
       Arg_Result_Type     : Node_Id;
       Arg_Homonym_Number  : Node_Id);
-   --  Process eliminate pragma. The number of arguments has been checked,
-   --  as well as possible optional identifiers, but no other checks have
-   --  been made. This subprogram completes the checking, and then if the
-   --  pragma is well formed, makes appropriate entries in the internal
-   --  tables used to keep track of Eliminate pragmas. The five arguments
-   --  are expressions (not pragma argument associations) for the possible
-   --  pragma arguments. A parameter that is not present is set to Empty.
+   --  Process eliminate pragma (given by Pragma_Node). The number of
+   --  arguments has been checked, as well as possible optional identifiers,
+   --  but no other checks have been made. This subprogram completes the
+   --  checking, and then if the pragma is well formed, makes appropriate
+   --  entries in the internal tables used to keep track of Eliminate pragmas.
+   --  The other five arguments are expressions (rather than pragma argument
+   --  associations) for the possible pragma arguments. A parameter that
+   --  is not present is set to Empty.
 
    procedure Check_Eliminated (E : Entity_Id);
    --  Checks if entity E is eliminated, and if so sets the Is_Eliminated
    --  flag on the given entity.
 
+   procedure Eliminate_Error_Msg (N : Node_Id; E : Entity_Id);
+   --  Called by the back end on encouterning a call to an eliminated
+   --  subprogram. N is the node for the call, and E is the entity of
+   --  the subprogram being eliminated.
+
+
+
 end Sem_Elim;