if (ISL_F_ISSET(bset, ISL_BASIC_SET_RATIONAL))
return bset;
+ if (!bset->n_ineq)
+ return bset;
+
bset = isl_basic_set_cow(bset);
if (!bset)
return NULL;
goto error;
if (isl_basic_set_fast_is_empty(bset))
goto done;
+ if (!bset->n_ineq)
+ goto done;
if (bset->n_eq > 0) {
struct isl_basic_set *affine_hull;