1for (int c0 = 2; c0 <= 8; c0 += 2) {
2 S1(c0, c0 / 2, c0 / 2);
3 S2(c0, c0 / 2, c0 / 2);
4}
5S2(10, 5, 5);
6

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