isl_pw_*_set_tuple_id: fix memory management annotation

[isl.git] / test_inputs / codegen / omega / guard1-1.c

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