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
|
// PR c++/100995
// { dg-do compile { target c++20 } }
// { dg-options "-Wtautological-compare" }
namespace std {
constexpr inline bool
is_constant_evaluated () noexcept
{
return __builtin_is_constant_evaluated ();
}
}
template <int I = []() constexpr { if (std::is_constant_evaluated()) return 1; return 0; }()>
struct X { };
template <int I = [](){ if (std::is_constant_evaluated()) return 1; return 0; }()>
struct Y { };
template <int I = [](){ if constexpr (std::is_constant_evaluated()) return 1; return 0; }()> // { dg-warning "always evaluates to true" }
struct Z { };
constexpr bool b = true;
#define __glibcxx_assert(cond) \
if (__builtin_is_constant_evaluated() && !bool(cond)) \
__builtin_unreachable()
#define CHECK __builtin_is_constant_evaluated() // { dg-warning "always evaluates to false" }
#define CHECK2 __builtin_is_constant_evaluated()
int
foo ()
{
if (std::is_constant_evaluated ()) // { dg-warning "always evaluates to false" }
return 1;
__glibcxx_assert(b);
if (CHECK && b)
return 2;
if (CHECK2)
return 3;
return 0;
}
constexpr int
bar ()
{
if (std::is_constant_evaluated ())
return 1;
if constexpr (std::is_constant_evaluated ()) // { dg-warning "always evaluates to true" }
return 2;
if constexpr (std::is_constant_evaluated () && b) // { dg-warning "always evaluates to true" }
return 3;
if constexpr (!std::is_constant_evaluated ()) // { dg-warning "always evaluates to true" }
return 4;
return 0;
}
consteval int
baz ()
{
if (std::is_constant_evaluated ()) // { dg-warning "always evaluates to true" }
return 1;
return 0;
}
int
qux ()
{
if (({ static bool a = std::is_constant_evaluated (); a; }))
return 1;
if (({ bool a = std::is_constant_evaluated (); a; }))
return 2;
if (static bool a = std::is_constant_evaluated (); a)
return 3;
if (bool a = std::is_constant_evaluated (); a)
return 4;
if constexpr (constexpr bool a = std::is_constant_evaluated (); a)
return 5;
return 0;
}
|
