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