gnat_ugn.texi: Minor updates.

2009-07-15  Robert Dewar  <dewar@adacore.com>

	* gnat_ugn.texi: Minor updates.

	* snames.ads-tmpl: Minor comment updates for Ada 2005 fully implemented

From-SVN: r149680

3 files changed, 29 insertions, 14 deletions

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 6edf424..aa81b60 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,9 @@
+2009-07-15  Robert Dewar  <dewar@adacore.com>
+
+	* gnat_ugn.texi: Minor updates.
+
+	* snames.ads-tmpl: Minor comment updates for Ada 2005 fully implemented
+
 2009-07-15  Ed Schonberg  <schonberg@adacore.com>
 
 	* sem_warn.adb (Warn_On_Constant_Condition): Handle properly constant
diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi
index 779a761..0816237 100644
--- a/gcc/ada/gnat_ugn.texi
+++ b/gcc/ada/gnat_ugn.texi
@@ -11309,6 +11309,7 @@ recognized by GNAT:
    Ada_05
    Ada_2005
    Assertion_Policy
+   Assume_No_Invalid_Values
    C_Pass_By_Copy
    Check_Name
    Check_Policy
@@ -11316,12 +11317,14 @@ recognized by GNAT:
    Compile_Time_Warning
    Compiler_Unit
    Component_Alignment
+   Convention_Identifier
    Debug_Policy
    Detect_Blocking
    Discard_Names
    Elaboration_Checks
    Eliminate
    Extend_System
+   Extensions_Allowed
    External_Name_Casing
    Fast_Math
    Favor_Top_Level
@@ -28274,7 +28277,7 @@ the @option{-gnatE} switch on the compiler (@command{gcc} or
 @command{gnatmake}) command, or by the use of the configuration pragma:
 
 @smallexample @c ada
-pragma Elaboration_Checks (RM);
+pragma Elaboration_Checks (DYNAMIC);
 @end smallexample
 
 @noindent
diff --git a/gcc/ada/snames.ads-tmpl b/gcc/ada/snames.ads-tmpl
index 9d5d298..d132ffa 100644
--- a/gcc/ada/snames.ads-tmpl
+++ b/gcc/ada/snames.ads-tmpl
@@ -302,16 +302,19 @@ package Snames is
 
    --  Names for all pragmas recognized by GNAT. The entries with the comment
    --  "Ada 83" are pragmas that are defined in Ada 83, but not in Ada 95.
-   --  These pragmas are fully implemented in both Ada 83 and Ada 95 modes
-   --  in GNAT.
+   --  These pragmas are fully implemented in all modes (Ada 83, Ada 95, and
+   --  Ada 2005). In Ada 95 and Ada 2005 modes, they are technically considered
+   --  to be implementation dependent pragmas.
 
-   --  The entries marked GNAT are pragmas that are defined by GNAT
-   --  and implemented in both Ada 83 and Ada 95 modes. Full descriptions
-   --  of these implementation dependent pragmas may be found in the
-   --  appropriate section in unit Sem_Prag in file sem-prag.adb.
+   --  The entries marked GNAT are pragmas that are defined by GNAT and that
+   --  are implemented in all modes (Ada 83, Ada 95, and Ada 2005) Complete
+   --  descriptions of the syntax of these implementation dependent pragmas
+   --  may be found in the appropriate section in unit Sem_Prag in file
+   --  sem-prag.adb, and they are documented in the GNAT reference manual.
 
-   --  The entries marked Ada05 are technically implementation dependent
-   --  pragmas, but they correspond to standard proposals for Ada 2005.
+   --  The entries marked Ada05 are Ada 2005 pragmas. They are implemented in
+   --  Ada 83 and Ada 95 mode as well, where they are technically considered to
+   --  be implementation dependent pragmas.
 
    --  The entries marked VMS are VMS specific pragmas that are recognized
    --  only in OpenVMS versions of GNAT. They are ignored in other versions
@@ -323,7 +326,9 @@ package Snames is
 
    First_Pragma_Name                   : constant Name_Id := N + $;
 
-   --  Configuration pragmas are grouped at start
+   --  Configuration pragmas are grouped at start. Note that there is a list
+   --  of these names in the GNAT Users guide, be sure to update this list if
+   --  a new configuration pragma is added.
 
    Name_Ada_83                         : constant Name_Id := N + $; -- GNAT
    Name_Ada_95                         : constant Name_Id := N + $; -- GNAT
@@ -447,10 +452,11 @@ package Snames is
    Name_Inline_Generic                 : constant Name_Id := N + $; -- GNAT
    Name_Inspection_Point               : constant Name_Id := N + $;
 
-   --  Note: Interface is not in this list because its name matches   -- GNAT
-   --  an Ada 2005 keyword. However it is included in the definition
-   --  of the type Attribute_Id, and the functions Get_Pragma_Id and
-   --  Is_Pragma_Id correctly recognize and process Name_Storage_Size.
+   --  Note: Interface is not in this list because its name         -- GNAT
+   --  matches an Ada 2005 keyword. However it is included in
+   --  the definition of the type Attribute_Id, and the functions
+   --  Get_Pragma_Id and Is_Pragma_Id correctly recognize and
+   --  process Name_Storage_Size.
 
    Name_Interface_Name                 : constant Name_Id := N + $; -- GNAT
    Name_Interrupt_Handler              : constant Name_Id := N + $;