f(void)1 void f(void) {
2   int x;
3   float y;
4   _Static_assert(_Generic(x, float : 0, int : 1), "Incorrect semantics of _Generic");
5   _Static_assert(_Generic(y, float : 1, int : 0), "Incorrect semantics of _Generic");
6 }
7