Searched refs:num_dead (Results 1 – 1 of 1) sorted by relevance
4312 int num_dead = 0; in omega_solve_geq() local4332 if (num_dead == 0) in omega_solve_geq()4335 e2 = dead_eqns[--num_dead]; in omega_solve_geq()4378 dead_eqns[num_dead++] = Ue; in omega_solve_geq()4386 dead_eqns[num_dead++] = Le; in omega_solve_geq()4395 while (num_dead > 0) in omega_solve_geq()4396 is_dead[dead_eqns[--num_dead]] = true; in omega_solve_geq()