isl_basic_map_normalize: avoid invalid access on error
[isl.git] / test_inputs / toplas.pwqp
blob9c0999540b2e3b7476fac3a05fe7df89eab8f4e6
1 [n] -> { [i0, i1] -> (((4 * n - n^2) + (-3/2 + 2 * n) * i0 - 1/2 * i0^2) - i1) : i1 >= -1 + 3n - i0 and i1 >= -1 + 2n - i0 and i0 >= 0 and i1 <= -2 + 4n - i0 and i0 <= -2 + 4n and i0 <= -1 + 3n and i1 >= 0 and i1 <= -1 + n }