reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
2380 if (isl_tab_extend_cons(context_tab, 2) < 0) 2383 snap = isl_tab_snap(context_tab); 2402 ok = isl_tab_add_ineq(context_tab, ineq->el) >= 0; 2407 snap2 = isl_tab_snap(context_tab); 2422 ok = isl_tab_add_ineq(context_tab, ineq->el) >= 0; 2426 var = &context_tab->con[context_tab->n_con - 1]; 2426 var = &context_tab->con[context_tab->n_con - 1]; 2427 if (!context_tab->empty && 2428 !isl_tab_min_at_most_neg_one(context_tab, var)) 2430 if (isl_tab_rollback(context_tab, snap2) < 0) 2437 if (isl_tab_rollback(context_tab, snap) < 0)