isl_map_apply_range: mark result of 1 basic set as "disjoint"

diff --git a/isl_map.c b/isl_map.c
index 7550f17..aab015e 100644 (file)
--- a/isl_map.c
+++ b/isl_map.c
@@ -2666,6 +2666,8 @@ struct isl_map *isl_map_apply_range(
                }
        isl_map_free(ctx, map1);
        isl_map_free(ctx, map2);
+       if (result && result->n <= 1)
+               F_SET(result, ISL_MAP_DISJOINT);
        return result;
 error:
        isl_map_free(ctx, map1);