reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
577 if (isl_tab_extend_cons(tab, bset->n_ineq) < 0) 580 snap = isl_tab_snap(tab); 583 if (isl_tab_ineq_type(tab, bset->ineq[i]) == isl_ineq_redundant) 585 if (isl_tab_add_ineq(tab, bset->ineq[i]) < 0) 589 if (isl_tab_detect_implicit_equalities(tab) < 0) 591 if (tab->n_dead) { 592 if (isl_tab_rollback(tab, snap) < 0)