isl_basic_set_sort_constraints: take into account all coefficients

[isl.git] / test_inputs / codegen / omega / code_gen-0.c

for (int c0 = 1; c0 <= 8; c0 += 1)
  for (int c1 = 0; c1 <= 7; c1 += 1) {
    if (c1 <= 4 && c0 <= 6 && c0 >= 2)
      s1(c0, c1);
    if (c1 + 1 >= c0)
      s0(c0, c1);
  }