summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
raw | patch | inline | side by side (parent: c13177a)
isl_affine_hull.c: construct_column: return isl_stat
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Tue, 14 Aug 2018 10:46:09 +0000 (14 12:46 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Sun, 2 Sep 2018 15:14:53 +0000 (2 17:14 +0200)
This allows this function to handle error conditions if needed.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
isl_affine_hull.c patch | blob | blame | history

diff --git a/isl_affine_hull.c b/isl_affine_hull.c
index 5ff4635..1b8b19a 100644 (file)
--- a/isl_affine_hull.c
+++ b/isl_affine_hull.c
@@ -114,7 +114,7 @@ static void delete_row(struct isl_basic_set *bset, unsigned row)
  * so that
  *             A[i][col] = B[i][col] = a * old(B[i][col])
  */
-static void construct_column(
+static isl_stat construct_column(
        __isl_keep isl_basic_set *bset1, __isl_keep isl_basic_set *bset2,
        unsigned row, unsigned col)
 {
@@ -139,6 +139,8 @@ static void construct_column(
        isl_int_clear(a);
        isl_int_clear(b);
        delete_row(bset1, row);
+
+       return isl_stat_ok;
 }
 
 /* Make first row entries in column col of bset1 identical to
@@ -214,9 +216,11 @@ static __isl_give isl_basic_set *affine_hull(
                        set_common_multiple(bset1, bset2, row, col);
                        ++row;
                } else if (!is_zero1 && is_zero2) {
-                       construct_column(bset1, bset2, row, col);
+                       if (construct_column(bset1, bset2, row, col) < 0)
+                               goto error;
                } else if (is_zero1 && !is_zero2) {
-                       construct_column(bset2, bset1, row, col);
+                       if (construct_column(bset2, bset1, row, col) < 0)
+                               goto error;
                } else {
                        if (transform_column(bset1, bset2, row, col))
                                --row;
Integer set library