[PATCH] D51084: Implement -Watomic-implicit-seq-cst

John McCall via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Tue Aug 28 18:22:55 PDT 2018

rjmccall added a comment.

It says the type of the assignment expression, not the type of the LHS.

C11 [6.5.16]p2: "The type of an assignment expression is the type the left operand would have after lvalue conversion."

C11 []p2: "...this is called lvalue conversion. If the lvalue has qualified type, the value has the unqualified version of the type of the lvalue; additionally, if the lvalue has atomic type, the value has the non-atomic version of the type of the lvalue; otherwise, the value has the type of the lvalue."

The RHS is not converted to have atomic type.

  rC Clang


More information about the cfe-commits mailing list