From 4cd029c79b453e06026217b2256ba547fe80b8a7 Mon Sep 17 00:00:00 2001 From: Robert Dewar Date: Wed, 15 Jul 2009 10:42:12 +0000 Subject: [PATCH] gnat_ugn.texi: Minor updates. 2009-07-15 Robert Dewar * gnat_ugn.texi: Minor updates. * snames.ads-tmpl: Minor comment updates for Ada 2005 fully implemented From-SVN: r149680 --- gcc/ada/ChangeLog | 6 ++++++ gcc/ada/gnat_ugn.texi | 5 ++++- gcc/ada/snames.ads-tmpl | 32 +++++++++++++++++++------------- 3 files changed, 29 insertions(+), 14 deletions(-) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 6edf424d77a..aa81b601356 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,9 @@ +2009-07-15 Robert Dewar + + * gnat_ugn.texi: Minor updates. + + * snames.ads-tmpl: Minor comment updates for Ada 2005 fully implemented + 2009-07-15 Ed Schonberg * 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 779a7614c6a..08162371a23 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 9d5d2984f2f..d132ffab2b3 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 + $; -- 2.30.2