isl_map.c: avoid potential NULL dereference

[platform/upstream/isl.git] / isl_test.c

diff --git a/isl_test.c b/isl_test.c
index 5616892..07d4de8 100644 (file)
--- a/isl_test.c
+++ b/isl_test.c
@@ -6,7 +6,42 @@
 
 static char *srcdir;
 
-void test_affine_hull(struct isl_ctx *ctx)
+void test_application_case(struct isl_ctx *ctx, const char *name)
+{
+       char filename[PATH_MAX];
+       FILE *input;
+       int n;
+       struct isl_basic_set *bset1, *bset2;
+       struct isl_basic_map *bmap;
+
+       n = snprintf(filename, sizeof(filename),
+                       "%s/test_inputs/%s.omega", srcdir, name);
+       assert(n < sizeof(filename));
+       input = fopen(filename, "r");
+       assert(input);
+
+       bset1 = isl_basic_set_read_from_file(ctx, input, 0, ISL_FORMAT_OMEGA);
+       bmap = isl_basic_map_read_from_file(ctx, input, 0, ISL_FORMAT_OMEGA);
+
+       bset1 = isl_basic_set_apply(bset1, bmap);
+
+       bset2 = isl_basic_set_read_from_file(ctx, input, 0, ISL_FORMAT_OMEGA);
+
+       assert(isl_basic_set_is_equal(bset1, bset2) == 1);
+
+       isl_basic_set_free(bset1);
+       isl_basic_set_free(bset2);
+
+       fclose(input);
+}
+
+void test_application(struct isl_ctx *ctx)
+{
+       test_application_case(ctx, "application");
+       test_application_case(ctx, "application2");
+}
+
+void test_affine_hull_case(struct isl_ctx *ctx, const char *name)
 {
        char filename[PATH_MAX];
        FILE *input;
@@ -14,24 +49,30 @@ void test_affine_hull(struct isl_ctx *ctx)
        struct isl_basic_set *bset1, *bset2;
 
        n = snprintf(filename, sizeof(filename),
-                       "%s/test_inputs/affine.polylib", srcdir);
+                       "%s/test_inputs/%s.polylib", srcdir, name);
        assert(n < sizeof(filename));
        input = fopen(filename, "r");
        assert(input);
 
-       bset1 = isl_basic_set_read_from_file(ctx, input, ISL_FORMAT_POLYLIB);
-       bset2 = isl_basic_set_read_from_file(ctx, input, ISL_FORMAT_POLYLIB);
+       bset1 = isl_basic_set_read_from_file(ctx, input, 0, ISL_FORMAT_POLYLIB);
+       bset2 = isl_basic_set_read_from_file(ctx, input, 0, ISL_FORMAT_POLYLIB);
 
-       bset1 = isl_basic_set_affine_hull(ctx, bset1);
+       bset1 = isl_basic_set_affine_hull(bset1);
 
-       assert(isl_basic_set_is_equal(ctx, bset1, bset2) == 1);
+       assert(isl_basic_set_is_equal(bset1, bset2) == 1);
 
-       isl_basic_set_free(ctx, bset1);
-       isl_basic_set_free(ctx, bset2);
+       isl_basic_set_free(bset1);
+       isl_basic_set_free(bset2);
 
        fclose(input);
 }
 
+void test_affine_hull(struct isl_ctx *ctx)
+{
+       test_affine_hull_case(ctx, "affine2");
+       test_affine_hull_case(ctx, "affine");
+}
+
 void test_convex_hull_case(struct isl_ctx *ctx, const char *name)
 {
        char filename[PATH_MAX];
@@ -46,18 +87,18 @@ void test_convex_hull_case(struct isl_ctx *ctx, const char *name)
        input = fopen(filename, "r");
        assert(input);
 
-       bset1 = isl_basic_set_read_from_file(ctx, input, ISL_FORMAT_POLYLIB);
-       bset2 = isl_basic_set_read_from_file(ctx, input, ISL_FORMAT_POLYLIB);
+       bset1 = isl_basic_set_read_from_file(ctx, input, 0, ISL_FORMAT_POLYLIB);
+       bset2 = isl_basic_set_read_from_file(ctx, input, 0, ISL_FORMAT_POLYLIB);
 
-       set = isl_basic_set_union(ctx, bset1, bset2);
-       bset1 = isl_set_convex_hull(ctx, set);
+       set = isl_basic_set_union(bset1, bset2);
+       bset1 = isl_set_convex_hull(set);
 
-       bset2 = isl_basic_set_read_from_file(ctx, input, ISL_FORMAT_POLYLIB);
+       bset2 = isl_basic_set_read_from_file(ctx, input, 0, ISL_FORMAT_POLYLIB);
 
-       assert(isl_basic_set_is_equal(ctx, bset1, bset2) == 1);
+       assert(isl_basic_set_is_equal(bset1, bset2) == 1);
 
-       isl_basic_set_free(ctx, bset1);
-       isl_basic_set_free(ctx, bset2);
+       isl_basic_set_free(bset1);
+       isl_basic_set_free(bset2);
 
        fclose(input);
 }
@@ -72,6 +113,44 @@ void test_convex_hull(struct isl_ctx *ctx)
        test_convex_hull_case(ctx, "convex5");
        test_convex_hull_case(ctx, "convex6");
        test_convex_hull_case(ctx, "convex7");
+       test_convex_hull_case(ctx, "convex8");
+       test_convex_hull_case(ctx, "convex9");
+       test_convex_hull_case(ctx, "convex10");
+       test_convex_hull_case(ctx, "convex11");
+}
+
+void test_gist_case(struct isl_ctx *ctx, const char *name)
+{
+       char filename[PATH_MAX];
+       FILE *input;
+       int n;
+       struct isl_basic_set *bset1, *bset2;
+       struct isl_set *set;
+
+       n = snprintf(filename, sizeof(filename),
+                       "%s/test_inputs/%s.polylib", srcdir, name);
+       assert(n < sizeof(filename));
+       input = fopen(filename, "r");
+       assert(input);
+
+       bset1 = isl_basic_set_read_from_file(ctx, input, 0, ISL_FORMAT_POLYLIB);
+       bset2 = isl_basic_set_read_from_file(ctx, input, 0, ISL_FORMAT_POLYLIB);
+
+       bset1 = isl_basic_set_gist(bset1, bset2);
+
+       bset2 = isl_basic_set_read_from_file(ctx, input, 0, ISL_FORMAT_POLYLIB);
+
+       assert(isl_basic_set_is_equal(bset1, bset2) == 1);
+
+       isl_basic_set_free(bset1);
+       isl_basic_set_free(bset2);
+
+       fclose(input);
+}
+
+void test_gist(struct isl_ctx *ctx)
+{
+       test_gist_case(ctx, "gist1");
 }
 
 int main()
@@ -81,8 +160,10 @@ int main()
        srcdir = getenv("srcdir");
 
        ctx = isl_ctx_alloc();
+       test_application(ctx);
        test_affine_hull(ctx);
        test_convex_hull(ctx);
+       test_gist(ctx);
        isl_ctx_free(ctx);
        return 0;
 }