diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2019-12-16 10:34:27 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-12-16 10:34:27 +0000 |
| commit | 2cee58d81076c99ab3db3305c1850bf79fa12f17 (patch) | |
| tree | 0161b2c951d4dd1cdd64eee3a940052271d687ed /gcc/ada/gcc-interface/decl.c | |
| parent | 0bba838d7f4e9b851416d463d077b28aff0b561f (diff) | |
| download | gcc-2cee58d81076c99ab3db3305c1850bf79fa12f17.zip gcc-2cee58d81076c99ab3db3305c1850bf79fa12f17.tar.gz gcc-2cee58d81076c99ab3db3305c1850bf79fa12f17.tar.bz2 | |
[Ada] Fully propagate representation aspects through renaming
2019-12-16 Eric Botcazou <ebotcazou@adacore.com>
gcc/ada/
* sem_ch8.adb (Analyze_Object_Renaming): Set Atomic, Independent
and Volatile_Full_Access aspects on the entity of the renaming
the same way as the Volatile aspect is set.
* sem_util.ads (Is_Atomic_Object_Entity): Move declaration to...
(Is_Independent_Object): New function.
(Is_Volatile_Full_Access_Object): Likewise.
* sem_util.adb (Is_Atomic_Object_Entity): ...here.
(Prefix_Has_Atomic_Components): Minor tweak.
(Is_Atomic_Object): Test Is_Atomic on the Etype uniformly.
(Is_Atomic_Or_VFA_Object): Call Is_Volatile_Full_Access_Object.
(Is_Independent_Object): New predicate.
(Is_Subcomponent_Of_Atomic_Object): Remove redundant test.
(Is_Volatile_Full_Access_Object): New predicate.
(Is_Volatile_Prefix): Rename into...
(Prefix_Has_Volatile_Components): ... and call
Is_Volatile_Object.
(Object_Has_Volatile_Components): Delete.
(Is_Volatile_Object): Simplify.
* gcc-interface/trans.c (node_is_volatile_full_access): Adjust
comment.
From-SVN: r279429
Diffstat (limited to 'gcc/ada/gcc-interface/decl.c')
0 files changed, 0 insertions, 0 deletions