1 volatile int g_2[7];
2 
3 void foo (unsigned);
4 
main(void)5 int main (void)
6 {
7   int i_459 = 0;
8   int t2818;
9   int t2819;
10   volatile char *t2820;
11   int t2821;
12   volatile char *t2822;
13   int *t2823;
14   unsigned t2824;
15 LL655:
16   t2822 = (volatile char *)g_2;
17   t2821 = i_459;
18   t2820 = t2822 + t2821;
19   t2823 = (int *)t2820;
20   t2824 = *t2823;
21   foo (t2824);
22   t2818 = i_459;
23   t2819 = t2818 + 1;
24   i_459 = t2819;
25   goto LL655;
26 }
27 
28