I think the documentation needs to say (and the tests need to test) that this produces a non-atomic type (like lvalue-to-rvalue conversion), if that's the intent for how it handles atomic types, since _Atomic is syntactically a qualifier but largely not treated like one in the standard.
-- Joseph S. Myers jos...@codesourcery.com
