1 // { dg-do compile { target c++11 } }
2 
is_negative(int x)3 constexpr bool is_negative(int x) {
4   return x < 0;
5 }
6 
do_has_neg(const int * x,bool (* p)(int))7 constexpr 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))11 constexpr 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