1for (int c0 = -N + 1; c0 <= N; c0 += 1) {
2 for (int c1 = max(0, c0); c1 < min(N, N + c0); c1 += 1)
3 S1(c1, -c0 + c1);
4 for (int c1 = max(0, c0 - 1); c1 < min(N, N + c0 - 1); c1 += 1)
5 S2(c1, -c0 + c1 + 1);
6}
7

source code of polly/lib/External/isl/test_inputs/codegen/cloog/christian.c