diff options
Diffstat (limited to 'gcc/graphite-ppl.c')
| -rw-r--r-- | gcc/graphite-ppl.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/graphite-ppl.c b/gcc/graphite-ppl.c index c80cf1b794c..fce69f75a0e 100644 --- a/gcc/graphite-ppl.c +++ b/gcc/graphite-ppl.c @@ -591,11 +591,15 @@ void ppl_print_powerset_matrix (FILE *file, ppl_Pointset_Powerset_C_Polyhedron_t ps) { + size_t nb_disjuncts; ppl_Pointset_Powerset_C_Polyhedron_iterator_t it, end; ppl_new_Pointset_Powerset_C_Polyhedron_iterator (&it); ppl_new_Pointset_Powerset_C_Polyhedron_iterator (&end); + ppl_Pointset_Powerset_C_Polyhedron_size (ps, &nb_disjuncts); + fprintf (file, "%d\n", (int) nb_disjuncts); + for (ppl_Pointset_Powerset_C_Polyhedron_iterator_begin (ps, it), ppl_Pointset_Powerset_C_Polyhedron_iterator_end (ps, end); !ppl_Pointset_Powerset_C_Polyhedron_iterator_equal_test (it, end); |