1for (int c0 = 46; c0 <= 70; c0 += 12)
2 s0(c0, (17 * c0 - 170) / 12);
3

source code of polly/lib/External/isl/test_inputs/codegen/omega/iter6-1.c