http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58016
--- Comment #1 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- I don't know whether Andrew intends stdatomic.h to go in GCC or glibc, but in any case I consider this a duplicate of bug 53769, which in turn I don't really consider a useful bug report at all (incompleteness of the implementation of an option documented in the manual as incomplete should not be considered a bug).
