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