1 // { dg-do compile }
2 // Origin: Giovanni Bajo <giovannibajo at gcc dot gnu dot org>
3 // DR179: Function pointers and subtraction
4 
5 void foo(void);
6 typedef void (*fp)(void);
7 
main()8 int main()
9 {
10   fp f1 = foo;
11   fp f2 = foo;
12   (void)f2-f1;  // { dg-error "" "cannot subtract pointers to function" }
13 }
14