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
|
// 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 {{ISO C++17 does not permit structured binding declaration in a condition}}
;
}
static_assert(g("x") == 'x');
|
