Blame isl-0.14/test_inputs/codegen/omega/guard1-1.c

Packit fb9d21
if (n + 2 * floord(-n + m - 1, 2) + 1 == m)
Packit fb9d21
  s0(n, m);