reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced
1666 if (tab_is_manifestly_empty(tab) && isl_tab_mark_empty(tab) < 0)