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