1for (int c0 = M + 1; c0 <= 2 * M; c0 += 1)
2 S1(-M + c0);
3for (int c0 = 2 * M + 1; c0 <= M + N; c0 += 1) {
4 S1(-M + c0);
5 S2(-2 * M + c0);
6}
7for (int c0 = M + N + 1; c0 <= 2 * M + N; c0 += 1)
8 S2(-2 * M + c0);
9

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