> That regresses on gnat.dg/specs/atomic1.ads for aarch64/-mabi=ilp32,
> missing the error on line 13. The missing error on line 9 is
> preexisting.
That's sort of expected, since the point of the patch is to make the 2
situations equivalent wrt atomicity. Clearly the test is not portable and
On Sep 09 2017, Eric Botcazou wrote:
> * gcc-interface/decl.c (promote_object_alignment): New function taken
> from...
> (gnat_to_gnu_entity) : ...here. Invoke it.
> (gnat_to_gnu_field): If the field is Atomic or VFA, invoke it and
> create a padding type on success
The compiler wrongly rejects a pragma Atomic on a component of a record whose
type is composite, but it accepts the pragma on a variable of the same type.
Tested on x86_64-suse-linux, applied on the mainline and 7 branch.
2017-09-09 Eric Botcazou
* gcc-interface/decl.c (promote_obje
