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

	* vms_conv.ads: Minor reformatting.
	Alphabetical order for enumerated values of type Command_Type, to have
	the command in alphabetical order for the usage.

	* vms_conv.adb (Process_Argument): Set Keep_Temporary_Files to True for
	the special qualifier /KEEP_TEMPORARY_FILES (minimum 6 characters).

	* gnat_ugn.texi: Document new switch -dn for the GNAT driver.

	* makegpr.adb (Global_Archive_Exists): New global Boolean variable
	(Add_Archive_Path): Only add the global archive if there is one.
	(Build_Global_Archive): Set Global_Archive_Exists depending if there is
	or not any object file to put in the global archive, and don't build
	a global archive if there is none.
	(X_Switches): New table
	(Compile_Link_With_Gnatmake): Pass to gnatmake the -X switches stored
	in the X_Switches table, if any.
	(Initialize): Make sure the X_Switches table is empty
	(Scan_Arg): Record -X switches in table X_Switches

	* opt.ads (Keep_Temporary_Files): New Boolean flag, defaulted to False.

	* make.adb: Minor comment fix

	* gnatname.adb (Gnatname): When not on VMS, and gnatname has been
	invoked with directory information, add the directory in front of the
	path.

	* gnatchop.adb (Gnatchop): When not on VMS, and gnatchop has been
	invoked with directory information, add the directory in front of the
	path.

	* gnatcmd.adb (Delete_Temp_Config_Files): Only delete temporary files
	when Keep_Temporary_Files is False.
	(GNATCmd): When not on VMS, and the GNAT driver has been invoked with
	directory information, add the directory in front of the path.
	When not on VMS, handle new switch -dn before the command to set
	Keep_Temporary_Files to True.
	(Non_VMS_Usage): Use lower case for the non VMS usage: this is valid
	everywhere.

	* gnatlink.adb (Gnatlink): When not on VMS, and gnatlink has been
	invoked with directory information, add the directory in front of the
	path.

2004-07-06  Thomas Quinot  <quinot@act-europe.fr>

	* snames.ads, snames.adb (Name_Stub): New name for the distributed
	systems annex.

	* rtsfind.ads: New RTE TC_Object, for DSA/PolyORB.
	New RTEs RAS_Proxy_Type and RAS_Proxy_Type_Access, for DSA.

	* g-socket.adb (To_Timeval): Fix incorrect conversion of
	Selector_Duration to Timeval for the case of 0.0.

	* exp_util.ads (Evolve_Or_Else): Fix overenthusiastic copy/paste of
	documentation from Evolve_And_Then.

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

	* s-taprop-tru64.adb, s-taprop-os2.adb,
	s-taprop-mingw.adb, s-taprop-posix.adb: Update comment.

