update barvinok to version 0.41.7
[ppn.git] / tests / inputs / multi_reuse.c
blob72af528b7d2bec955dc7643d5fdd69d868dc1358
1 int t(void);
2 void f(int);
4 void foo()
6 int a[1];
8 a[0] = 0;
9 for (int i = 0; i < 10; ++i) {
10 if (t())
11 a[0] = i;
12 f(a[0]);