1if (n >= 3 * floord(n + 1, 3))
2 for (int c0 = m; c0 <= 5 * floord(n + 1, 3); c0 += 1)
3 s0(c0);
4

source code of polly/lib/External/isl/test_inputs/codegen/omega/floor_bound-4.c