isl_pw_aff_set_rational: avoid invalid access on error
[platform/upstream/isl.git] / test_inputs / application.omega
1 {[x]}
2 {[x] -> [y] : y = 2x}
3 {[y]: Exists ( alpha : 2alpha = y)}