blob: ade60dc762d5c8dfb92c4cb60edc1f03054d9571 [file] [log] [blame]
// 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{{unused}} expected-warning {{expression result unused}}
if (T(f()), g, h + 1; f()) {} // expected-warning 2{{unused}} 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{{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) {} // 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;
}