https://bugs.llvm.org/show_bug.cgi?id=40248
Bug ID: 40248
Summary: _Atomic not removed from rvalue in controlling
expression of _Generic.
Product: clang
Version: trunk
Hardware: All
OS: All
Status: NEW
Severity: normal
Priority: P
Component: -New Bugs
Assignee: [email protected]
Reporter: [email protected]
CC: [email protected], [email protected],
[email protected], [email protected]
Test case (prog.c):
_Atomic int f();
int main()
{
_Generic(f(), int: 0);
}
Compilation command line:
clang prog.c -Wall -Wextra -std=c11 -pedantic-errors
Observed behaviour:
The following error message was outputed:
error: controlling expression type '_Atomic(int)' not compatible with any
generic association type
Expected behaviour:
No error message.
The program is well-formed.
See 6.5.1.1/2:
"The type of the controlling expression is the type of the expression as if
it
had undergone an lvalue conversion, array to pointer conversion, or function
to pointer conversion"
and 6.3.2/2:
"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."
Note:
GCC accepts the program without outputing any error message.
--
You are receiving this mail because:
You are on the CC list for the bug._______________________________________________
llvm-bugs mailing list
[email protected]
http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
