1for (int c0 = 1; c0 <= 3; c0 += 2)
2 s0(c0, (-3 * c0 + 15) / 2);
3

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