http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51766
Richard Guenther <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Priority|P3 |P1
--- Comment #1 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-01-09
15:40:10 UTC ---
The docs of __sync_* say
This builtin is not a full barrier, but rather an @dfn{acquire barrier}.
This means that references after the builtin cannot move to (or be
speculated to) before the builtin, but previous memory stores may not
be globally visible yet, and previous memory loads may not yet be
satisfied.
But it is not exactly clear to which builtins this applies. Thus, is
the intended behavior actually target depedent?
