1for (int c0 = 0; c0 <= 5; c0 += 1)
2 for (int c1 = min(4, 2 * c0); c1 <= max(4, 2 * c0); c1 += 1) {
3 if (c1 == 2 * c0)
4 S1(c0, 2 * c0);
5 if (c1 == 4)
6 S2(c0, 4);
7 }
8

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