reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
425 snap = isl_alloc_array(bset->ctx, struct isl_tab_undo *, bset->n_ineq); 427 if ((bset->n_ineq && (!selection || !snap)) || !facets) 443 snap[level] = isl_tab_snap(tab); 456 if (isl_tab_rollback(tab, snap[level]) < 0) 476 free(snap); 489 free(snap);