summaryrefslogtreecommitdiffstats
path: root/test/Parser/cxx1z-init-statement.cpp
blob: 3d119ef8e709cb9bc0ab29f89c7c628aa425ba3e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
// 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;
}