2004-05-17 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>

	Part of function-at-a-time conversion

	* misc.c (adjust_decl_rtl): Deleted.
	(LANG_HOOKS_PUSHLEVEL, LANG_HOOKS_POPLEVEL, LANG_HOOKS_SET_BLOCK):
	Define.

	* gigi.h: (adjust_decl_rtl, kept_level_p, set_block): Deleted.
	(add_decl_stmt, add_stmt, block_has_vars): New functions.
	(gnat_pushlevel, gnat_poplevel): Renamed from pushlevel and poplevel.

	* decl.c (elaborate_expression, maybe_pad_type): Call add_decl_stmt
	when making a decl.
	(gnat_to_gnu_entity): Likewise.
	Use add_stmt to update setjmp buffer.
	Set TREE_ADDRESSABLE instead of calling put_var_into_stack and
	flush_addressof.
	No longer call adjust_decl_rtl.
	(DECL_INIT_BY_ASSIGN_P): New macro.
	(DECL_STMT_VAR): Likewise.

	* trans.c (gigi): Call start_block_stmt to make the outermost
	BLOCK_STMT.
	(gnat_to_code, gnu_to_gnu, tree_transform, process_decls, process_type):
	Call start_block_stmt and end_block_stmt temporarily.
	Use gnat_expand_stmt instead of expand_expr_stmt.
	(add_decl_stmt): New function.
	(tree_transform): Call it.
	(add_stmt): Also emit initializing assignment for DECL_STMT if needed.
	(end_block_stmt): Set type and NULL_STMT.
	(gnat_expand_stmt): Make recursize call instead of calling
	expand_expr_stmt.
	(gnat_expand_stmt, case DECL_STMT): New case.
	(set_lineno_from_sloc): Do nothing if global.
	(gnu_block_stmt_node, gnu_block_stmt_free_list): New variables.
	(start_block_stmt, add_stmt, end_block_stmt): New functions.
	(build_block_stmt): Call them.
	(gnat_to_code): Don't expand NULL_STMT.
	(build_unit_elab): Rename pushlevel and poplevel to gnat_* and change
	args.
	(tree_transform): Likewise.
	(tree_transform, case N_Null_Statement): Return NULL_STMT.
	(gnat_expand_stmt, case NULL_STMT): New case.
	(gnat_expand_stmt, case IF_STMT): Allow nested IF_STMT to have no
	IF_STMT_TRUE.

	* utils2.c (gnat_mark_addressable, case VAR_DECL): Do not set
	TREE_ADDRESSABLE.

	* utils.c (create_var_decl): Do not call expand_decl or
	expand_decl_init.
	Set TREE_ADDRESSABLE instead of calling gnat_mark_addressable.
	Set DECL_INIT_BY_ASSIGN_P when needed and do not generate MODIFY_EXPR
	here.
	(struct e_stack): Add chain_next to GTY.
	(struct binding_level): Deleted.
	(struct ada_binding_level): New struct.
	(free_block_chain): New.
	(global_binding_level, clear_binding_level): Deleted.
	(global_bindings_p): Rework to see if no chain.
	(kept_level_p, set_block): Deleted.
	(gnat_pushlevel): Renamed from pushlevel and extensive reworked to use
	new data structure and work directly on BLOCK node.
	(gnat_poplevel): Similarly.
	(get_decls): Look at BLOCK_VARS.
	(insert_block): Work directly on BLOCK node.
	(block_has_var): New function.
	(pushdecl): Rework for new binding structures.
	(gnat_init_decl_processing): Rename and rework calls to pushlevel and
	poplevel.
	(build_subprog_body): Likewise.
	(end_subprog_body): Likewise; also set up BLOCK in DECL_INITIAL.

	* ada-tree.def (DECL_STMT, NULL_STMT): New codes.

	* ada-tree.h: (DECL_INIT_BY_ASSIGN_P): New macro.
	(DECL_STMT_VAR): Likewise.

