On Apr 15, 2013, at 3:15 PM, Joey Gouly <[email protected]> wrote:
>  I don't think these should be accepted. Reading 6.5.7.2 of n1570, it says:
>  //  Each of the operands shall have integer type.//

An operand of _Atomic(int) type should always be an l-value and therefore
implicitly converted to type 'int' before analyzing the shift per 6.3.2.1p2.

I think we probably don't want to have a general explosion of needing to
handle atomic types absolutely everywhere;  these analyses should be
working with non-l-value types.

John.
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits

Reply via email to