diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-03-24 13:26:10 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-03-24 13:26:10 +0100 |
| commit | eaed2a2c96e0a214819f7ecc1430a6b4f97465e7 (patch) | |
| tree | 1b0c9f34ca5c58ccd219dd2fba8876fd436ebd64 /gcc/ada/sem_attr.ads | |
| parent | 5f6061af2d05babf0c0053d51592a0612d23a196 (diff) | |
| download | gcc-eaed2a2c96e0a214819f7ecc1430a6b4f97465e7.zip gcc-eaed2a2c96e0a214819f7ecc1430a6b4f97465e7.tar.gz gcc-eaed2a2c96e0a214819f7ecc1430a6b4f97465e7.tar.bz2 | |
[multiple changes]
2015-03-24 Gary Dismukes <dismukes@adacore.com>
* sem_ch3.adb: Minor typo fix (missing paren).
2015-03-24 Robert Dewar <dewar@adacore.com>
* sinfo.ads: Update comment.
2015-03-24 Robert Dewar <dewar@adacore.com>
* exp_attr.adb: Add entry for typ'Deref.
* sem_attr.adb (Deref): New GNAT attribute.
* sem_attr.ads: Add entry for new GNAT attribute Deref.
* snames.ads-tmpl: Add entries for new attribute Deref.
From-SVN: r221630
Diffstat (limited to 'gcc/ada/sem_attr.ads')
| -rw-r--r-- | gcc/ada/sem_attr.ads | 19 |
1 files changed, 15 insertions, 4 deletions
diff --git a/gcc/ada/sem_attr.ads b/gcc/ada/sem_attr.ads index c265221..c1e5928 100644 --- a/gcc/ada/sem_attr.ads +++ b/gcc/ada/sem_attr.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2014, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2015, 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- -- @@ -42,9 +42,9 @@ package Sem_Attr is -- Implementation Dependent Attributes -- ----------------------------------------- - -- This section describes the implementation dependent attributes - -- provided in GNAT, as well as constructing an array of flags - -- indicating which attributes these are. + -- This section describes the implementation dependent attributes provided + -- in GNAT, as well as constructing an array of flags indicating which + -- attributes these are. Attribute_Impl_Def : Attribute_Class_Array := Attribute_Class_Array'( @@ -152,6 +152,17 @@ package Sem_Attr is -- Default_Scalar_Storage_Order, or equal to Default_Bit_Order if -- unspecified) as a System.Bit_Order value. This is a static attribute. + ----------- + -- Deref -- + ----------- + + Attribute_Deref => True, + -- typ'Deref (expr) is valid only if expr is of type System'Address. + -- The result is an object of type typ that is obtained by treating the + -- address as an access-to-typ value that points to the result. It is + -- basically equivalent to (atyp!expr).all where atyp is an access type + -- for the type. + --------------- -- Elab_Body -- --------------- |