Searched defs:is_dead (Results 1 – 2 of 2) sorted by relevance
72 int is_dead; /* The server did not answer last time */ member
2030 bool *is_dead = XNEWVEC (bool, OMEGA_MAX_GEQS); in omega_eliminate_redundant() local2402 bool *is_dead; in coalesce() local2456 bool *is_dead = XNEWVEC (bool, OMEGA_MAX_GEQS); in omega_eliminate_red() local4311 bool *is_dead = XNEWVEC (bool, OMEGA_MAX_GEQS); in omega_solve_geq() local