1for (int c0 = a; c0 <= b + 20; c0 += 1) {
2 if (b >= c0)
3 s0(c0);
4 if (c0 >= a + 10 && b + 10 >= c0)
5 s1(c0);
6 if (c0 >= a + 20)
7 s2(c0);
8}
9

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