1for (int c0 = 3; c0 <= 9; c0 += 3)
2 s0(c0);
3

source code of polly/lib/External/isl/test_inputs/codegen/omega/stride1-0.c