1for (int c0 = 2; c0 <= M; c0 += 7)
2 S1(c0, (c0 - 2) / 7);
3

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