1 // { dg-do compile { target c++11 } } 2 is_negative(int x)3constexpr bool is_negative(int x) { 4 return x < 0; 5 } 6 do_has_neg(const int * x,bool (* p)(int))7constexpr bool do_has_neg(const int* x, bool(*p)(int)) { 8 return p(x[0]) || p(x[1]); // Line 6 9 } 10 has_neg(const int (& x)[2],bool (* p)(int))11constexpr bool has_neg(const int (&x)[2], bool(*p)(int)) { 12 return do_has_neg(x, p); // Line 10 13 } 14 15 constexpr int a[] = {1, -2}; 16 17 constexpr auto answer = has_neg(a, is_negative); // Line 15 18 19 static_assert(answer, "Error"); 20