exp_ch5.adb, [...]: This is a general change that deals with the fact that most of...
authorRobert Dewar <dewar@adacore.com>
Fri, 22 May 2015 12:53:21 +0000 (12:53 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Fri, 22 May 2015 12:53:21 +0000 (14:53 +0200)
commitf280dd8f6d4e3f95357707c3064253cb87698b66
treeb66b44d98a027fc0c33dc1f86e1a61404d3d06d2
parent878e58c85ed67d4090e7e04d27695e892bc78580
exp_ch5.adb, [...]: This is a general change that deals with the fact that most of the special...

2015-05-22  Robert Dewar  <dewar@adacore.com>

* exp_ch5.adb, layout.adb, einfo.adb, einfo.ads, sem_prag.adb,
freeze.adb, freeze.ads, sem_util.adb, sem_util.ads, exp_ch2.adb,
exp_ch4.adb, errout.adb, exp_aggr.adb, sem_ch13.adb: This is a general
change that deals with the fact that most of the special coding for
Atomic should also apply to the case of Volatile_Full_Access.
A new attribute Is_Atomic_Or_VFA is introduced, and many of the
references to Is_Atomic now use this new attribute.

From-SVN: r223560
15 files changed:
gcc/ada/ChangeLog
gcc/ada/einfo.adb
gcc/ada/einfo.ads
gcc/ada/errout.adb
gcc/ada/exp_aggr.adb
gcc/ada/exp_ch2.adb
gcc/ada/exp_ch4.adb
gcc/ada/exp_ch5.adb
gcc/ada/freeze.adb
gcc/ada/freeze.ads
gcc/ada/layout.adb
gcc/ada/sem_ch13.adb
gcc/ada/sem_prag.adb
gcc/ada/sem_util.adb
gcc/ada/sem_util.ads