diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2019-12-16 10:33:08 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-12-16 10:33:08 +0000 |
| commit | d6c7e020cffa8570c77e80da755c8963034657fb (patch) | |
| tree | 3775aa45161e641db67e8c155cf2b3a4d137d437 /gcc/ada/gcc-interface/trans.c | |
| parent | 070fa48b0a4fbdc754e18962d586f41cc263dad7 (diff) | |
| download | gcc-d6c7e020cffa8570c77e80da755c8963034657fb.zip gcc-d6c7e020cffa8570c77e80da755c8963034657fb.tar.gz gcc-d6c7e020cffa8570c77e80da755c8963034657fb.tar.bz2 | |
[Ada] Implement new legality rules introduced in C.6(13) by AI12-0128
2019-12-16 Eric Botcazou <ebotcazou@adacore.com>
gcc/ada/
* doc/gnat_rm/implementation_defined_pragmas.rst (VFA): Document
extension of the no-aliasing rule to any subcomponent.
* freeze.adb (Freeze_Object_Declaration): Small comment tweak.
(Freeze_Record_Type): Do not deal with delayed aspect
specifications for components here but...
(Freeze_Entity): ...here instead.
* sem_ch12.adb (Instantiate_Object): Improve wording of errors
given for legality rules in C.6(12) and implement the new rule
in C.6(13).
* sem_res.adb (Resolve_Actuals): Likewise.
* sem_prag.adb (Check_Atomic_VFA): New procedure implementing
the new legality rules in C.6(13).
(Process_Atomic_Independent_Shared_Volatile): Call
Check_Atomic_VFA to check the legality rules. Factor out code
marking types into...
(Mark_Type): ...this new procedure.
(Check_VFA_Conflicts): Do not check the legality rules here.
(Pragma_Atomic_Components): Call Check_Atomic_VFA on component
type.
* sem_util.ads (Is_Subcomponent_Of_Atomic_Object): Declare.
* sem_util.adb (Is_Subcomponent_Of_Atomic_Object): New
predicate.
* gnat_rm.texi: Regenerate.
From-SVN: r279412
Diffstat (limited to 'gcc/ada/gcc-interface/trans.c')
0 files changed, 0 insertions, 0 deletions