reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
3218 if (!cgbr->tab) 3221 if (isl_tab_extend_cons(cgbr->tab, 1) < 0) 3224 snap = isl_tab_snap(cgbr->tab); 3225 if (cgbr->shifted) 3226 shifted_snap = isl_tab_snap(cgbr->shifted); 3227 if (cgbr->cone) 3228 cone_snap = isl_tab_snap(cgbr->cone); 3229 add_gbr_ineq(cgbr, ineq); 3230 check_gbr_integer_feasible(cgbr); 3231 if (!cgbr->tab) 3233 feasible = !cgbr->tab->empty; 3234 if (isl_tab_rollback(cgbr->tab, snap) < 0) 3237 if (isl_tab_rollback(cgbr->shifted, shifted_snap)) 3239 } else if (cgbr->shifted) { 3240 isl_tab_free(cgbr->shifted); 3241 cgbr->shifted = NULL; 3244 if (isl_tab_rollback(cgbr->cone, cone_snap)) 3246 } else if (cgbr->cone) { 3247 isl_tab_free(cgbr->cone); 3248 cgbr->cone = NULL;