This will be used in the implementation of isl_local_space_get_local
in an upcoming commit.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
@@ -38,6 +38,13 @@ __isl_give isl_local *isl_local_alloc_from_mat(__isl_take isl_mat *mat)
return mat;
}
+/* Return a new reference to "local".
+ */
+__isl_give isl_local *isl_local_copy(__isl_keep isl_local *local)
+{
+ return isl_local_alloc_from_mat(isl_mat_copy(local));
+}
+
/* Free "local" and return NULL.
*/
__isl_null isl_local *isl_local_free(__isl_take isl_local *local)
typedef isl_mat isl_local;
+__isl_give isl_local *isl_local_copy(__isl_keep isl_local *local);
__isl_null isl_local *isl_local_free(__isl_take isl_local *local);
isl_bool isl_local_div_is_marked_unknown(__isl_keep isl_local *local, int pos);