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
|
// RUN: %clang_cc1 -fexperimental-new-constant-interpreter -verify=expected,both %s
// RUN: %clang_cc1 -verify=ref,both %s
/// FIXME: Slight difference in diagnostic output here.
struct Foo {
int a;
};
constexpr int dead1() { // expected-error {{never produces a constant expression}}
Foo *F2 = nullptr;
{
Foo F{12}; // expected-note 2{{declared here}}
F2 = &F;
} // Ends lifetime of F.
return F2->a; // expected-note 2{{read of variable whose lifetime has ended}} \
// ref-note {{read of object outside its lifetime is not allowed in a constant expression}}
}
static_assert(dead1() == 1, ""); // both-error {{not an integral constant expression}} \
// both-note {{in call to}}
struct S {
int &&r; // both-note {{reference member declared here}}
int t;
constexpr S() : r(0), t(r) {} // both-error {{reference member 'r' binds to a temporary object whose lifetime would be shorter than the lifetime of the constructed object}} \
// ref-note {{read of object outside its lifetime is not allowed in a constant expression}} \
// expected-note {{temporary created here}} \
// expected-note {{read of temporary whose lifetime has ended}}
};
constexpr int k1 = S().t; // both-error {{must be initialized by a constant expression}} \
// ref-note {{in call to}} \
// expected-note {{in call to}}
|
