| volatile int g_2[7]; | |
| void foo (unsigned); | |
| int main (void) | |
| { | |
| int i_459 = 0; | |
| int t2818; | |
| int t2819; | |
| volatile char *t2820; | |
| int t2821; | |
| volatile char *t2822; | |
| int *t2823; | |
| unsigned t2824; | |
| LL655: | |
| t2822 = (volatile char *)g_2; | |
| t2821 = i_459; | |
| t2820 = t2822 + t2821; | |
| t2823 = (int *)t2820; | |
| t2824 = *t2823; | |
| foo (t2824); | |
| t2818 = i_459; | |
| t2819 = t2818 + 1; | |
| i_459 = t2819; | |
| goto LL655; | |
| } | |