add some missing tests for invalid input

diff --git a/isl_map.c b/isl_map.c
index 77aec4d..84b9b99 100644 (file)
--- a/isl_map.c
+++ b/isl_map.c
@@ -479,6 +479,9 @@ struct isl_basic_map *isl_basic_map_cow(struct isl_ctx *ctx,
 
 static struct isl_set *isl_set_cow(struct isl_ctx *ctx, struct isl_set *set)
 {
+       if (!set)
+               return NULL;
+
        if (set->ref == 1)
                return set;
        set->ref--;
@@ -487,6 +490,9 @@ static struct isl_set *isl_set_cow(struct isl_ctx *ctx, struct isl_set *set)
 
 struct isl_map *isl_map_cow(struct isl_ctx *ctx, struct isl_map *map)
 {
+       if (!map)
+               return NULL;
+
        if (map->ref == 1)
                return map;
        map->ref--;
@@ -1198,6 +1204,11 @@ static void dump(struct isl_basic_map *bmap, FILE *out, int indent)
 void isl_basic_set_dump(struct isl_ctx *ctx, struct isl_basic_set *bset,
                                FILE *out, int indent)
 {
+       if (!bset) {
+               fprintf(out, "null basic set\n");
+               return;
+       }
+
        fprintf(out, "%*s", indent, "");
        fprintf(out, "nparam: %d, dim: %d, extra: %d\n",
                        bset->nparam, bset->dim, bset->extra);
@@ -1207,6 +1218,11 @@ void isl_basic_set_dump(struct isl_ctx *ctx, struct isl_basic_set *bset,
 void isl_basic_map_dump(struct isl_ctx *ctx, struct isl_basic_map *bmap,
                                FILE *out, int indent)
 {
+       if (!bmap) {
+               fprintf(out, "null basic map\n");
+               return;
+       }
+
        fprintf(out, "%*s", indent, "");
        fprintf(out, "ref: %d, nparam: %d, in: %d, out: %d, extra: %d\n",
                bmap->ref,
@@ -1344,6 +1360,11 @@ void isl_map_dump(struct isl_ctx *ctx, struct isl_map *map, FILE *out,
 {
        int i;
 
+       if (!map) {
+               fprintf(out, "null map\n");
+               return;
+       }
+
        fprintf(out, "%*s", indent, "");
        fprintf(out, "ref: %d, n: %d, nparam: %d, in: %d, out: %d\n",
                        map->ref, map->n, map->nparam, map->n_in, map->n_out);
@@ -1416,6 +1437,9 @@ struct isl_basic_map *isl_basic_map_intersect(
                struct isl_ctx *ctx, struct isl_basic_map *bmap1,
                struct isl_basic_map *bmap2)
 {
+       if (!bmap1 || !bmap2)
+               goto error;
+
        isl_assert(ctx, bmap1->nparam == bmap2->nparam, goto error);
        isl_assert(ctx, bmap1->n_in == bmap2->n_in, goto error);
        isl_assert(ctx, bmap1->n_out == bmap2->n_out, goto error);
@@ -2061,6 +2085,8 @@ error:
 struct isl_map *isl_basic_map_compute_divs(struct isl_ctx *ctx,
                struct isl_basic_map *bmap)
 {
+       if (!bmap)
+               return NULL;
        if (bmap->n_div == 0)
                return isl_map_from_basic_map(ctx, bmap);
        return isl_pip_basic_map_compute_divs(ctx, bmap);

diff --git a/isl_map_piplib.c b/isl_map_piplib.c
index 18328b0..8d21c99 100644 (file)
--- a/isl_map_piplib.c
+++ b/isl_map_piplib.c
@@ -383,6 +383,9 @@ static struct isl_map *extremum_on(struct isl_ctx *ctx,
        struct isl_map  *map;
        PipMatrix *domain = NULL, *context = NULL;
 
+       if (!bmap || !dom)
+               goto error;
+
        isl_assert(ctx, bmap->nparam == dom->nparam, goto error);
        isl_assert(ctx, bmap->n_in == dom->dim, goto error);