The patch I've posted at <http://gcc.gnu.org/ml/gcc-patches/2013-11/msg00493.html> is intended to be mainline-ready (with the hopes that other people may pick up the ObjC and OpenMP issues, and floating-point handling for non-x86 targets, once it's in mainline). If that gets in in time for 4.9 (i.e. sufficiently before the end of development stage 1), I intend to get <stdatomic.h> mainline-ready (with test coverage) as a followup.
-- Joseph S. Myers jos...@codesourcery.com