2004-07-20 Olivier Hainque <hainque@act-europe.fr>

	* a-elchha.adb (Last_Chance_Handler): Remove the bogus buffer dynamic
	allocation and potentially overflowing update with
	Tailored_Exception_Information. Use the sec-stack free procedural
	interface to output Exception_Information instead.

	* a-except.adb (To_Stderr): New subprogram for character, and string
	version moved from a-exextr to be visible from other separate units.
	(Tailored_Exception_Information): Remove the procedural version,
	previously used by the default Last_Chance_Handler and not any more.
	Adjust various comments.

	* a-exexda.adb: Generalize the exception information procedural
	interface, to minimize the use of secondary stack and the need for
	local buffers when the info is to be output to stderr:
	(Address_Image): Removed.
	(Append_Info_Character): New subprogram, checking for overflows and
	outputing to stderr if buffer to fill is of length 0.
	(Append_Info_String): Output to stderr if buffer to fill is of length 0.
	(Append_Info_Address, Append_Info_Exception_Name,
	Append_Info_Exception_Message, Append_Info_Basic_Exception_Information,
	Append_Info_Basic_Exception_Traceback,
	Append_Info_Exception_Information): New subprograms.
	(Append_Info_Nat, Append_Info_NL): Use Append_Info_Character.
	(Basic_Exception_Info_Maxlength, Basic_Exception_Tback_Maxlength,
	Exception_Info_Maxlength, Exception_Name_Length,
	Exception_Message_Length): New subprograms.
	(Exception_Information): Use Append_Info_Exception_Information.
	(Tailored_Exception_Information): Use
	Append_Info_Basic_Exception_Information.
	Export services for the default Last_Chance_Handler.

	* a-exextr.adb (To_Stderr): Remove. Now in a-except to be usable by
	other separate units.

2004-07-20  Vincent Celier  <celier@gnat.com>

	* clean.adb, mlib-utl.adb, osint.adb, makegpr.adb: Minor reformatting.

2004-07-20  Ed Schonberg  <schonberg@gnat.com>

	* freeze.adb (Freeze_Entity): If entity is a discriminated record type,
	emit itype references for the designated types of component types that
	are declared outside of the full record declaration, and that may
	denote a partial view of that record type.

2004-07-20  Ed Schonberg  <schonberg@gnat.com>

	PR ada/15607
	* sem_ch3.adb (Build_Discriminated_Subtype): Do not attach a subtype
	which is the designated type in an access component declaration, to the
	list of incomplete dependents of the parent type, to avoid elaboration
	issues with out-of-scope subtypes.
	(Complete_Private_Subtype): Recompute Has_Unknown_Discriminants from the
	full view of the parent.

2004-07-20  Ed Schonberg  <schonberg@gnat.com>

	PR ada/15610
	* sem_ch8.adb (Find_Expanded_Name): If name is overloaded, reject
	entities that are hidden, such as references to generic actuals
	outside an instance.

2004-07-20  Javier Miranda  <miranda@gnat.com>

	* sem_ch4.adb (Try_Object_Operation): New subprogram that gives
	support to the new notation.
	(Analyze_Selected_Component): Add call to Try_Object_Operation.

2004-07-20  Jose Ruiz  <ruiz@act-europe.fr>

	* s-taprob.adb: Adding the elaboration code required for initializing
	the tasking soft links that are common to the full and the restricted
	run times.

	* s-tarest.adb (Init_RTS): Tasking soft links that are shared with the
	restricted run time has been moved to the package
	System.Soft_Links.Tasking.

	* s-tasini.adb (Init_RTS): Tasking soft links that are shared with the
	restricted run time has been moved to the package
	System.Soft_Links.Tasking.

	* Makefile.rtl: Add entry for s-solita.o in run-time library list.

	* s-solita.ads, s-solita.adb: New files.

2004-07-20  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>

	* trans.c (Identifier_to_gnu, Pragma_to_gnu, Attribute_to_gnu,
	Case_Statement_to_gnu): Split off from gnat_to_gnu.
	(Loop_Statement_to_gnu, Subprogram_Body_to_gnu, call_to_gnu,
	Handled_Sequence_Of_Statements_to_gnu, Exception_Handler_to_gnu_sjlj,
	Exception_Handler_to_gnu_zcx): Likewise.


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

1 files changed, 164 insertions, 0 deletions

