diff options
Diffstat (limited to 'polly/lib/External/isl/isl_vertices.c')
| -rw-r--r-- | polly/lib/External/isl/isl_vertices.c | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/polly/lib/External/isl/isl_vertices.c b/polly/lib/External/isl/isl_vertices.c index f70e410daac..594effcaa52 100644 --- a/polly/lib/External/isl/isl_vertices.c +++ b/polly/lib/External/isl/isl_vertices.c @@ -229,28 +229,6 @@ error: return NULL; } -static int isl_mat_rank(__isl_keep isl_mat *mat) -{ - int row, col; - isl_mat *H; - - H = isl_mat_left_hermite(isl_mat_copy(mat), 0, NULL, NULL); - if (!H) - return -1; - - for (col = 0; col < H->n_col; ++col) { - for (row = 0; row < H->n_row; ++row) - if (!isl_int_is_zero(H->row[row][col])) - break; - if (row == H->n_row) - break; - } - - isl_mat_free(H); - - return col; -} - /* Is the row pointed to by "f" linearly independent of the "n" first * rows in "facets"? */ |
