a-except.adb: Minor comment clarification.

2014-07-29  Robert Dewar  <dewar@adacore.com>

	* a-except.adb: Minor comment clarification.

2014-07-29  Robert Dewar  <dewar@adacore.com>

	* gnat_rm.texi: Complete list of implementation attributes.
	* snames.ads-tmpl: Clean up list of impl-defined attributes.

From-SVN: r213192

4 files changed, 145 insertions, 17 deletions

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index e7c08e5..8966d9e 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,12 @@
+2014-07-29  Robert Dewar  <dewar@adacore.com>
+
+	* a-except.adb: Minor comment clarification.
+
+2014-07-29  Robert Dewar  <dewar@adacore.com>
+
+	* gnat_rm.texi: Complete list of implementation attributes.
+	* snames.ads-tmpl: Clean up list of impl-defined attributes.
+
 2014-07-29  Hristian Kirtchev  <kirtchev@adacore.com>
 
 	* freeze.adb (Freeze_Record_Type): Perform various
diff --git a/gcc/ada/a-except.adb b/gcc/ada/a-except.adb
index dbde478..5d26790 100644
--- a/gcc/ada/a-except.adb
+++ b/gcc/ada/a-except.adb
@@ -371,6 +371,10 @@ package body Ada.Exceptions is
    --  which uses the exceptmsg.awk script to generate require exception data,
    --  and this script requires and expects that this ordering rule holds.
 
+   --  The one exception is that Rcheck_PE_Finalize_Raise_Exception is at the
+   --  end of the list (for reasons that are documented with this routine). The
+   --  script (exceptmsg.awk) has this special exception built in.
+
    procedure Rcheck_CE_Access_Check
      (File : System.Address; Line : Integer);
    procedure Rcheck_CE_Null_Access_Parameter
diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi
index 7043f13..0f48f49 100644
--- a/gcc/ada/gnat_rm.texi
+++ b/gcc/ada/gnat_rm.texi
@@ -340,11 +340,14 @@ Implementation Defined Attributes
 * Attribute Asm_Input::
 * Attribute Asm_Output::
 * Attribute AST_Entry::
+* Attribute Atomic_Always_Lock_Free::
 * Attribute Bit::
 * Attribute Bit_Position::
-* Attribute Compiler_Version::
 * Attribute Code_Address::
+* Attribute Compiler_Version::
+* Attribute Constant_Indexing::
 * Attribute Default_Bit_Order::
+* Attribute Default_Iterator::
 * Attribute Descriptor_Size::
 * Attribute Elaborated::
 * Attribute Elab_Body::
@@ -355,14 +358,20 @@ Implementation Defined Attributes
 * Attribute Enum_Rep::
 * Attribute Enum_Val::
 * Attribute Epsilon::
+* Attribute Fast_Math::
 * Attribute Fixed_Value::
+* Attribute From_Any::
 * Attribute Has_Access_Values::
 * Attribute Has_Discriminants::
 * Attribute Img::
+* Attribute Implicit_Dereference::
 * Attribute Integer_Value::
 * Attribute Invalid_Value::
+* Attribute Iterator_Element::
+* Attribute Iterable::
 * Attribute Large::
 * Attribute Library_Level::
+* Attribute Lock_Free::
 * Attribute Loop_Entry::
 * Attribute Machine_Size::
 * Attribute Mantissa::
@@ -370,6 +379,7 @@ Implementation Defined Attributes
 * Attribute Mechanism_Code::
 * Attribute Null_Parameter::
 * Attribute Object_Size::
+* Attribute Old::
 * Attribute Passed_By_Reference::
 * Attribute Pool_Address::
 * Attribute Range_Length::
@@ -378,6 +388,7 @@ Implementation Defined Attributes
 * Attribute Result::
 * Attribute Safe_Emax::
 * Attribute Safe_Large::
+* Attribute Safe_Small::
 * Attribute Scalar_Storage_Order::
 * Attribute Simple_Storage_Pool::
 * Attribute Small::
@@ -385,16 +396,18 @@ Implementation Defined Attributes
 * Attribute Stub_Type::
 * Attribute System_Allocator_Alignment::
 * Attribute Target_Name::
-* Attribute Tick::
 * Attribute To_Address::
+* Attribute To_Any::
 * Attribute Type_Class::
+* Attribute Type_Key::
+* Attribute TypeCode::
 * Attribute UET_Address::
 * Attribute Unconstrained_Array::
 * Attribute Universal_Literal_String::
 * Attribute Unrestricted_Access::
 * Attribute Update::
