| // RUN: %clang_cc1 -std=c++1z -verify %s -Wno-vexing-parse | |
| int g, h; | |
| typedef int T; | |
| int f() { | |
| // init-statement declarations | |
| if (T n = 0; n != 0) {} | |
| if (T f(); f()) {} | |
| if (T(f()); f()) {} | |
| if (T(f()), g, h; f()) {} | |
| if (T f(); f()) {} | |
| if (T f(), g, h; f()) {} | |
| if (T(n) = 0; n) {} | |
| // init-statement expressions | |
| if (T{f()}; f()) {} // expected-warning {{expression result unused}} | |
| if (T{f()}, g, h; f()) {} // expected-warning 2{{left operand of comma operator has no effect}} expected-warning {{expression result unused}} | |
| if (T(f()), g, h + 1; f()) {} // expected-warning 2{{left operand of comma operator has no effect}} expected-warning {{expression result unused}} | |
| // condition declarations | |
| if (T(n){g}) {} | |
| if (T f()) {} // expected-error {{function type}} | |
| if (T f(), g, h) {} // expected-error {{function type}} | |
| if (T(n) = 0) {} | |
| // condition expressions | |
| if (T(f())) {} | |
| if (T{f()}) {} | |
| if (T(f()), g, h) {} // expected-warning 2{{left operand of comma operator has no effect}} | |
| if (T{f()}, g, h) {} // expected-warning 2{{left operand of comma operator has no effect}} | |
| // none of the above, disambiguated as expression (can't be a declaration) | |
| if (T(n)(g)) {} // expected-error {{undeclared identifier 'n'}} | |
| if (T(n)(int())) {} // expected-error {{undeclared identifier 'n'}} | |
| // Likewise for 'switch' | |
| switch (int n; n) {} | |
| switch (g; int g = 5) {} // expected-warning {{expression result unused}} | |
| if (int a, b; int c = a) { // expected-note 6{{previous}} | |
| int a; // expected-error {{redefinition}} | |
| int b; // expected-error {{redefinition}} | |
| int c; // expected-error {{redefinition}} | |
| } else { | |
| int a; // expected-error {{redefinition}} | |
| int b; // expected-error {{redefinition}} | |
| int c; // expected-error {{redefinition}} | |
| } | |
| return 0; | |
| } |