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

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