2004-05-17  Robert Dewar  <dewar@gnat.com>

	* restrict.ads, restrict.adb (Process_Restriction_Synonym): New
	procedure

	* sem_prag.adb (Analyze_Pragma, case Restrictions): Cleanup handling
	of restriction synonyums by using
	Restrict.Process_Restriction_Synonyms.

	* snames.ads, snames.adb: Add entries for Process_Restriction_Synonym

	* s-restri.ads (Tasking_Allowed): Correct missing comment

	* s-rident.ads: Add entries for restriction synonyms

	* ali.adb: Fix some problems with badly formatted ALI files that can
	result in infinite loops.

	* s-taprop-lynxos.adb, s-tpopsp-lynxos.adb, s-taprop-tru64.adb,
	s-tpopsp-posix-foreign.adb, s-taprop-irix.adb, s-interr-sigaction.adb,
	s-taprop-irix-athread.adb, s-taprop-hpux-dce.adb, s-taprop-linux.adb,
	s-taprop-dummy.adb, s-interr-dummy.adb, s-taprop-os2.adb,
	s-taprop-solaris.adb, s-tpopsp-solaris.adb, s-asthan-vms.adb,
	s-inmaop-vms.adb, s-interr-vms.adb, s-taprop-vms.adb,
	s-tpopde-vms.adb, s-taprop-mingw.adb, s-interr-vxworks.adb,
	s-taprop-vxworks.adb, s-tpopsp-vxworks.adb, s-taprop-posix.adb,
	s-tpopsp-posix.adb, s-tratas-default.adb, a-dynpri.adb,
	a-tasatt.adb, a-taside.adb, a-taside.ads, exp_attr.adb,
	exp_ch9.adb, g-thread.adb, rtsfind.ads, sem_attr.adb,
	s-interr.adb, s-interr.ads, s-soflin.ads, s-taasde.adb,
	s-taasde.ads, s-taenca.adb, s-taenca.ads, s-taprop.ads,
	s-tarest.adb, s-tarest.ads, s-tasdeb.adb, s-tasdeb.ads,
	s-tasini.adb, s-tasini.ads, s-taskin.adb, s-taskin.ads,
	s-tasque.adb, s-tasque.ads, s-tasren.adb, s-tasren.ads,
	s-tassta.adb, s-tassta.ads, s-tasuti.adb, s-tasuti.ads,
	s-tataat.adb, s-tataat.ads, s-tpinop.adb, s-tpinop.ads,
	s-tpoben.adb, s-tpobop.adb, s-tpobop.ads, s-tporft.adb,
	s-tposen.adb, s-tposen.ads, s-tratas.adb, s-tratas.ads: Change Task_ID
	to Task_Id (minor cleanup).

2004-05-17  Vincent Celier  <celier@gnat.com>

	* g-os_lib.adb (Normalize_Pathname.Final_Value): Remove trailing
	directory separator.

	* prj-proc.adb (Recursive_Process): Inherit attribute Languages from
	project being extended, if Languages is not declared in extending
	project.

2004-05-17  Javier Miranda  <miranda@gnat.com>

	* sem_ch10.adb (Install_Limited_Withed_Unit): Do not install the
	limited view of a visible sibling.


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@81935 138bc75d-0d04-0410-961f-82ee72b054a4

1 files changed, 28 insertions, 28 deletions

diff --git a/gcc/ada/s-tasini.adb b/gcc/ada/s-tasini.adb
index eb87d302dbe..d05654ab66f 100644
--- a/gcc/ada/s-tasini.adb
+++ b/gcc/ada/s-tasini.adb
@@ -116,7 +116,7 @@ package body System.Tasking.Initialization is
    --  Get the exception stack for the current task
 
    procedure Set_Exc_Stack_Addr (Self_ID : Address; Addr : Address);
-   --  Self_ID is the Task_ID of the task that gets the exception stack.
+   --  Self_ID is the Task_Id of the task that gets the exception stack.
    --  For Self_ID = Null_Address, the current task gets the exception stack.
 
    function  Get_Machine_State_Addr return Address;
@@ -143,7 +143,7 @@ package body System.Tasking.Initialization is
    --  Local Subprograms --
    ------------------------
 
-   procedure Do_Pending_Action (Self_ID : Task_ID);
+   procedure Do_Pending_Action (Self_ID : Task_Id);
    --  This is introduced to allow more efficient
    --  in-line expansion of Undefer_Abort.
 
@@ -171,7 +171,7 @@ package body System.Tasking.Initialization is
 
    --  Call only with abort deferred and holding Self_ID locked.
 
