1for (int c0 = a1; c0 <= min(min(b1, a3 - 1), a2 - 1); c0 += 1)
2 s0(c0);
3for (int c0 = a2; c0 <= min(a3 - 1, b2); c0 += 1) {
4 if (c0 >= a1 && b1 >= c0)
5 s0(c0);
6 s1(c0);
7}
8for (int c0 = max(max(a1, a2), b2 + 1); c0 <= min(b1, a3 - 1); c0 += 1)
9 s0(c0);
10for (int c0 = a3; c0 <= b3; c0 += 1) {
11 if (c0 >= a1 && b1 >= c0)
12 s0(c0);
13 if (c0 >= a2 && b2 >= c0)
14 s1(c0);
15 s2(c0);
16}
17for (int c0 = max(max(a1, a3), b3 + 1); c0 <= min(b1, a2 - 1); c0 += 1)
18 s0(c0);
19for (int c0 = max(max(a3, b3 + 1), a2); c0 <= b2; c0 += 1) {
20 if (c0 >= a1 && b1 >= c0)
21 s0(c0);
22 s1(c0);
23}
24for (int c0 = max(max(max(max(a1, a3), b3 + 1), a2), b2 + 1); c0 <= b1; c0 += 1)
25 s0(c0);
26

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