1 extern void abort (void);
2 
3 __attribute__ ((noinline)) int
foo(int * zzz,unsigned int kk)4 foo (int *zzz, unsigned int kk)
5 {
6   int a, b, d;
7 
8   a = b = 0;
9   for (d = 0; d < 1000; d++)
10     {
11       if (kk != 0)
12         b = *zzz;
13     }
14 
15   return b;
16 }
17 
18 int
main(void)19 main (void)
20 {
21   if (foo (0, 0) != 0)
22     abort();
23   return 0;
24 }
25