1*67e74705SXin Li // RUN: %clang_cc1 -std=c++1z -verify %s -Wno-vexing-parse
2*67e74705SXin Li
3*67e74705SXin Li int g, h;
4*67e74705SXin Li typedef int T;
f()5*67e74705SXin Li int f() {
6*67e74705SXin Li // init-statement declarations
7*67e74705SXin Li if (T n = 0; n != 0) {}
8*67e74705SXin Li if (T f(); f()) {}
9*67e74705SXin Li if (T(f()); f()) {}
10*67e74705SXin Li if (T(f()), g, h; f()) {}
11*67e74705SXin Li if (T f(); f()) {}
12*67e74705SXin Li if (T f(), g, h; f()) {}
13*67e74705SXin Li if (T(n) = 0; n) {}
14*67e74705SXin Li
15*67e74705SXin Li // init-statement expressions
16*67e74705SXin Li if (T{f()}; f()) {}
17*67e74705SXin Li if (T{f()}, g, h; f()) {} // expected-warning 2{{unused}}
18*67e74705SXin Li if (T(f()), g, h + 1; f()) {} // expected-warning 2{{unused}}
19*67e74705SXin Li
20*67e74705SXin Li // condition declarations
21*67e74705SXin Li if (T(n){g}) {}
22*67e74705SXin Li if (T f()) {} // expected-error {{function type}}
23*67e74705SXin Li if (T f(), g, h) {} // expected-error {{function type}}
24*67e74705SXin Li if (T(n) = 0) {}
25*67e74705SXin Li
26*67e74705SXin Li // condition expressions
27*67e74705SXin Li if (T(f())) {}
28*67e74705SXin Li if (T{f()}) {}
29*67e74705SXin Li if (T(f()), g, h) {} // expected-warning 2{{unused}}
30*67e74705SXin Li if (T{f()}, g, h) {} // expected-warning 2{{unused}}
31*67e74705SXin Li
32*67e74705SXin Li // none of the above, disambiguated as expression (can't be a declaration)
33*67e74705SXin Li if (T(n)(g)) {} // expected-error {{undeclared identifier 'n'}}
34*67e74705SXin Li if (T(n)(int())) {} // expected-error {{undeclared identifier 'n'}}
35*67e74705SXin Li
36*67e74705SXin Li // Likewise for 'switch'
37*67e74705SXin Li switch (int n; n) {}
38*67e74705SXin Li switch (g; int g = 5) {}
39*67e74705SXin Li
40*67e74705SXin Li if (int a, b; int c = a) { // expected-note 6{{previous}}
41*67e74705SXin Li int a; // expected-error {{redefinition}}
42*67e74705SXin Li int b; // expected-error {{redefinition}}
43*67e74705SXin Li int c; // expected-error {{redefinition}}
44*67e74705SXin Li } else {
45*67e74705SXin Li int a; // expected-error {{redefinition}}
46*67e74705SXin Li int b; // expected-error {{redefinition}}
47*67e74705SXin Li int c; // expected-error {{redefinition}}
48*67e74705SXin Li }
49*67e74705SXin Li
50*67e74705SXin Li return 0;
51*67e74705SXin Li }
52