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