src/isl-0.15/test_inputs/codegen/cloog/stride3.c

for (int c0 = max(1, m); c0 <= n; c0 += 1)
  S1(c0);