1 // { dg-do compile { target c++11 } } 2 is_negative(int x)3 constexpr bool is_negative(int x) { return x < 0; } 4 check(int x,bool (* p)(int))5 constexpr bool check(int x, bool (*p)(int)) { return p(x); } // #1 6 7 static_assert(check(-2, is_negative), "Error"); 8