This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [Ada] Implement Atomic_Synchronization pragmas
- From: Eric Botcazou <ebotcazou at adacore dot com>
- To: gcc-patches at gcc dot gnu dot org
- Cc: Arnaud Charlet <charlet at adacore dot com>, Robert Dewar <dewar at adacore dot com>
- Date: Mon, 24 Oct 2011 19:04:49 +0200
- Subject: Re: [Ada] Implement Atomic_Synchronization pragmas
- References: <20111024095159.GA26907@adacore.com>
> 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