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
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
|
// RUN: %clang_cc1 -fsyntax-only -fcxx-exceptions -verify %s -std=c++14
int FileScope;
struct A {
int I;
void f();
A() try {
} catch (...) {
I = 12; // expected-warning {{cannot refer to a non-static member from the handler of a constructor function try block}}
f(); // expected-warning {{cannot refer to a non-static member from the handler of a constructor function try block}}
FileScope = 12; // ok
A a;
a.I = 12; // ok
}
};
struct B {
int I;
void f();
};
struct C : B {
C() try {
} catch (...) {
I = 12; // expected-warning {{cannot refer to a non-static member from the handler of a constructor function try block}}
f(); // expected-warning {{cannot refer to a non-static member from the handler of a constructor function try block}}
}
};
struct D {
static int I;
static void f();
D() try {
} catch (...) {
I = 12; // ok
f(); // ok
}
};
int D::I;
struct E {
int I;
void f();
static int J;
static void g();
~E() try {
} catch (...) {
I = 12; // expected-warning {{cannot refer to a non-static member from the handler of a destructor function try block}}
f(); // expected-warning {{cannot refer to a non-static member from the handler of a destructor function try block}}
J = 12; // ok
g(); // ok
}
};
int E::J;
struct F {
static int I;
static void f();
};
int F::I;
struct G : F {
G() try {
} catch (...) {
I = 12; // ok
f(); // ok
}
};
struct H {
struct A {};
enum {
E
};
H() try {
} catch (...) {
H::A a; // ok
int I = E; // ok
}
};
struct I {
int J;
I() {
try { // not a function-try-block
} catch (...) {
J = 12; // ok
}
}
};
|
