diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-11-04 14:48:52 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-11-04 14:48:52 +0100 |
| commit | 4c3182538905f7e806afcf2358825cce22183991 (patch) | |
| tree | 862c171a1d33635f2b5e29e17a82001c59d22f4e /gcc/ada/atree.ads | |
| parent | 37765e95f1b10191c37f6d185a3621cfd7ccdfd9 (diff) | |
| download | gcc-4c3182538905f7e806afcf2358825cce22183991.tar.gz | |
[multiple changes]
2011-11-04 Yannick Moy <moy@adacore.com>
* sem_prag.adb: Minor refactoring (renaming of a parameter).
2011-11-04 Robert Dewar <dewar@adacore.com>
* atree.ads: Minor reformatting.
2011-11-04 Robert Dewar <dewar@adacore.com>
* checks.adb (Atomic_Synchronization_Disabled): Check -gnatd.d
and -gnatd.e here
* exp_ch2.adb (Expand_Entity_Reference): Use
Activate_Atomic_Synchronization
* exp_ch4.adb (Expand_N_Explicit_Dereference): Use
Activate_Atomic_Synchronization (Expand_N_Indexed_Compoonent):
Activate_Atomic_Synchronization (Expand_N_Selected_Component):
Use Activate_Atomic_Synchronization
* exp_util.ads, exp_util.adb (Activate_Atomic_Synchronization): New
procedure.
* sinfo.ads, sinfo.adb (Atomic_Sync_Required): Can now apply to
N_Selected_Component node
From-SVN: r180950
Diffstat (limited to 'gcc/ada/atree.ads')
| -rw-r--r-- | gcc/ada/atree.ads | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/gcc/ada/atree.ads b/gcc/ada/atree.ads index 736f5ca6135..6bb9ddde161 100644 --- a/gcc/ada/atree.ads +++ b/gcc/ada/atree.ads @@ -895,9 +895,13 @@ package Atree is ----------------------------------- -- This subpackage provides the functions for accessing and procedures for - -- setting fields that are normally referenced by their logical synonyms - -- defined in packages Sinfo and Einfo. The implementations of these - -- packages use the package Atree.Unchecked_Access. + -- setting fields that are normally referenced by wrapper subprograms (e.g. + -- logical synonyms defined in packages Sinfo and Einfo, or specialized + -- routines such as Rewrite (for Original_Node), or the node creation + -- routines (for Set_Nkind). The implementations of these wrapper + -- subprograms use the package Atree.Unchecked_Access as do various + -- special case accesses where no wrapper applies. Documentation is always + -- required for such a special case access explaining why it is needed. package Unchecked_Access is |