https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64843
--- Comment #8 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- I think we should keep the built-in function semantics as-is, and fix stdatomic.h along the lines I proposed in comment#3.