[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Fri, 4 Nov 2011 12:04:55 +0000 (13:04 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Fri, 4 Nov 2011 12:04:55 +0000 (13:04 +0100)
commit5972791c345f8e0a750ab5e5cde189ba5064d118
treec6023d169c19bbc4f9712b3fa856fbd833835777
parent1a03203481f5f54af8d8ed2b1beda4cb7c47424d
[multiple changes]

2011-11-04  Robert Dewar  <dewar@adacore.com>

* exp_ch2.adb (Expand_Entity_Reference): Do not set
Atomic_Sync_Required for the case of a prefix of an attribute.
* exp_ch4.adb (Expand_N_Explicit_Dereference): May require
atomic synchronization
(Expand_N_Indexed_Component): Ditto.
(Expand_B_Selected_Component): Ditto.
* sem_prag.adb (Process_Suppress_Unsuppress):
Disable/Enable_Atomic_Synchronization can now occur for array
types with pragma Atomic_Components.
* sinfo.ads, sinfo.adb (Atomic_Sync_Required): Can now occur on
N_Explicit_Dereference nodes and on N_Indexed_Component nodes.

2011-11-04  Gary Dismukes  <dismukes@adacore.com>

* gnat_ugn.texi: Editorial corrections for gnattest section.

From-SVN: r180943
gcc/ada/ChangeLog
gcc/ada/exp_ch2.adb
gcc/ada/exp_ch4.adb
gcc/ada/gnat_ugn.texi
gcc/ada/sem_prag.adb
gcc/ada/sinfo.adb
gcc/ada/sinfo.ads