diff options
| author | Sven Verdoolaege <skimo@kotnet.org> | 2013-03-22 12:58:46 +0100 |
|---|---|---|
| committer | Sven Verdoolaege <skimo@kotnet.org> | 2013-03-24 14:00:47 +0100 |
| commit | 8afe5e9c54ff23e88413526bb26b47bbed06efd1 (patch) | |
| tree | 3dc06e33c536a1b2c737cac5cb8c6e09c419945c | |
| parent | 27d79d7776f1133e09d82d78d018afae3b555832 (diff) | |
| download | isl-8afe5e9c54ff23e88413526bb26b47bbed06efd1.tar.gz isl-8afe5e9c54ff23e88413526bb26b47bbed06efd1.tar.bz2 isl-8afe5e9c54ff23e88413526bb26b47bbed06efd1.zip | |
isl_mat_variable_compression: add memory management annotations
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| -rw-r--r-- | isl_equalities.c | 4 | ||||
| -rw-r--r-- | isl_equalities.h | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/isl_equalities.c b/isl_equalities.c index 4447d9b1..bf9dc26f 100644 --- a/isl_equalities.c +++ b/isl_equalities.c @@ -413,8 +413,8 @@ error: * * x2' = Q2 x */ -struct isl_mat *isl_mat_variable_compression(struct isl_mat *B, - struct isl_mat **T2) +__isl_give isl_mat *isl_mat_variable_compression(__isl_take isl_mat *B, + __isl_give isl_mat **T2) { int i; struct isl_mat *H = NULL, *C = NULL, *H1, *U = NULL, *U1, *U2, *TC; diff --git a/isl_equalities.h b/isl_equalities.h index 30ccbbf0..dae69bbb 100644 --- a/isl_equalities.h +++ b/isl_equalities.h @@ -17,8 +17,8 @@ extern "C" { #endif -struct isl_mat *isl_mat_variable_compression( - struct isl_mat *B, struct isl_mat **T2); +__isl_give isl_mat *isl_mat_variable_compression(__isl_take isl_mat *B, + __isl_give isl_mat **T2); struct isl_mat *isl_mat_parameter_compression( struct isl_mat *B, struct isl_vec *d); struct isl_basic_set *isl_basic_set_remove_equalities( |