Home | History | Annotate | Download | only in Sema

Lines Matching refs:succ_size

1126         while (B->empty() && !Term && B->succ_size() == 1) {