Daily bump.

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

diff --git a/gcc/ada/table.ads b/gcc/ada/table.ads
index 205aac3..6b24322 100644 (file)
--- a/gcc/ada/table.ads
+++ b/gcc/ada/table.ads
@@ -6,8 +6,7 @@
 --                                                                          --
 --                                 S p e c                                  --
 --                                                                          --
---                                                                          --
---          Copyright (C) 1992-2001 Free Software Foundation, Inc.          --
+--          Copyright (C) 1992-2008, 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- --
@@ -17,8 +16,8 @@
 -- 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.                                                      --
+-- to  the  Free Software Foundation,  51  Franklin  Street,  Fifth  Floor, --
+-- Boston, MA 02110-1301, 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, --
@@ -44,7 +43,7 @@
 with Types; use Types;
 
 package Table is
-pragma Elaborate_Body (Table);
+   pragma Elaborate_Body;
 
    generic
       type Table_Component_Type is private;
@@ -89,10 +88,23 @@ pragma Elaborate_Body (Table);
       --  freely (expensive reallocation occurs only at major granularity
       --  chunks controlled by the allocation parameters).
 
-      --  Note: we do not make the table components aliased, since this would
-      --  restict the use of table for discriminated types. If it is necessary
+      --  Note: We do not make the table components aliased, since this would
+      --  restrict the use of table for discriminated types. If it is necessary
       --  to take the access of a table element, use Unrestricted_Access.
 
+      --  WARNING: On HPPA, the virtual addressing approach used in this unit
+      --  is incompatible with the indexing instructions on the HPPA. So when
+      --  using this unit, compile your application with -mdisable-indexing.
+
+      --  WARNING: If the table is reallocated, then the address of all its
+      --  components will change. So do not capture the address of an element
+      --  and then use the address later after the table may be reallocated.
+      --  One tricky case of this is passing an element of the table to a
+      --  subprogram by reference where the table gets reallocated during
+      --  the execution of the subprogram. The best rule to follow is never
+      --  to pass a table element as a parameter except for the case of IN
+      --  mode parameters with scalar values.
+
       type Table_Type is
         array (Table_Index_Type range <>) of Table_Component_Type;
 
@@ -105,6 +117,7 @@ pragma Elaborate_Body (Table);
       --  safety is not compromised by this approach.
 
       type Table_Ptr is access all Big_Table_Type;
+      for Table_Ptr'Storage_Size use 0;
       --  The table is actually represented as a pointer to allow reallocation
 
       Table : aliased Table_Ptr := null;
@@ -162,11 +175,11 @@ pragma Elaborate_Body (Table);
 
       procedure Increment_Last;
       pragma Inline (Increment_Last);
-      --  Adds 1 to Last (same as Set_Last (Last + 1).
+      --  Adds 1 to Last (same as Set_Last (Last + 1)
 
       procedure Decrement_Last;
       pragma Inline (Decrement_Last);
-      --  Subtracts 1 from Last (same as Set_Last (Last - 1).
+      --  Subtracts 1 from Last (same as Set_Last (Last - 1)
 
       procedure Append (New_Val : Table_Component_Type);
       pragma Inline (Append);