isl_pw_*_set_tuple_id: fix memory management annotation
[isl.git] / test_inputs / codegen / separation_class.c
blob1a1810c84d3960d0f5e7afc81783a163953a5713
2 for (int c0 = 0; c0 <= 8; c0 += 1) {
3 for (int c1 = 0; c1 <= -c0 + 8; c1 += 1)
4 for (int c2 = 10 * c0; c2 <= 10 * c0 + 9; c2 += 1)
5 for (int c3 = 10 * c1; c3 <= 10 * c1 + 9; c3 += 1)
6 A(c2, c3);
7 for (int c1 = -c0 + 9; c1 <= -c0 + 10; c1 += 1)
8 for (int c2 = 10 * c0; c2 <= min(10 * c0 + 9, -10 * c1 + 100); c2 += 1)
9 for (int c3 = 10 * c1; c3 <= min(10 * c1 + 9, -c2 + 100); c3 += 1)
10 A(c2, c3);
12 for (int c0 = 9; c0 <= 10; c0 += 1)
13 for (int c1 = 0; c1 <= -c0 + 10; c1 += 1)
14 for (int c2 = 10 * c0; c2 <= min(10 * c0 + 9, -10 * c1 + 100); c2 += 1)
15 for (int c3 = 10 * c1; c3 <= min(-c2 + 100, 10 * c1 + 9); c3 += 1)
16 A(c2, c3);