1extern void abort (void); 2 3__attribute__((noinline)) void 4foo (void *p) 5{ 6 long l = (long) p; 7 if (l < 0 || l > 6) 8 abort (); 9} 10 11int 12main () 13{ 14 short i; 15 for (i = 6; i >= 0; i--) 16 foo ((void *) (long) i); 17 return 0; 18} 19