isl_basic_set_sort_constraints: take into account all coefficients

[isl.git] / test_inputs / codegen / cloog / nul_complex1.c

for (int c0 = 0; c0 <= 5 * n; c0 += 1)
  for (int c1 = max(2 * floord(c0 - 1, 3) + 2, -((n + c0 + 1) % 2) - n + c0 + 1); c1 <= min(c0, n + c0 - (n + c0 + 2) / 3); c1 += 2)
    S1((-2 * c0 + 3 * c1) / 2, c0 - c1);