Ensure rowbasis and colbasis are freed.

mcmtroffaes · Sep 18, 2024 · 639b9c2 · 639b9c2
1 parent 6214b66
commit 639b9c2
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/cython/pycddlib.pxi b/cython/pycddlib.pxi
@@ -419,9 +419,11 @@ def matrix_rank(
             rank = dd_MatrixRank(
                 mat.dd_mat, dd_ignored_rows, dd_ignored_cols, &rowbasis, &colbasis
             )
-            result = (_get_set(rowbasis), _get_set(colbasis), rank)
-            set_free(rowbasis)
-            set_free(colbasis)
+            try:
+                result = (_get_set(rowbasis), _get_set(colbasis), rank)
+            finally:
+                set_free(rowbasis)
+                set_free(colbasis)
         finally:
             set_free(dd_ignored_cols)
     finally: