diff options
| author | Robert Dewar <dewar@adacore.com> | 2015-05-22 12:53:21 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-05-22 14:53:21 +0200 |
| commit | f280dd8f6d4e3f95357707c3064253cb87698b66 (patch) | |
| tree | b66b44d98a027fc0c33dc1f86e1a61404d3d06d2 /gcc/ada/einfo.adb | |
| parent | 878e58c85ed67d4090e7e04d27695e892bc78580 (diff) | |
| download | gcc-f280dd8f6d4e3f95357707c3064253cb87698b66.zip gcc-f280dd8f6d4e3f95357707c3064253cb87698b66.tar.gz gcc-f280dd8f6d4e3f95357707c3064253cb87698b66.tar.bz2 | |
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
Diffstat (limited to 'gcc/ada/einfo.adb')
| -rw-r--r-- | gcc/ada/einfo.adb | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/gcc/ada/einfo.adb b/gcc/ada/einfo.adb index 9b7cced..9de5ce9 100644 --- a/gcc/ada/einfo.adb +++ b/gcc/ada/einfo.adb @@ -7329,6 +7329,15 @@ package body Einfo is end if; end Invariant_Procedure; + ---------------------- + -- Is_Atomic_Or_VFA -- + ---------------------- + + function Is_Atomic_Or_VFA (Id : E) return B is + begin + return Is_Atomic (Id) or else Has_Volatile_Full_Access (Id); + end Is_Atomic_Or_VFA; + ------------------ -- Is_Base_Type -- ------------------ |