1for (int c0 = 1; c0 <= 10000; c0 += 1)
2 for (int c1 = 1000; c1 <= 1016; c1 += 1)
3 for (int c2 = 1; c2 < 2 * c1 - 1998; c2 += 1) {
4 if (c1 <= 1008 && c2 + 1999 == 2 * c1)
5 S2(c0, c1, 2 * c1 - 1999, 1, c0, 2 * c1 - 1000, 1, 2, c0, c1 - 499, 2 * c1 - 1999, c0, 2 * c1 - 1999, c1 - 999, c1 - 999);
6 if (c2 == 1 && c1 % 2 == 0)
7 S1(c0, c1, 1, 2, c0, (c1 / 2) + 1, c1 - 999, c0, c1 - 999, (c1 / 2) - 499, (c1 / 2) - 499);
8 }
9

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