diff --git a/gcc/ada/s-solita.adb b/gcc/ada/s-solita.adb
new file mode 100644
index 00000000000..4144acc3407
--- /dev/null
+++ b/gcc/ada/s-solita.adb
@@ -0,0 +1,164 @@
+------------------------------------------------------------------------------
+--                                                                          --
+--                         GNAT COMPILER COMPONENTS                         --
+--                                                                          --
+--             S Y S T E M . S O F T _ L I N K S . T A S K I N G            --
+--                                                                          --
+--                                 B o d y                                  --
+--                                                                          --
+--             Copyright (C) 2004, 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- --
+-- ware  Foundation;  either version 2,  or (at your option) any later ver- --
+-- sion.  GNAT is distributed in the hope that it will be useful, but WITH- --
+-- OUT ANY WARRANTY;  without even the  implied warranty of MERCHANTABILITY --
+-- or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License --
+-- for  more details.  You should have  received  a copy of the GNU General --
+-- Public License  distributed with GNAT;  see file COPYING.  If not, write --
+-- to  the Free Software Foundation,  59 Temple Place - Suite 330,  Boston, --
+-- MA 02111-1307, USA.                                                      --
+--                                                                          --
+-- As a special exception,  if other files  instantiate  generics from this --
+-- unit, or you link  this unit with other files  to produce an executable, --
+-- this  unit  does not  by itself cause  the resulting  executable  to  be --
+-- covered  by the  GNU  General  Public  License.  This exception does not --
+-- however invalidate  any other reasons why  the executable file  might be --
+-- covered by the  GNU Public License.                                      --
+--                                                                          --
+-- GNAT was originally developed  by the GNAT team at  New York University. --
+-- Extensive contributions were provided by Ada Core Technologies Inc.      --
+--                                                                          --
+------------------------------------------------------------------------------
+
+--  This package contains the tasking versions soft links.
+
+pragma Style_Checks (All_Checks);
+--  Turn off subprogram alpha ordering check, since we group soft link
+--  bodies and dummy soft link bodies together separately in this unit.
+
+pragma Polling (Off);
+--  Turn polling off for this package. We don't need polling during any
+--  of the routines in this package, and more to the point, if we try
+--  to poll it can cause infinite loops.
+
+with System.Task_Primitives.Operations;
+--  Used for Self
+--           Timed_Delay
+
+package body System.Soft_Links.Tasking is
+
+   package STPO renames System.Task_Primitives.Operations;
+   package SSL  renames System.Soft_Links;
+
+   ----------------
+   -- Local Data --
+   ----------------
+
+   Initialized : Boolean := False;
+   --  Boolean flag that indicates whether the tasking soft links have
+   --  already been set.
+
+   ----------------------------------------------------------------------
+   -- Tasking versions of some services needed by non-tasking programs --
+   ----------------------------------------------------------------------
+
+   function  Get_Jmpbuf_Address return  Address;
+   procedure Set_Jmpbuf_Address (Addr : Address);
+   --  Get/Set Jmpbuf_Address for current task
+
+   function  Get_Sec_Stack_Addr return  Address;
+   procedure Set_Sec_Stack_Addr (Addr : Address);
+   --  Get/Set location of current task's secondary stack
+
+   function  Get_Machine_State_Addr return Address;
+   procedure Set_Machine_State_Addr (Addr : Address);
+   --  Get/Set the address for storing the current task's machine state
+
+   function Get_Current_Excep return SSL.EOA;
+   --  Task-safe version of SSL.Get_Current_Excep
+
+   procedure Timed_Delay_T (Time : Duration; Mode : Integer);
+   --  Task-safe version of SSL.Timed_Delay
+
+   ----------------------
+   -- Soft-Link Bodies --
+   ----------------------
+
+   function Get_Current_Excep return SSL.EOA is
+   begin
+      return STPO.Self.Common.Compiler_Data.Current_Excep'Access;
+   end Get_Current_Excep;
+
+   function Get_Jmpbuf_Address return  Address is
+   begin
+      return STPO.Self.Common.Compiler_Data.Jmpbuf_Address;
+   end Get_Jmpbuf_Address;
+
+   function Get_Machine_State_Addr return Address is
+   begin
+      return STPO.Self.Common.Compiler_Data.Machine_State_Addr;
+   end Get_Machine_State_Addr;
+
+   function Get_Sec_Stack_Addr return  Address is
+   begin
+      return STPO.Self.Common.Compiler_Data.Sec_Stack_Addr;
+   end Get_Sec_Stack_Addr;
+
+   procedure Set_Jmpbuf_Address (Addr : Address) is
+   begin
+      STPO.Self.Common.Compiler_Data.Jmpbuf_Address := Addr;
+   end Set_Jmpbuf_Address;
+
+   procedure Set_Machine_State_Addr (Addr : Address) is
+   begin
+      STPO.Self.Common.Compiler_Data.Machine_State_Addr := Addr;
+   end Set_Machine_State_Addr;
+
+   procedure Set_Sec_Stack_Addr (Addr : Address) is
+   begin
+      STPO.Self.Common.Compiler_Data.Sec_Stack_Addr := Addr;
+   end Set_Sec_Stack_Addr;
+
+   procedure Timed_Delay_T (Time : Duration; Mode : Integer) is
+   begin
+      STPO.Timed_Delay (STPO.Self, Time, Mode);
+   end Timed_Delay_T;
+
+   -----------------------------
+   -- Init_Tasking_Soft_Links --
+   -----------------------------
+
+   procedure Init_Tasking_Soft_Links is
+   begin
+      --  If the tasking soft links have already been initialized do not
+      --  repeat it.
+
+      if not Initialized then
+         --  Mark tasking soft links as initialized
+
+         Initialized := True;
+
+         --  The application being executed uses tasking so that the tasking
+         --  version of the following soft links need to be used.
+
+         SSL.Get_Jmpbuf_Address     := Get_Jmpbuf_Address'Access;
+         SSL.Set_Jmpbuf_Address     := Set_Jmpbuf_Address'Access;
+         SSL.Get_Sec_Stack_Addr     := Get_Sec_Stack_Addr'Access;
+         SSL.Set_Sec_Stack_Addr     := Set_Sec_Stack_Addr'Access;
+         SSL.Get_Machine_State_Addr := Get_Machine_State_Addr'Access;
+         SSL.Set_Machine_State_Addr := Set_Machine_State_Addr'Access;
+         SSL.Get_Current_Excep      := Get_Current_Excep'Access;
+         SSL.Timed_Delay            := Timed_Delay_T'Access;
+
+         --  No need to create a new Secondary Stack, since we will use the
+         --  default one created in s-secsta.adb
+
+         SSL.Set_Sec_Stack_Addr     (SSL.Get_Sec_Stack_Addr_NT);
+         SSL.Set_Jmpbuf_Address     (SSL.Get_Jmpbuf_Address_NT);
+         SSL.Set_Machine_State_Addr (SSL.Get_Machine_State_Addr_NT);
+      end if;
+
+   end Init_Tasking_Soft_Links;
+
+end System.Soft_Links.Tasking;