[Ada] Small consistency fix for Volatile_Full_Access objects
authorEric Botcazou <ebotcazou@adacore.com>
Mon, 16 Dec 2019 10:33:45 +0000 (10:33 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Mon, 16 Dec 2019 10:33:45 +0000 (10:33 +0000)
commitd8468b976bb2721c32368e2a80591e77ca49250f
treed7fd7ad92d568545f6796febd4fa09361ad9e870
parentbee69f33688293b0c5afdf737d03aca12a8fccb4
[Ada] Small consistency fix for Volatile_Full_Access objects

2019-12-16  Eric Botcazou  <ebotcazou@adacore.com>

gcc/ada/

* sem_util.adb (Is_Atomic_Or_VFA_Object): Also return true for
components whose type is Volatile_Full_Access or which are
subject to the aspect/pragma individually.
* sem_util.ads (Is_Atomic_Object_Entity): Small comment fix.

From-SVN: r279420
gcc/ada/ChangeLog
gcc/ada/sem_util.adb
gcc/ada/sem_util.ads