1 // PR c++/87523
2 // { dg-do compile { target c++14 } }
3
4 template <typename T, T v>
5 struct my_integer_constant {
my_integer_constantmy_integer_constant6 constexpr my_integer_constant() {}
Tmy_integer_constant7 constexpr operator T() const { return v; }
operatormy_integer_constant8 constexpr T operator()() const { return v; }
9 };
10
11 template <typename T, T... u>
12 struct constant_call {
13 template <typename Callback>
callconstant_call14 static void call(T v, Callback f) {
15 char dummy[sizeof...(u)] = { ( (v == u) ? (f(my_integer_constant<T, u>{}), static_cast<char>(0)) : static_cast<char>(0))... };
16 (void)dummy;
17 }
18 };
19
f(bool reverse_in,bool other_bool_in)20 void f(bool reverse_in, bool other_bool_in) {
21 auto helper = [&] (auto reverse_t) {
22 bool constexpr reverse_v = reverse_t;
23 (void)reverse_v;
24 constant_call<bool, true, false>::call(other_bool_in,
25 [&] (auto newb) {
26 bool reverse_v_dyn = reverse_v;
27 });
28 };
29 constant_call<bool, true, false>::call(reverse_in, [&] (auto reverse_t) {
30 helper(reverse_t);
31 });
32 }
33