1for (int c0 = max(max(max(max(a1, a2), a3), a4), a5); c0 <= min(min(min(min(b1, b2), b3), b4), b5); c0 += 1) {
2 s0(c0);
3 s1(c0);
4}
5

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