https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84292
ktkachov at gcc dot gnu.org changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |wrong-code
Status|UNCONFIRMED |NEW
Last reconfirmed| |2018-02-08
CC| |andreast at gcc dot gnu.org,
| |ktkachov at gcc dot gnu.org
Ever confirmed|0 |1
--- Comment #1 from ktkachov at gcc dot gnu.org ---
Hmm, GCC 5 is not maintained anymore, however I agree with your observation
that
the code for __sync_##NAME##_and_fetch_##N and __sync_fetch_and_##NAME##_##N is
identical in libgcc/config/arm/freebsd-atomic.c.
Andreas, could you please confirm this bug?