gnat_ugn.texi: Remove limitations with sparc m64 support.

2006-02-13  Arnaud Charlet  <charlet@adacore.com>
	    Ben Brosgol  <brosgol@adacore.com>
	    Robert Dewar  <dewar@adacore.com>

	* gnat_ugn.texi: Remove limitations with sparc m64 support.
	Document that gnatbind -M option is for cross environments only.
	Added description of using gnatmem to trace gnat rtl allocs and deallocs
	Add note on use of $ to label implicit run time calls
	Add documentation for -gnatyI (check mode IN)
	Updated chapter on compatibility with HP Ada
	VMS-oriented edits.
	Ran spell and corrected errors
	Add documentation for gnatbind -d and rework documentation of -D
	at the same time.
	Add subprogram/data elimination section.
	Minor editing of annex A.
	Add section for gnatcheck.
	Add documentation for restriction No_Dispatching_Calls
	Add documentation for pragma Ada_2005
	Remove mention of obsolete pragma Propagate_Exceptions
	Document that pragma Unreferenced can appear after DO in ACCEPT
	Clarify Pure_Function for library level units
	Mention Max/Min in connection with No_Implicit_Conditionals
	No_Wide_Characters restriction is no longer partition-wide
	Add a nice example for Universal_Literal_String attribute
	Document that pragma No_Return can take multiple arguments

	* ug_words: Added entry for gnatcheck

	* g-ctrl_c.ads (Install_Handler): Enhance comments

	* g-os_lib.ads: Add comments to OS_Exit that it is abrupt termination

	* g-trasym.ads: Add documentation on how to do off line symbolic
	traceback computation.

	* s-fatgen.adb: Add comments for Unaligned_Valid

	* stand.ads: Fix typo in comment

From-SVN: r111104

gcc/ada/g-ctrl_c.ads

@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 S p e c                                  --
 --                                                                          --
---                      Copyright (C) 2002-2005, AdaCore                    --
+--                      Copyright (C) 2002-2006, AdaCore                    --
 --                                                                          --
 -- 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- --
@@ -55,7 +55,8 @@ package GNAT.Ctrl_C is
    --  Handler_Type should not propagate exceptions.
 
    procedure Install_Handler (Handler : Handler_Type);
-   --  Set up Handler to be called if the operator hits Ctrl-C
+   --  Set up Handler to be called if the operator hits Ctrl-C, instead of the
+   --  standard Control-C handler.
 
    procedure Uninstall_Handler;
    --  Reinstall the standard Control-C handler.

gcc/ada/g-os_lib.ads

@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 S p e c                                  --
 --                                                                          --
---          Copyright (C) 1995-2005, Free Software Foundation, Inc.         --
+--          Copyright (C) 1995-2006, 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- --
@@ -62,14 +62,14 @@ package GNAT.OS_Lib is
 
    subtype String_Access is Strings.String_Access;
 
-   function "=" (Left, Right : in String_Access) return Boolean
+   function "=" (Left, Right : String_Access) return Boolean
      renames Strings."=";
 
    procedure Free (X : in out String_Access) renames Strings.Free;
 
    subtype String_List is Strings.String_List;
 
-   function "=" (Left, Right : in String_List) return Boolean
+   function "=" (Left, Right : String_List) return Boolean
      renames Strings."=";
 
    function "&" (Left : String_Access; Right : String_Access)
@@ -83,7 +83,7 @@ package GNAT.OS_Lib is
 
    subtype String_List_Access is Strings.String_List_Access;
 
-   function "=" (Left, Right : in String_List_Access) return Boolean
+   function "=" (Left, Right : String_List_Access) return Boolean
      renames Strings."=";
 
    procedure Free (Arg : in out String_List_Access)
@@ -808,7 +808,9 @@ package GNAT.OS_Lib is
    procedure OS_Exit (Status : Integer);
    pragma Import (C, OS_Exit, "__gnat_os_exit");
    pragma No_Return (OS_Exit);
-   --  Exit to OS with given status code (program is terminated)
+   --  Exit to OS with given status code (program is terminated). Note that
+   --  this is abrupt termination. All tasks are immediately terminated. There
+   --  is no finalization or other cleanup actions performed.
 
    procedure OS_Abort;
    pragma Import (C, OS_Abort, "abort");

gcc/ada/g-trasym.ads

@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 S p e c                                  --
 --                                                                          --
---                     Copyright (C) 1999-2005, AdaCore                     --
+--                     Copyright (C) 1999-2006, AdaCore                     --
 --                                                                          --
 -- 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- --
@@ -40,9 +40,22 @@
 --  been compiled with debugging information turned on, since this information
 --  is used to build a symbolic traceback.
 
---  It is also in some cases necessary to invoke the binder
---  with -E switch (store the backtrace with exception occurence). Please
---  refer to gnatbind documentation for more information.
+--  If you want to retrieve tracebacks from exception occurrences, it is also
+--  necessary to invoke the binder with -E switch. Please refer to the gnatbind
+--  documentation for more information.
+
+--  Note that it is also possible (and often recommended) to compute symbolic
+--  traceback outside the program execution, which in addition allows you
+--  to distribute the executable with no debug info:
+--
+--  - build your executable with debug info
+--  - archive this executable
+--  - strip a copy of the executable and distribute/deploy this version
+--  - at run time, compute absolute traceback (-bargs -E) from your
+--    executable and log it using Ada.Exceptions.Exception_Occurrence
+--  - off line, compute the symbolic traceback using the executable archived
+--    with debug info and addr2line or gdb (using info line *<addr>) on the
+--    absolute addresses logged by your application.
 
 --  In order to retrieve symbolic information, functions in this package will
 --  read on disk all the debug information of the executable file (found via

gcc/ada/s-fatgen.adb

@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 B o d y                                  --
 --                                                                          --
---          Copyright (C) 1992-2005 Free Software Foundation, Inc.          --
+--          Copyright (C) 1992-2006, 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- --
@@ -902,7 +902,16 @@ package body System.Fat_Gen is
       Local_T : aliased T;
 
    begin
+      --  Note that we have to be sure that we do not load the value into a
+      --  floating-point register, since a signalling NaN may cause a trap.
+      --  The following assignment is what does the actual alignment, since
+      --  we know that the target Local_T is aligned.
+
       To_FSP (Local_T'Address).all := To_FSP (A).all;
+
+      --  Now that we have an aligned value, we can use the normal aligned
+      --  version of Valid to obtain the required result.
+
       return Valid (Local_T'Access);
    end Unaligned_Valid;
 

gcc/ada/stand.ads

@@ -352,7 +352,7 @@ package Stand is
    --  error messages ("expecting an integer type").
 
    Any_Id : Entity_Id;
-   --  Used to represent some unknown identifier. Used to lable undefined
+   --  Used to represent some unknown identifier. Used to label undefined
    --  identifier references to prevent cascaded errors.
 
    Any_Type : Entity_Id;

gcc/ada/ug_words

@@ -10,6 +10,8 @@ gnat1           ^ GNAT1
 Gnat1           ^ GNAT1
 gnatbind        ^ GNAT BIND
 Gnatbind        ^ GNAT BIND
+gnatcheck       ^ GNAT CHECK
+Gnatcheck       ^ GNAT CHECK
 gnatchop        ^ GNAT CHOP
 Gnatchop        ^ GNAT CHOP
 gnatclean       ^ GNAT CLEAN