-   procedure Change_Base_Priority (T : Task_ID) is
+   procedure Change_Base_Priority (T : Task_Id) is
    begin
       if T.Common.Base_Priority /= T.New_Base_Priority then
          T.Common.Base_Priority := T.New_Base_Priority;
@@ -184,7 +184,7 @@ package body System.Tasking.Initialization is
    ------------------------
 
    function Check_Abort_Status return Integer is
-      Self_ID : constant Task_ID := Self;
+      Self_ID : constant Task_Id := Self;
    begin
       if Self_ID /= null and then Self_ID.Deferral_Level = 0
         and then Self_ID.Pending_ATC_Level < Self_ID.ATC_Nesting_Level
@@ -199,7 +199,7 @@ package body System.Tasking.Initialization is
    -- Defer_Abort --
    -----------------
 
-   procedure Defer_Abort (Self_ID : Task_ID) is
+   procedure Defer_Abort (Self_ID : Task_Id) is
    begin
       if No_Abort and then not Dynamic_Priority_Support then
          return;
@@ -240,7 +240,7 @@ package body System.Tasking.Initialization is
    -- Defer_Abort_Nestable --
    --------------------------
 
-   procedure Defer_Abort_Nestable (Self_ID : Task_ID) is
+   procedure Defer_Abort_Nestable (Self_ID : Task_Id) is
    begin
       if No_Abort and then not Dynamic_Priority_Support then
          return;
@@ -261,7 +261,7 @@ package body System.Tasking.Initialization is
    --------------------
 
    procedure Defer_Abortion is
-      Self_ID : Task_ID;
+      Self_ID : Task_Id;
 
    begin
       if No_Abort and then not Dynamic_Priority_Support then
@@ -278,7 +278,7 @@ package body System.Tasking.Initialization is
 
    --  Call only when holding no locks
 
-   procedure Do_Pending_Action (Self_ID : Task_ID) is
+   procedure Do_Pending_Action (Self_ID : Task_Id) is
       use type Ada.Exceptions.Exception_Id;
 
    begin
@@ -353,7 +353,7 @@ package body System.Tasking.Initialization is
    --  not make any reference to the ATCB after the lock is released.
    --  See also comments on Terminate_Task and Unlock.
 
