llvm/polly/lib/External/isl/test_inputs/codegen/omega/wak3-0.c

for (int c0 = a; c0 <= b + 20; c0 += 1) {
  if (b >= c0)
    s0(c0);
  if (c0 >= a + 10 && b + 10 >= c0)
    s1(c0);
  if (c0 >= a + 20)
    s2(c0);
}