gcc/testsuite/g++.dg/cpp2a/is-constant-evaluated6.C


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

// P0595R2
// { dg-do compile { target c++14 } }

namespace std {
  constexpr inline bool
  is_constant_evaluated () noexcept
  {
    return __builtin_is_constant_evaluated ();
  }
}

int a;

constexpr bool
foo (int x)
{
  return __builtin_constant_p (x);
}

constexpr bool
bar (int x)
{
  return __builtin_constant_p (x + a);
}

static_assert (__builtin_constant_p (0) + 2 * std::is_constant_evaluated () == 3, "");
static_assert (__builtin_constant_p (a) + 2 * std::is_constant_evaluated () == 2, "");
static_assert (foo (0) + 2 * std::is_constant_evaluated () == 3, "");
static_assert (bar (0) + 2 * std::is_constant_evaluated () == 2, "");