1volatile int g_2[7];
2
3void foo (unsigned);
4
5int 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;
15LL655:
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