https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115954
--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> --- And I'll note the original JTC1/SC22/WG14 - N2771 Title: C23 Atomics paper mentions "ABI would have been fully determined to be compatible with non-atomic type, leaving no room to implementations for introducing inconsistencies." but I can't find where/if this went into the actual standard.