Blame isl-0.16.1/test_inputs/codegen/omega/floor_bound-4.c

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