cxx0x-noexcept-expression.cpp
2.09 KB
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
// RUN: %clang_cc1 -fsyntax-only -verify -std=c++2a %s -fexceptions -fcxx-exceptions -Wno-unevaluated-expression
void f(); // expected-note {{possible target for call}}
void f(int); // expected-note {{possible target for call}}
void g() {
bool b = noexcept(f); // expected-error {{reference to overloaded function could not be resolved; did you mean to call it with no arguments?}}
bool b2 = noexcept(f(0));
}
struct S {
void g(); // expected-note {{possible target for call}}
void g(int); // expected-note {{possible target for call}}
void h() {
bool b = noexcept(this->g); // expected-error {{reference to non-static member function must be called; did you mean to call it with no arguments?}}
bool b2 = noexcept(this->g(0));
}
};
void stmt_expr() {
static_assert(noexcept(({ 0; })));
static_assert(!noexcept(({ throw 0; })));
static_assert(noexcept(({
try {
throw 0;
} catch (...) {
}
0;
})));
static_assert(!noexcept(({
try {
throw 0;
} catch (...) {
throw;
}
0;
})));
static_assert(!noexcept(({
try {
throw 0;
} catch (int) {
}
0;
})));
static_assert(!noexcept(({
if (false) throw 0;
})));
static_assert(noexcept(({
if constexpr (false) throw 0;
})));
static_assert(!noexcept(({
if constexpr (false) throw 0; else throw 1;
})));
static_assert(noexcept(({
if constexpr (true) 0; else throw 1;
})));
}
void vla(bool b) {
static_assert(noexcept(static_cast<int(*)[true ? 41 : 42]>(0)), "");
// FIXME: This can't actually throw, but we conservatively assume any VLA
// type can throw for now.
static_assert(!noexcept(static_cast<int(*)[b ? 41 : 42]>(0)), "");
static_assert(!noexcept(static_cast<int(*)[b ? throw : 42]>(0)), "");
static_assert(!noexcept(reinterpret_cast<int(*)[b ? throw : 42]>(0)), "");
static_assert(!noexcept((int(*)[b ? throw : 42])0), "");
static_assert(!noexcept((int(*)[b ? throw : 42]){0}), "");
}
struct pr_44514 {
// expected-error@+1{{value of type 'void' is not contextually convertible to 'bool'}}
void foo(void) const &noexcept(f());
};