isl_basic_map_gist: drop irrelevant constraints from the context

[isl.git] / test_inputs / codegen / cloog / basic-bounds-5.in

[M] -> { S1[1, i1] -> [1, i1, 0] : 2i1 >= M and 2i1 <= 1 + M }
[M] -> {  :  }
[M] -> { [i, j, k] -> separate[o0] }