2004-07-06  Robert Dewar  <dewar@gnat.com>

	* s-osinte-hpux.ads, s-osinte-freebsd.ads,
	s-osinte-lynxos.ads, s-taprop-lynxos.adb, s-osinte-tru64.ads,
	s-osinte-aix.ads, s-osinte-irix.ads, s-taprop-irix.adb,
	s-interr-sigaction.adb, s-taprop-irix-athread.adb,
	s-osinte-hpux-dce.adb, s-taprop-hpux-dce.adb,
	s-taprop-linux.adb, s-taprop-dummy.adb, s-taprop-solaris.adb,
	s-interr-vms.adb, s-osinte-vms.ads, s-taprop-vms.adb,
	s-osinte-vxworks.ads, s-osprim-vxworks.adb, a-numaux-x86.adb,
	a-except.adb, a-exexpr.adb, a-intsig.adb, a-tags.adb,
	a-tags.ads, bindgen.ads, checks.adb, checks.adb,
	csets.ads, einfo.ads, einfo.ads, elists.adb, exp_ch4.adb,
	exp_ch7.adb, exp_dist.adb, exp_util.adb, freeze.adb,
	g-dynhta.adb, gnatmem.adb, g-regexp.adb, inline.adb,
	i-os2thr.ads, osint.adb, prj.adb, scng.adb, sem_cat.adb,
	sem_ch10.adb, sem_ch12.adb, sem_ch4.adb, sem_ch7.adb,
	sem_ch8.adb, sem_disp.adb, sem_prag.adb, sem_res.adb,
	sem_type.adb, sem_type.ads, sem_warn.adb, s-ficobl.ads,
	s-finimp.adb, s-htable.adb, sinfo.ads, sinput-l.ads,
	s-interr.adb, s-interr.ads, sprint.adb, s-tarest.adb,
	s-tasini.ads, s-taskin.ads, s-taskin.ads, uname.adb,
	vms_data.ads: Minor reformatting,
	Fix bad box comment format.

	* gnat_rm.texi: Fix minor grammatical error

	* sem_attr.adb, exp_attr.adb: New attribute Has_Access_Values

	* sem_util.ads, sem_util.adb (Requires_Transient_Scope): Allow many
	more cases of discriminated records to be recognized as not needing a
	secondary stack.
	(Has_Access_Values): New function.

	* snames.h, snames.adb, snames.ads: New attribute Has_Access_Values

	* cstand.adb, layout.ads, layout.adb, sem_ch13.ads: Change name
	Set_Prim_Alignment to Set_Elem_Alignment (more accurate correspondence
	with LRM terminology).
	Change terminology in comments primitive type => elementary type.

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

	PR ada/15602
	* sem_ch7.adb (Unit_Requires_Body): For a generic package, the formal
	parameters do not impose any requirements on the presence of a body.

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

	PR ada/15593
	* sem_ch12.adb (Analyze_Package_Instantiation): If the generic is not a
	compilation unit and is in an open scope at the point of instantiation,
	assume that a body may be present later.

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

	* sem_ch13.adb (Analyze_Attribute_Definition_Clause, case 'Size):
	Improve error message when specified size is not supported.

	* sem_ch6.adb (Maybe_Primitive_Operation): A library-level subprogram
	is never a primitive operation.


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

1 files changed, 226 insertions, 223 deletions

diff --git a/gcc/ada/s-taprop-dummy.adb b/gcc/ada/s-taprop-dummy.adb
index bd5d05800f5..c6d4ba07c7c 100644
--- a/gcc/ada/s-taprop-dummy.adb
+++ b/gcc/ada/s-taprop-dummy.adb
@@ -55,49 +55,79 @@ package body System.Task_Primitives.Operations is
    pragma Warnings (Off);
    --  Turn off warnings since so many unreferenced parameters
 
-   -----------------
-   -- Stack_Guard --
-   -----------------
+   No_Tasking : Boolean;
+   --  Comment required here ???
 
-   procedure Stack_Guard (T : ST.Task_Id; On : Boolean) is
+   ----------------
+   -- Abort_Task --
+   ----------------
+
+   procedure Abort_Task (T : Task_Id) is
    begin
       null;
-   end Stack_Guard;
+   end Abort_Task;
+
+   ----------------
+   -- Check_Exit --
+   ----------------
+
+   --  Dummy version
+
+   function Check_Exit (Self_ID : ST.Task_Id) return Boolean is
+   begin
+      return True;
+   end Check_Exit;
 
    --------------------
-   -- Get_Thread_Id  --
+   -- Check_No_Locks --
    --------------------
 
-   function Get_Thread_Id (T : ST.Task_Id) return OSI.Thread_Id is
+   function Check_No_Locks (Self_ID : ST.Task_Id) return Boolean is
    begin
-      return OSI.Thread_Id (T.Common.LL.Thread);
-   end Get_Thread_Id;
+      return True;
+   end Check_No_Locks;
 
-   ----------
-   -- Self --
-   ----------
+   ----------------------
+   -- Environment_Task --
+   ----------------------
 
-   function Self return Task_Id is
+   function Environment_Task return Task_Id is
    begin
-      return Null_Task;
-   end Self;
+      return null;
+   end Environment_Task;
 
-   ---------------------
-   -- Initialize_Lock --
-   ---------------------
+   -----------------
+   -- Create_Task --
+   -----------------
 
-   procedure Initialize_Lock
-     (Prio : System.Any_Priority;
-      L    : access Lock)
+   procedure Create_Task
+     (T          : Task_Id;
+      Wrapper    : System.Address;
+      Stack_Size : System.Parameters.Size_Type;
+      Priority   : System.Any_Priority;
+      Succeeded  : out Boolean)
    is
    begin
+      Succeeded := False;
+   end Create_Task;
+
+   ----------------
+   -- Enter_Task --
+   ----------------
+
+   procedure Enter_Task (Self_ID : Task_Id) is
+   begin
       null;
-   end Initialize_Lock;
+   end Enter_Task;
 
-   procedure Initialize_Lock (L : access RTS_Lock; Level : Lock_Level) is
+   ---------------
+   -- Exit_Task --
+   ---------------
+
+   procedure Exit_Task is
    begin
       null;
-   end Initialize_Lock;
+   end Exit_Task;
 
    -------------------
    -- Finalize_Lock --
@@ -113,92 +143,85 @@ package body System.Task_Primitives.Operations is
       null;
    end Finalize_Lock;
 
-   ----------------
-   -- Write_Lock --
-   ----------------
-
-   procedure Write_Lock (L : access Lock; Ceiling_Violation : out Boolean) is
-   begin
-      Ceiling_Violation := False;
-   end Write_Lock;
+   ------------------
+   -- Finalize_TCB --
+   ------------------
 
-   procedure Write_Lock
-     (L           : access RTS_Lock;
-      Global_Lock : Boolean := False)
-   is
+   procedure Finalize_TCB (T : Task_Id) is
    begin
       null;
-   end Write_Lock;
+   end Finalize_TCB;
 
-   procedure Write_Lock (T : Task_Id) is
+   ------------------
+   -- Get_Priority --
+   ------------------
+
+   function Get_Priority (T : Task_Id) return System.Any_Priority is
    begin
-      null;
-   end Write_Lock;
+      return 0;
+   end Get_Priority;
 
-   ---------------
-   -- Read_Lock --
-   ---------------
+   --------------------
+   -- Get_Thread_Id  --
+   --------------------
 
-   procedure Read_Lock (L : access Lock; Ceiling_Violation : out Boolean) is
+   function Get_Thread_Id (T : ST.Task_Id) return OSI.Thread_Id is
    begin
-      Ceiling_Violation := False;
-   end Read_Lock;
+      return OSI.Thread_Id (T.Common.LL.Thread);
+   end Get_Thread_Id;
 
-   ------------
-   -- Unlock --
-   ------------
+   ----------------
+   -- Initialize --
+   ----------------
 
-   procedure Unlock (L : access Lock) is
+   procedure Initialize (Environment_Task : Task_Id) is
    begin
       null;
-   end Unlock;
+   end Initialize;
 
-   procedure Unlock (L : access RTS_Lock; Global_Lock : Boolean := False) is
+   ---------------------
+   -- Initialize_Lock --
+   ---------------------
+
+   procedure Initialize_Lock
+     (Prio : System.Any_Priority;
+      L    : access Lock)
+   is
    begin
       null;
-   end Unlock;
+   end Initialize_Lock;
 
-   procedure Unlock (T : Task_Id) is
+   procedure Initialize_Lock (L : access RTS_Lock; Level : Lock_Level) is
    begin
       null;
-   end Unlock;
+   end Initialize_Lock;
 
-   -----------
-   -- Sleep --
-   -----------
+   --------------------
+   -- Initialize_TCB --
+   --------------------
 
-   procedure Sleep (Self_ID : Task_Id; Reason  : System.Tasking.Task_States) is
+   procedure Initialize_TCB (Self_ID : Task_Id; Succeeded : out Boolean) is
    begin
-      null;
-   end Sleep;
+      Succeeded := False;
+   end Initialize_TCB;
 
-   -----------------
-   -- Timed_Sleep --
-   -----------------
+   -------------------
+   -- Is_Valid_Task --
+   -------------------
 
-   procedure Timed_Sleep
-     (Self_ID  : Task_Id;
-      Time     : Duration;
-      Mode     : ST.Delay_Modes;
-      Reason   : System.Tasking.Task_States;
-      Timedout : out Boolean;
-      Yielded  : out Boolean) is
+   function Is_Valid_Task return Boolean is
    begin
-      Timedout := False;
-      Yielded := False;
-   end Timed_Sleep;
+      return False;
+   end Is_Valid_Task;
 
-   -----------------
-   -- Timed_Delay --
-   -----------------
+   --------------
+   -- Lock_RTS --
+   --------------
 
-   procedure Timed_Delay
-     (Self_ID : Task_Id;
-      Time    : Duration;
-      Mode    : ST.Delay_Modes) is
+   procedure Lock_RTS is
    begin
       null;
-   end Timed_Delay;
+   end Lock_RTS;
 
    ---------------------
    -- Monotonic_Clock --
@@ -209,54 +232,6 @@ package body System.Task_Primitives.Operations is
       return 0.0;
    end Monotonic_Clock;
 
-   -------------------
-   -- RT_Resolution --
-   -------------------
-
-   function RT_Resolution return Duration is
-   begin
-      return 10#1.0#E-6;
-   end RT_Resolution;
-
-   ------------
-   -- Wakeup --
-   ------------
-
-   procedure Wakeup (T : Task_Id; Reason : System.Tasking.Task_States) is
-   begin
-      null;
-   end Wakeup;
-
-   ------------------
-   -- Set_Priority --
-   ------------------
-
-   procedure Set_Priority
-     (T                   : Task_Id;
-      Prio                : System.Any_Priority;
-      Loss_Of_Inheritance : Boolean := False) is
-   begin
-      null;
-   end Set_Priority;
-
-   ------------------
-   -- Get_Priority --
-   ------------------
-
-   function Get_Priority (T : Task_Id) return System.Any_Priority is
-   begin
-      return 0;
-   end Get_Priority;
-
-   ----------------
-   -- Enter_Task --
-   ----------------
-
-   procedure Enter_Task (Self_ID : Task_Id) is
-   begin
-      null;
-   end Enter_Task;
-
    --------------
    -- New_ATCB --
    --------------
@@ -266,14 +241,14 @@ package body System.Task_Primitives.Operations is
       return new Ada_Task_Control_Block (Entry_Num);
    end New_ATCB;
 
-   -------------------
-   -- Is_Valid_Task --
-   -------------------
+   ---------------
+   -- Read_Lock --
+   ---------------
 
-   function Is_Valid_Task return Boolean is
+   procedure Read_Lock (L : access Lock; Ceiling_Violation : out Boolean) is
    begin
-      return False;
-   end Is_Valid_Task;
+      Ceiling_Violation := False;
+   end Read_Lock;
 
    -----------------------------
    -- Register_Foreign_Thread --
@@ -284,103 +259,127 @@ package body System.Task_Primitives.Operations is
       return null;
    end Register_Foreign_Thread;
 
-   ----------------------
-   --  Initialize_TCB  --
-   ----------------------
+   -----------------
+   -- Resume_Task --
+   -----------------
 
-   procedure Initialize_TCB (Self_ID : Task_Id; Succeeded : out Boolean) is
+   function Resume_Task
+     (T           : ST.Task_Id;
+      Thread_Self : OSI.Thread_Id) return Boolean
+   is
    begin
-      Succeeded := False;
-   end Initialize_TCB;
+      return False;
+   end Resume_Task;
 
-   -----------------
-   -- Create_Task --
-   -----------------
+   -------------------
+   -- RT_Resolution --
+   -------------------
 
-   procedure Create_Task
-     (T          : Task_Id;
-      Wrapper    : System.Address;
-      Stack_Size : System.Parameters.Size_Type;
-      Priority   : System.Any_Priority;
-      Succeeded  : out Boolean) is
+   function RT_Resolution return Duration is
    begin
-      Succeeded := False;
-   end Create_Task;
+      return 10#1.0#E-6;
+   end RT_Resolution;
+
+   ----------
+   -- Self --
+   ----------
+
+   function Self return Task_Id is
+   begin
+      return Null_Task;
+   end Self;
 
    ------------------
-   -- Finalize_TCB --
+   -- Set_Priority --
    ------------------
 
-   procedure Finalize_TCB (T : Task_Id) is
+   procedure Set_Priority
+     (T                   : Task_Id;
+      Prio                : System.Any_Priority;
+      Loss_Of_Inheritance : Boolean := False)
+   is
    begin
       null;
-   end Finalize_TCB;
+   end Set_Priority;
 
-   ---------------
-   -- Exit_Task --
-   ---------------
+   -----------
+   -- Sleep --
+   -----------
 
-   procedure Exit_Task is
+   procedure Sleep (Self_ID : Task_Id; Reason  : System.Tasking.Task_States) is
    begin
       null;
-   end Exit_Task;
+   end Sleep;
 
-   ----------------
-   -- Abort_Task --
-   ----------------
+   -----------------
+   -- Stack_Guard --
+   -----------------
 
-   procedure Abort_Task (T : Task_Id) is
+   procedure Stack_Guard (T : ST.Task_Id; On : Boolean) is
    begin
       null;
-   end Abort_Task;
+   end Stack_Guard;
 
-   -----------
-   -- Yield --
-   -----------
+   ------------------
+   -- Suspend_Task --
+   ------------------
 
-   procedure Yield (Do_Yield : Boolean := True) is
+   function Suspend_Task
+     (T           : ST.Task_Id;
+      Thread_Self : OSI.Thread_Id) return Boolean
+   is
    begin
-      null;
-   end Yield;
-
-   ----------------
-   -- Check_Exit --
-   ----------------
+      return False;
+   end Suspend_Task;
 
-   --  Dummy versions.  The only currently working versions is for solaris
-   --  (native).
+   -----------------
+   -- Timed_Delay --
+   -----------------
 
-   function Check_Exit (Self_ID : ST.Task_Id) return Boolean is
+   procedure Timed_Delay
+     (Self_ID : Task_Id;
+      Time    : Duration;
+      Mode    : ST.Delay_Modes)
+   is
    begin
-      return True;
-   end Check_Exit;
+      null;
+   end Timed_Delay;
 
-   --------------------
-   -- Check_No_Locks --
-   --------------------
+   -----------------
+   -- Timed_Sleep --
+   -----------------
 
-   function Check_No_Locks (Self_ID : ST.Task_Id) return Boolean is
+   procedure Timed_Sleep
+     (Self_ID  : Task_Id;
+      Time     : Duration;
+      Mode     : ST.Delay_Modes;
+      Reason   : System.Tasking.Task_States;
+      Timedout : out Boolean;
+      Yielded  : out Boolean)
+   is
    begin
-      return True;
-   end Check_No_Locks;
+      Timedout := False;
+      Yielded := False;
+   end Timed_Sleep;
 
-   ----------------------
-   -- Environment_Task --
-   ----------------------
+   ------------
+   -- Unlock --
+   ------------
 
-   function Environment_Task return Task_Id is
+   procedure Unlock (L : access Lock) is
    begin
-      return null;
-   end Environment_Task;
+      null;
+   end Unlock;
 
-   --------------
-   -- Lock_RTS --
-   --------------
+   procedure Unlock (L : access RTS_Lock; Global_Lock : Boolean := False) is
+   begin
+      null;
+   end Unlock;
 
-   procedure Lock_RTS is
+   procedure Unlock (T : Task_Id) is
    begin
       null;
-   end Lock_RTS;
+   end Unlock;
 
    ----------------
    -- Unlock_RTS --
@@ -390,41 +389,45 @@ package body System.Task_Primitives.Operations is
    begin
       null;
    end Unlock_RTS;
+   ------------
+   -- Wakeup --
+   ------------
 
-   ------------------
-   -- Suspend_Task --
-   ------------------
-
-   function Suspend_Task
-     (T           : ST.Task_Id;
-      Thread_Self : OSI.Thread_Id) return Boolean
-   is
+   procedure Wakeup (T : Task_Id; Reason : System.Tasking.Task_States) is
    begin
-      return False;
-   end Suspend_Task;
+      null;
+   end Wakeup;
 
-   -----------------
-   -- Resume_Task --
-   -----------------
+   ----------------
+   -- Write_Lock --
+   ----------------
 
-   function Resume_Task
-     (T           : ST.Task_Id;
-      Thread_Self : OSI.Thread_Id) return Boolean
-   is
+   procedure Write_Lock (L : access Lock; Ceiling_Violation : out Boolean) is
    begin
-      return False;
-   end Resume_Task;
+      Ceiling_Violation := False;
+   end Write_Lock;
 
-   ----------------
-   -- Initialize --
-   ----------------
+   procedure Write_Lock
+     (L           : access RTS_Lock;
+      Global_Lock : Boolean := False)
+   is
+   begin
+      null;
+   end Write_Lock;
 
-   procedure Initialize (Environment_Task : Task_Id) is
+   procedure Write_Lock (T : Task_Id) is
    begin
       null;
-   end Initialize;
+   end Write_Lock;
 
-   No_Tasking : Boolean;
+   -----------
+   -- Yield --
+   -----------
+
+   procedure Yield (Do_Yield : Boolean := True) is
+   begin
+      null;
+   end Yield;
 
 begin
    --  Can't raise an exception because target independent packages try to