isl_transitive_closure.c: add_length: reuse increment
[isl.git] / test_inputs / codegen / empty.in
blob17febea4be65573d229348bb08d5922e032b20af
1 # Earlier versions of isl would end up with an empty partial
2 # executed relation and fail to detect this emptiness.
3 [M] -> { S0[i] -> [i, -M] : 0 <= i <= 10; S1[i] -> [i, 0] : 0 <= i <= 10; S2[] -> [5, 0] }
4 [M] -> {  : M >= 1 }
5 { }