diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-05 16:21:03 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-05 16:21:03 +0200 |
| commit | 822868aa564816380d7928a6ead984524abc8259 (patch) | |
| tree | eba2b26100e99f621767619903ed5d74dd4acaa2 /gcc/ada/sinfo.ads | |
| parent | 44a10091cf20b5f4580c4e7bc33e8162acce97dc (diff) | |
| download | gcc-822868aa564816380d7928a6ead984524abc8259.zip gcc-822868aa564816380d7928a6ead984524abc8259.tar.gz gcc-822868aa564816380d7928a6ead984524abc8259.tar.bz2 | |
[multiple changes]
2011-08-05 Vincent Celier <celier@adacore.com>
* gnatcmd.adb (Get_Closure): Do not crash when it is not possible to
delete or close the file when the call to gnatmake was successful.
2011-08-05 Yannick Moy <moy@adacore.com>
* gnat1drv.adb (Adjust_Global_Switches): in ALFA mode, set
Global_Discard_Names.
2011-08-05 Ed Schonberg <schonberg@adacore.com>
* sinfo.ads: comments on use of entity field for aspect specifications.
2011-08-05 Ed Schonberg <schonberg@adacore.com>
* sem_ch12.adb (Reset_Entity): If the entity field of the associated
node is not itself an entity but a selected component, it is a
rewritten parameterless call to an en enclosing synchronized operation,
and this expansion will be performed again in the instance, so there is
no global information to preserve.
From-SVN: r177443
Diffstat (limited to 'gcc/ada/sinfo.ads')
| -rw-r--r-- | gcc/ada/sinfo.ads | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gcc/ada/sinfo.ads b/gcc/ada/sinfo.ads index 13ee674..c9e0512 100644 --- a/gcc/ada/sinfo.ads +++ b/gcc/ada/sinfo.ads @@ -943,6 +943,12 @@ package Sinfo is -- there is no requirement that these match, and there are obscure cases -- of generated code where they do not match. + -- Note: Aspect specifications, introduced in Ada2012, require additional + -- links between identifiers and various attributes. These attributes + -- can be of arbitrary types, and the entity field of identifiers that + -- denote aspects must be used to store arbitrary expressions for later + -- semantic checks. See section on Aspect specifications for details. + -- Entity_Or_Associated_Node (Node4-Sem) -- A synonym for both Entity and Associated_Node. Used by convention in -- the code when referencing this field in cases where it is not known |