1 // { dg-options -std=c++0x }
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