[Ada] Implement Atomic_Synchronization pragmas

Eric Botcazou ebotcazou@adacore.com
Mon Oct 24 17:33:00 GMT 2011

> This patch implements the front end work for fixing this problem
> References to atomic variables (identifiers or expanded names)
> have a flag Atomic_Sync_Required to flag to the back end that
> appropriate memory barriers are to be generated.

For the sake of completeness, gigi will translate these into calls to the 
appropriate builtins once the cxx-mem-model branch is merged into trunk.

Eric Botcazou

More information about the Gcc-patches mailing list