https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80878 --- Comment #22 from Avi Kivity <avi@cloudius-systems.com> --- Perhaps PR 84522 should be reopened and unmarked as a duplicate. While the reproducer there is a C API, it is the C equivalent of <atomic> (<stdatomic.h>).