1for (int c0 = 0; c0 <= n; c0 += 1)
2 for (int c1 = 0; c1 <= n; c1 += 1)
3 if (c1 == n || c0 == n || c1 == 0 || c0 == 0) {
4 for (int c3 = 0; c3 <= n; c3 += 1)
5 for (int c4 = 0; c4 <= n; c4 += 1)
6 a(c0, c1, c3, c4);
7 for (int c3 = 0; c3 <= n; c3 += 1)
8 for (int c4 = 0; c4 <= n; c4 += 1)
9 b(c0, c1, c3, c4);
10 }
11

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