1 #include <stdio.h> 2 3 int foo = 1; 4 5 extern int *bar (void); 6 extern int bar_ifunc (void); 7 8 int 9 main (void) 10 { 11 if (bar () == &foo && bar_ifunc () == 0xbadbeef) 12 printf ("PASS\n"); 13 return 0; 14 } 15