1extern int foo(void);
2typedef int (*func_p) (void);
3extern func_p foo_ptr;
4
5void
6check_foo (void)
7{
8  if (foo_ptr != foo)
9    __builtin_abort ();
10  if (foo_ptr() != 1)
11    __builtin_abort ();
12  if (foo() != 1)
13    __builtin_abort ();
14}
15