1for (int c0 = -99; c0 <= 100; c0 += 1) {
2 if (c0 <= 0)
3 S1(1, -c0 + 1);
4 for (int c1 = max(1, -2 * c0 + 3); c1 <= min(199, -2 * c0 + 199); c1 += 2) {
5 S2(((c1 - 1) / 2) + c0, (c1 + 1) / 2);
6 S1(((c1 + 1) / 2) + c0, (c1 + 1) / 2);
7 }
8 if (c0 >= 1)
9 S2(100, -c0 + 101);
10}
11

source code of polly/lib/External/isl/test_inputs/codegen/cloog/reservoir-lim-lam1.c