git
/
gcc
mirror of git://gcc.gnu.org/git/gcc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

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
This commit is contained in:
Robert Dewar 2009-07-15 10:42:12 +00:00 committed by Arnaud Charlet
parent 892125cdb1
commit 4cd029c79b
3 changed files with 29 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/ada/ChangeLog
View File

@ -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> 2009-07-15 Ed Schonberg <schonberg@adacore.com>
* sem_warn.adb (Warn_On_Constant_Condition): Handle properly constant * sem_warn.adb (Warn_On_Constant_Condition): Handle properly constant

5
gcc/ada/gnat_ugn.texi
View File

@ -11309,6 +11309,7 @@ recognized by GNAT:
Ada_05 Ada_05
Ada_2005 Ada_2005
Assertion_Policy Assertion_Policy
Assume_No_Invalid_Values
C_Pass_By_Copy C_Pass_By_Copy
Check_Name Check_Name
Check_Policy Check_Policy
@ -11316,12 +11317,14 @@ recognized by GNAT:
Compile_Time_Warning Compile_Time_Warning
Compiler_Unit Compiler_Unit
Component_Alignment Component_Alignment
Convention_Identifier
Debug_Policy Debug_Policy
Detect_Blocking Detect_Blocking
Discard_Names Discard_Names
Elaboration_Checks Elaboration_Checks
Eliminate Eliminate
Extend_System Extend_System
Extensions_Allowed
External_Name_Casing External_Name_Casing
Fast_Math Fast_Math
Favor_Top_Level 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: @command{gnatmake}) command, or by the use of the configuration pragma:
@smallexample @c ada @smallexample @c ada
pragma Elaboration_Checks (RM); pragma Elaboration_Checks (DYNAMIC);
@end smallexample @end smallexample
@noindent @noindent

32
gcc/ada/snames.ads-tmpl
View File

@ -302,16 +302,19 @@ package Snames is
-- Names for all pragmas recognized by GNAT. The entries with the comment -- 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. -- "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 -- These pragmas are fully implemented in all modes (Ada 83, Ada 95, and
-- in GNAT. -- 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 -- The entries marked GNAT are pragmas that are defined by GNAT and that
-- and implemented in both Ada 83 and Ada 95 modes. Full descriptions -- are implemented in all modes (Ada 83, Ada 95, and Ada 2005) Complete
-- of these implementation dependent pragmas may be found in the -- descriptions of the syntax of these implementation dependent pragmas
-- appropriate section in unit Sem_Prag in file sem-prag.adb. -- 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 -- The entries marked Ada05 are Ada 2005 pragmas. They are implemented in
-- pragmas, but they correspond to standard proposals for Ada 2005. -- 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 -- The entries marked VMS are VMS specific pragmas that are recognized
-- only in OpenVMS versions of GNAT. They are ignored in other versions -- 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 + $; 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_83 : constant Name_Id := N + $; -- GNAT
Name_Ada_95 : 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_Inline_Generic : constant Name_Id := N + $; -- GNAT
Name_Inspection_Point : constant Name_Id := N + $; Name_Inspection_Point : constant Name_Id := N + $;
-- Note: Interface is not in this list because its name matches -- GNAT -- Note: Interface is not in this list because its name -- GNAT
-- an Ada 2005 keyword. However it is included in the definition -- matches an Ada 2005 keyword. However it is included in
-- of the type Attribute_Id, and the functions Get_Pragma_Id and -- the definition of the type Attribute_Id, and the functions
-- Is_Pragma_Id correctly recognize and process Name_Storage_Size. -- Get_Pragma_Id and Is_Pragma_Id correctly recognize and
-- process Name_Storage_Size.
Name_Interface_Name : constant Name_Id := N + $; -- GNAT Name_Interface_Name : constant Name_Id := N + $; -- GNAT
Name_Interrupt_Handler : constant Name_Id := N + $; Name_Interrupt_Handler : constant Name_Id := N + $;