-* Attribute Valid_Scalars::
 * Attribute VADS_Size::
+* Attribute Valid_Scalars::
 * Attribute Value_Size::
 * Attribute Wchar_T_Size::
 * Attribute Word_Size::
@@ -8501,11 +8514,14 @@ consideration, you should minimize the use of these attributes.
 * Attribute Asm_Input::
 * Attribute Asm_Output::
 * Attribute AST_Entry::
+* Attribute Atomic_Always_Lock_Free::
 * Attribute Bit::
 * Attribute Bit_Position::
-* Attribute Compiler_Version::
 * Attribute Code_Address::
+* Attribute Compiler_Version::
+* Attribute Constant_Indexing::
 * Attribute Default_Bit_Order::
+* Attribute Default_Iterator::
 * Attribute Descriptor_Size::
 * Attribute Elaborated::
 * Attribute Elab_Body::
@@ -8516,14 +8532,20 @@ consideration, you should minimize the use of these attributes.
 * Attribute Enum_Rep::
 * Attribute Enum_Val::
 * Attribute Epsilon::
+* Attribute Fast_Math::
 * Attribute Fixed_Value::
+* Attribute From_Any::
 * Attribute Has_Access_Values::
 * Attribute Has_Discriminants::
 * Attribute Img::
+* Attribute Implicit_Dereference::
 * Attribute Integer_Value::
 * Attribute Invalid_Value::
+* Attribute Iterator_Element::
+* Attribute Iterable::
 * Attribute Large::
 * Attribute Library_Level::
+* Attribute Lock_Free::
 * Attribute Loop_Entry::
 * Attribute Machine_Size::
 * Attribute Mantissa::
@@ -8531,6 +8553,7 @@ consideration, you should minimize the use of these attributes.
 * Attribute Mechanism_Code::
 * Attribute Null_Parameter::
 * Attribute Object_Size::
+* Attribute Old::
 * Attribute Passed_By_Reference::
 * Attribute Pool_Address::
 * Attribute Range_Length::
@@ -8539,6 +8562,7 @@ consideration, you should minimize the use of these attributes.
 * Attribute Result::
 * Attribute Safe_Emax::
 * Attribute Safe_Large::
+* Attribute Safe_Small::
 * Attribute Scalar_Storage_Order::
 * Attribute Simple_Storage_Pool::
 * Attribute Small::
@@ -8546,16 +8570,18 @@ consideration, you should minimize the use of these attributes.
 * Attribute Stub_Type::
 * Attribute System_Allocator_Alignment::
 * Attribute Target_Name::
-* Attribute Tick::
 * Attribute To_Address::
+* Attribute To_Any::
 * Attribute Type_Class::
+* Attribute Type_Key::
+* Attribute TypeCode::
 * Attribute UET_Address::
 * Attribute Unconstrained_Array::
 * Attribute Universal_Literal_String::
 * Attribute Unrestricted_Access::
 * Attribute Update::
-* Attribute Valid_Scalars::
 * Attribute VADS_Size::
+* Attribute Valid_Scalars::
 * Attribute Value_Size::
 * Attribute Wchar_T_Size::
 * Attribute Word_Size::
@@ -8626,6 +8652,12 @@ pragma @code{Extend_System (Aux_DEC)}).  This value enables the given entry to
 be called when an AST occurs.  For further details, refer to the @cite{DEC Ada
 Language Reference Manual}, section 9.12a.
 
+@node Attribute Atomic_Always_Lock_Free
+@unnumberedsec Attribute Atomic_Always_Lock_Free
+@findex Atomic_Always_Lock_Free
+@noindent
+PLEASE ADD DOCUMENTATION HERE???
+
 @node Attribute Bit
 @unnumberedsec Attribute Bit
 @findex Bit
