diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2010-10-11 10:02:09 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2010-10-11 10:02:09 +0000 |
| commit | 4f2ad752386f10ebc8a24a0f0113754e99a6a930 (patch) | |
| tree | 43baf9e9ccbab4d15c3921dd6055175f7fece5e6 /gcc/ada/sem_attr.ads | |
| parent | d5387e135c6a6272ed6e0c9c7a69221b84c6bf5a (diff) | |
| download | gcc-4f2ad752386f10ebc8a24a0f0113754e99a6a930.tar.gz | |
2010-10-11 Arnaud Charlet <charlet@adacore.com>
* gnat_rm.texi, exp_attr.adb, sem_attr.adb, sem_attr.ads,
snames.ads-tmpl (Analyze_Attribute, Expand_N_Attribute_Reference): Add
handling of Attribute_Ref. Add missing blanks in some error messages.
(Attribute_Ref, Name_Ref): Declare.
Document 'Ref attribute.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165291 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/sem_attr.ads')
| -rw-r--r-- | gcc/ada/sem_attr.ads | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/gcc/ada/sem_attr.ads b/gcc/ada/sem_attr.ads index 5865d8331fe..b1a61501f2d 100644 --- a/gcc/ada/sem_attr.ads +++ b/gcc/ada/sem_attr.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2009, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2010, 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- -- @@ -395,6 +395,15 @@ package Sem_Attr is -- as Range applied to the array itself. The result is of type universal -- integer. + --------- + -- Ref -- + --------- + + Attribute_Ref => True, + -- System.Address'Ref (Address is the only permissible prefix) is + -- equivalent to System'To_Address, provided for compatibility with + -- other compilers. + ------------------ -- Storage_Unit -- ------------------ @@ -439,7 +448,7 @@ package Sem_Attr is ---------------- Attribute_To_Address => True, - -- System'To_Address (Address is the only permissible prefix) is a + -- System'To_Address (System is the only permissible prefix) is a -- function that takes any integer value, and converts it into an -- address value. The semantics is to first convert the integer value to -- type Integer_Address according to normal conversion rules, and then |