blob: ad87b64fec468580452a3a70e56da43e2bb042e5 (
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
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
98
99
100
101
102
103
104
105
|
// RUN: %clang_cc1 -std=c++23 -fsyntax-only -fexperimental-new-constant-interpreter %s -verify=expected,both
// RUN: %clang_cc1 -std=c++23 -fsyntax-only %s -verify=ref,both
namespace ConstEval {
constexpr int f() {
int i = 0;
if consteval {
i = 1;
}
return i;
}
static_assert(f() == 1, "");
constexpr int f2() {
int i = 0;
if !consteval {
i = 12;
if consteval {
i = i + 1;
}
}
return i;
}
static_assert(f2() == 0, "");
};
namespace InitDecl {
constexpr bool f() {
if (int i = 5; i != 10) {
return true;
}
return false;
}
static_assert(f(), "");
constexpr bool f2() {
if (bool b = false; b) {
return true;
}
return false;
}
static_assert(!f2(), "");
constexpr int attrs() {
if (1) [[likely]] {}
return 1;
}
static_assert(attrs() == 1, "");
};
/// The faulty if statement creates a RecoveryExpr with contains-errors,
/// but the execution will never reach that.
constexpr char g(char const (&x)[2]) {
return 'x';
if (auto [a, b] = x) // both-error {{an array type is not allowed here}} \
// both-warning {{structured binding declaration in a condition is a C++2c extension}}
;
}
static_assert(g("x") == 'x');
namespace IfScope {
struct Inc {
int &a;
constexpr Inc(int &a) : a(a) {}
constexpr ~Inc() { ++a; }
};
constexpr int foo() {
int a= 0;
int b = 12;
if (Inc{a}; true) {
b += a;
}
return b;
}
static_assert(foo() == 13, "");
}
namespace IfScope2 {
struct __bit_iterator {
unsigned __ctz_;
};
constexpr void __fill_n_bool(__bit_iterator) {}
constexpr void fill_n(__bit_iterator __first) {
if (false)
__fill_n_bool(__first);
else
__fill_n_bool(__first);
}
struct bitset{
constexpr void reset() {
auto m = __bit_iterator(8);
fill_n(m);
}
};
consteval bool foo() {
bitset v;
v.reset();
return true;
}
static_assert(foo());
}
|