@@ -8713,6 +8745,21 @@ generated code of the specified subprogram, which may or may not be
 the same value as is returned by the corresponding @code{'Address}
 attribute.
 
+@node Attribute Compiler_Version
+@unnumberedsec Attribute Compiler_Version
+@findex Compiler_Version
+@noindent
+@code{Standard'Compiler_Version} (@code{Standard} is the only allowed
+prefix) yields a static string identifying the version of the compiler
+being used to compile the unit containing the attribute reference. A
+typical result would be something like "@value{EDITION} @value{gnat_version} (20090221)".
+
+@node Attribute Constant_Indexing
+@unnumberedsec Attribute Constant_Indexing
+@findex Constant_Indexing
+@noindent
+PLEASE ADD DOCUMENTATION HERE???
+
 @node Attribute Default_Bit_Order
 @unnumberedsec Attribute Default_Bit_Order
 @cindex Big endian
@@ -8725,6 +8772,12 @@ as a @code{Pos} value (0 for @code{High_Order_First}, 1 for
 @code{Low_Order_First}).  This is used to construct the definition of
 @code{Default_Bit_Order} in package @code{System}.
 
+@node Attribute Default_Iterator
+@unnumberedsec Attribute Default_Iterator
+@findex Default_Iterator
+@noindent
+PLEASE ADD DOCUMENTATION HERE???
+
 @node Attribute Descriptor_Size
 @unnumberedsec Attribute Descriptor_Size
 @cindex Descriptor
@@ -8893,6 +8946,12 @@ The @code{Epsilon} attribute is provided for compatibility with Ada 83.  See
 the Ada 83 reference manual for an exact description of the semantics of
 this attribute.
 
+@node Attribute Fast_Math
+@unnumberedsec Attribute Fast_Math
+@findex Fast_Math
+@noindent
+PLEASE ADD DOCUMENTATION HERE???
+
 @node Attribute Fixed_Value
 @unnumberedsec Attribute Fixed_Value
 @findex Fixed_Value
@@ -8920,6 +8979,12 @@ that there are full range checks, to ensure that the result is in range.
 This attribute is primarily intended for use in implementation of the
 input-output functions for fixed-point values.
 
+@node Attribute From_Any
+@unnumberedsec Attribute From_Any
+@findex From_Any
+@noindent
+PLEASE ADD DOCUMENTATION HERE???
+
 @node Attribute Has_Access_Values
 @unnumberedsec Attribute Has_Access_Values
 @cindex Access values, testing for
@@ -8973,6 +9038,12 @@ that returns the appropriate string when called. This means that
 @code{X'Img} can be renamed as a function-returning-string, or used
 in an instantiation as a function parameter.
 
+@node Attribute Implicit_Dereference
+@unnumberedsec Attribute Implicit_Dereference
+@findex Implicit_Dereference
+@noindent
+PLEASE ADD DOCUMENTATION HERE???
+
 @node Attribute Integer_Value
 @unnumberedsec Attribute Integer_Value
 @findex Integer_Value
@@ -9012,6 +9083,18 @@ uninitialized value of the type if pragma Initialize_Scalars is used,
 including the ability to modify the value with the binder -Sxx flag and
 relevant environment variables at run time.
 
+@node Attribute Iterator_Element
+@unnumberedsec Attribute Iterator_Element
+@findex Iterator_Element
+@noindent
+PLEASE ADD DOCUMENTATION HERE???
+
+@node Attribute Iterable
+@unnumberedsec Attribute Iterable
+@findex Iterable
+@noindent
+PLEASE ADD DOCUMENTATION HERE???
+
 @node Attribute Large
 @unnumberedsec Attribute Large
 @cindex Ada 83 attributes
@@ -9045,6 +9128,12 @@ package Gen is
 end Gen;
 @end smallexample
 
+@node Attribute Lock_Free
+@unnumberedsec Attribute Lock_Free
+@findex Lock_Free
+@noindent
+PLEASE ADD DOCUMENTATION HERE???
+
 @node Attribute Loop_Entry
 @unnumberedsec Attribute Loop_Entry
 @findex Loop_Entry
@@ -9229,6 +9318,12 @@ generates the diagnostic shown above.
 Similar additional checks are performed in other contexts requiring
 statically matching subtypes.
 
+@node Attribute Old
+@unnumberedsec Attribute Old
+@findex Old
+@noindent
+PLEASE ADD DOCUMENTATION HERE???
+
 @node Attribute Passed_By_Reference
 @unnumberedsec Attribute Passed_By_Reference
 @cindex Parameters, when passed by reference
@@ -9371,6 +9466,15 @@ The @code{Safe_Large} attribute is provided for compatibility with Ada 83.  See
 the Ada 83 reference manual for an exact description of the semantics of
 this attribute.
 
+@node Attribute Safe_Small
+@unnumberedsec Attribute Safe_Small
+@cindex Ada 83 attributes
+@findex Safe_Small
+@noindent
+The @code{Safe_Small} attribute is provided for compatibility with Ada 83.  See
+the Ada 83 reference manual for an exact description of the semantics of
+this attribute.
+
 @node Attribute Scalar_Storage_Order
 @unnumberedsec Attribute Scalar_Storage_Order
 @cindex Endianness
@@ -9597,13 +9701,6 @@ for the current compilation. For GCC implementations, this is the
 standard gcc target name without the terminating slash (for
 example, GNAT 5.0 on windows yields "i586-pc-mingw32msv").
 
-@node Attribute Tick
-@unnumberedsec Attribute Tick
-@findex Tick
-@noindent
-@code{Standard'Tick} (@code{Standard} is the only permissible prefix)
-provides the same value as @code{System.Tick},
-
 @node Attribute To_Address
 @unnumberedsec Attribute To_Address
 @findex To_Address
@@ -9624,6 +9721,12 @@ argument is static). The argument must be in the range
 modular manner (e.g. -1 means the same as 16#FFFF_FFFF# on
 a 32 bits machine).
 
+@node Attribute To_Any
+@unnumberedsec Attribute To_Any
+@findex To_Any
+@noindent
+PLEASE ADD DOCUMENTATION HERE???
+
 @node Attribute Type_Class
 @unnumberedsec Attribute Type_Class
 @findex Type_Class
@@ -9652,6 +9755,18 @@ Protected types yield the value @code{Type_Class_Task}, which thus
 applies to all concurrent types.  This attribute is designed to
 be compatible with the DEC Ada 83 attribute of the same name.
 
+@node Attribute Type_Key
+@unnumberedsec Attribute Type_Key
+@findex Type_Key
+@noindent
+PLEASE ADD DOCUMENTATION HERE???
+
+@node Attribute TypeCode
+@unnumberedsec Attribute TypeCode
+@findex TypeCode
+@noindent
+PLEASE ADD DOCUMENTATION HERE???
+
 @node Attribute UET_Address
 @unnumberedsec Attribute UET_Address
 @findex UET_Address
diff --git a/gcc/ada/snames.ads-tmpl b/gcc/ada/snames.ads-tmpl
index e6ee6f1..03045f0 100644
--- a/gcc/ada/snames.ads-tmpl
+++ b/gcc/ada/snames.ads-tmpl
@@ -917,7 +917,7 @@ package Snames is
    Name_Overlaps_Storage               : constant Name_Id := N + $; -- GNAT
    Name_Partition_ID                   : constant Name_Id := N + $;
    Name_Passed_By_Reference            : constant Name_Id := N + $; -- GNAT
-   Name_Pool_Address                   : constant Name_Id := N + $;
+   Name_Pool_Address                   : constant Name_Id := N + $; -- GNAT
    Name_Pos                            : constant Name_Id := N + $;
    Name_Position                       : constant Name_Id := N + $;
    Name_Priority                       : constant Name_Id := N + $; -- Ada 05
@@ -937,7 +937,7 @@ package Snames is
    Name_Scaling                        : constant Name_Id := N + $;
    Name_Signed_Zeros                   : constant Name_Id := N + $;
    Name_Size                           : constant Name_Id := N + $;
-   Name_Small                          : constant Name_Id := N + $;
+   Name_Small                          : constant Name_Id := N + $; -- Ada 83
    Name_Storage_Size                   : constant Name_Id := N + $;
    Name_Storage_Unit                   : constant Name_Id := N + $; -- GNAT
    Name_Stream_Size                    : constant Name_Id := N + $; -- Ada 05
@@ -951,7 +951,7 @@ package Snames is
    Name_UET_Address                    : constant Name_Id := N + $; -- GNAT
    Name_Unbiased_Rounding              : constant Name_Id := N + $;
    Name_Unchecked_Access               : constant Name_Id := N + $;
-   Name_Unconstrained_Array            : constant Name_Id := N + $;
+   Name_Unconstrained_Array            : constant Name_Id := N + $; -- GNAT
    Name_Universal_Literal_String       : constant Name_Id := N + $; -- GNAT
    Name_Unrestricted_Access            : constant Name_Id := N + $; -- GNAT
    Name_Update                         : constant Name_Id := N + $; -- GNAT
@@ -1024,7 +1024,7 @@ package Snames is
    First_Type_Attribute_Name           : constant Name_Id := N + $;
    Name_Base                           : constant Name_Id := N + $;
    Name_Class                          : constant Name_Id := N + $;
-   Name_Stub_Type                      : constant Name_Id := N + $;
+   Name_Stub_Type                      : constant Name_Id := N + $; -- GNAT
    Last_Type_Attribute_Name            : constant Name_Id := N + $;
    Last_Entity_Attribute_Name          : constant Name_Id := N + $;
    Last_Attribute_Name                 : constant Name_Id := N + $;