https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102177
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |dje at gcc dot gnu.org
--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
E.g. aarch64 has comment like:
/* Normally the succ memory model must be stronger than fail, but in the
unlikely event of fail being ACQUIRE and succ being RELEASE we need to
promote succ to ACQ_REL so that we don't lose the acquire semantics. */
which makes me think that maybe it needs some work when the stronger
requirement isn't honored.
What about powerpc?
