[Ada] Clear confusion about subcomponents of atomic object
authorEric Botcazou <ebotcazou@adacore.com>
Fri, 13 Dec 2019 09:05:18 +0000 (09:05 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Fri, 13 Dec 2019 09:05:18 +0000 (09:05 +0000)
commita35c1b077e32e4b552dd1d0f2385a3885fcabf4b
tree8a550a5392f4e8c6fb2f7fcfec0752ae8a26f473
parent309ff6fb2332471dbe0e5ee692ea88b0a7dc1c94
[Ada] Clear confusion about subcomponents of atomic object

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

gcc/ada/

* sem_util.ads (Is_Atomic_Object): Mention relevant RM clauses.
* sem_util.adb (Is_Atomic_Object): For an indexed component,
only look at the Has_Atomic_Components aspect of the prefix and
do not recurse on it; for a selected component, do not look at
the prefix.
(Is_Atomic_Or_VFA_Object): Minor tweak.

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