-   procedure Final_Task_Unlock (Self_ID : Task_ID) is
+   procedure Final_Task_Unlock (Self_ID : Task_Id) is
    begin
       pragma Assert (Self_ID.Global_Task_Lock_Nesting = 1);
       Unlock (Global_Task_Lock'Access, Global_Lock => True);
@@ -364,7 +364,7 @@ package body System.Tasking.Initialization is
    --------------
 
    procedure Init_RTS is
-      Self_Id : Task_ID;
+      Self_Id : Task_Id;
 
    begin
       --  Terminate run time (regular vs restricted) specific initialization
@@ -490,8 +490,8 @@ package body System.Tasking.Initialization is
    --  for this case is done in Terminate_Task.
 
    procedure Locked_Abort_To_Level
-     (Self_ID : Task_ID;
-      T       : Task_ID;
+     (Self_ID : Task_Id;
+      T       : Task_Id;
       L       : ATC_Level)
    is
    begin
@@ -590,7 +590,7 @@ package body System.Tasking.Initialization is
    --  In this version, we check if the task is held too because
    --  doing this only in Do_Pending_Action is not enough.
 
-   procedure Poll_Base_Priority_Change (Self_ID : Task_ID) is
+   procedure Poll_Base_Priority_Change (Self_ID : Task_Id) is
    begin
       if Dynamic_Priority_Support and then Self_ID.Pending_Priority_Change then
 
@@ -636,9 +636,9 @@ package body System.Tasking.Initialization is
    -- Remove_From_All_Tasks_List --
    --------------------------------
 
-   procedure Remove_From_All_Tasks_List (T : Task_ID) is
-      C        : Task_ID;
-      Previous : Task_ID;
+   procedure Remove_From_All_Tasks_List (T : Task_Id) is
+      C        : Task_Id;
+      Previous : Task_Id;
 
    begin
       pragma Debug
@@ -670,7 +670,7 @@ package body System.Tasking.Initialization is
    -- Task_Lock --
    ---------------
 
-   procedure Task_Lock (Self_ID : Task_ID) is
+   procedure Task_Lock (Self_ID : Task_Id) is
    begin
       Self_ID.Global_Task_Lock_Nesting := Self_ID.Global_Task_Lock_Nesting + 1;
 
@@ -690,7 +690,7 @@ package body System.Tasking.Initialization is
    ---------------
 
    function Task_Name return String is
-      Self_Id : constant Task_ID := STPO.Self;
+      Self_Id : constant Task_Id := STPO.Self;
 
    begin
       return Self_Id.Common.Task_Image (1 .. Self_Id.Common.Task_Image_Len);
@@ -700,7 +700,7 @@ package body System.Tasking.Initialization is
    -- Task_Unlock --
    -----------------
 
-   procedure Task_Unlock (Self_ID : Task_ID) is
+   procedure Task_Unlock (Self_ID : Task_Id) is
    begin
       pragma Assert (Self_ID.Global_Task_Lock_Nesting > 0);
       Self_ID.Global_Task_Lock_Nesting := Self_ID.Global_Task_Lock_Nesting - 1;
@@ -729,7 +729,7 @@ package body System.Tasking.Initialization is
    --  The priority change has to occur before abortion. Otherwise, it would
    --  take effect no earlier than the next abortion completion point.
 
-   procedure Undefer_Abort (Self_ID : Task_ID) is
+   procedure Undefer_Abort (Self_ID : Task_Id) is
    begin
       if No_Abort and then not Dynamic_Priority_Support then
          return;
@@ -765,7 +765,7 @@ package body System.Tasking.Initialization is
    --  as entry to the scope of a region with a finalizer and entry into the
    --  body of an accept-procedure.
 
-   procedure Undefer_Abort_Nestable (Self_ID : Task_ID) is
+   procedure Undefer_Abort_Nestable (Self_ID : Task_Id) is
    begin
       if No_Abort and then not Dynamic_Priority_Support then
          return;
@@ -793,7 +793,7 @@ package body System.Tasking.Initialization is
    --  to reduce overhead due to multiple calls to Self.
 
    procedure Undefer_Abortion is
-      Self_ID : Task_ID;
+      Self_ID : Task_Id;
 
    begin
       if No_Abort and then not Dynamic_Priority_Support then
@@ -823,7 +823,7 @@ package body System.Tasking.Initialization is
    procedure Update_Exception
      (X : AE.Exception_Occurrence := Current_Target_Exception)
    is
-      Self_Id : constant Task_ID := Self;
+      Self_Id : constant Task_Id := Self;
       use Ada.Exceptions;
 
    begin
@@ -885,11 +885,11 @@ package body System.Tasking.Initialization is
    --    if Entry_Call.State >= Was_Abortable.
 
    procedure Wakeup_Entry_Caller
-     (Self_ID    : Task_ID;
+     (Self_ID    : Task_Id;
       Entry_Call : Entry_Call_Link;
       New_State  : Entry_Call_State)
    is
-      Caller : constant Task_ID := Entry_Call.Self;
+      Caller : constant Task_Id := Entry_Call.Self;
 
    begin
       pragma Debug (Debug.Trace
@@ -951,7 +951,7 @@ package body System.Tasking.Initialization is
    end Get_Stack_Info;
 
    procedure Set_Exc_Stack_Addr (Self_ID : Address; Addr : Address) is
-      Me : Task_ID := To_Task_ID (Self_ID);
+      Me : Task_Id := To_Task_Id (Self_ID);
    begin
       if Me = Null_Task then
          Me := STPO.Self;
@@ -989,14 +989,14 @@ package body System.Tasking.Initialization is
    --  links will be redirected to the real subprogram by elaboration of
    --  the subprogram body where the real subprogram is declared.
 
-   procedure Finalize_Attributes (T : Task_ID) is
+   procedure Finalize_Attributes (T : Task_Id) is
       pragma Warnings (Off, T);
 
    begin
       null;
    end Finalize_Attributes;
 
-   procedure Initialize_Attributes (T : Task_ID) is
+   procedure Initialize_Attributes (T : Task_Id) is
       pragma Warnings (Off, T);
 
    begin