|  | // 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()) {} | 
|  | if (T{f()}, g, h; f()) {} // expected-warning 2{{unused}} | 
|  | if (T(f()), g, h + 1; f()) {} // expected-warning 2{{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{{unused}} | 
|  | if (T{f()}, g, h) {} // expected-warning 2{{unused}} | 
|  |  | 
|  | // 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) {} | 
|  |  | 
|  | 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; | 
|  | } |