> This trick is now obsolete since gigi should be able to rewrite the type of
> the objects to meet the atomicity requirements on its own.
It just needs the following patchlet, applied on the mainline.
2015-05-27 Eric Botcazou
* gcc-interface/decl.c (gnat_to_gnu_entity) : Move down
This change removes an old trick which was propagating the Atomic (and now
Volatile_Full_Access) setting from an object to a locally-defined type, in
order to coax gigi into accepting more atomic objects.
This trick is now obsolete since gigi should be able to rewrite the type of
the objects to me