This is interesting. Is there any reason why std::atomic<T> can't fail to compile if lock-free code can't be generated?
Silently making atomic operations non-atomic seems... bad. Or will atomic<T> with unsupported T compile to a code that uses a global mutex or something of the sort?