[PATCH] D46112: Allow _Atomic to be specified on incomplete types

[Eli Friedman via Phabricator via cfe-commits]

efriedma added a comment.

I think the request was that we check that a type is trivially copyable when we perform an atomic operation?  I don't see the code for that anywhere.

Also needs some test coverage for atomic operations which aren't calls, like "typedef struct S S; void f(_Atomic S *s, _Atomic S *s2) { *s = *s2; };".


https://reviews.llvm.org/D46112