136       scc_stack_ta sscc;  in compute_livelock_acceptance_states()  local
176             sscc.push(++num);  in compute_livelock_acceptance_states()
178             sscc.top().is_accepting  in compute_livelock_acceptance_states()
210                   sscc.rem().push_front(curr);  in compute_livelock_acceptance_states()
215                   assert(!sscc.empty());  in compute_livelock_acceptance_states()
216                   if (sscc.top().index == i->second)  in compute_livelock_acceptance_states()
219                       bool is_livelock_accepting_sscc = (sscc.rem().size() > 1)  in compute_livelock_acceptance_states()
220                         && ((sscc.top().is_accepting) ||  in compute_livelock_acceptance_states()
222                              accepting(sscc.top().condition)));  in compute_livelock_acceptance_states()
223                       trace << "*** sscc.size()  = ***" <<  sscc.size() << '\n';  in compute_livelock_acceptance_states()
224                       for (auto j: sscc.rem())  in compute_livelock_acceptance_states()
254                       sscc.pop();  in compute_livelock_acceptance_states()
294                   sscc.push(num);  in compute_livelock_acceptance_states()
296                   sscc.top().is_accepting =  in compute_livelock_acceptance_states()
349               while (threshold < sscc.top().index)  in compute_livelock_acceptance_states()
351                   assert(!sscc.empty());  in compute_livelock_acceptance_states()
353                   acc |= sscc.top().is_accepting;  in compute_livelock_acceptance_states()
354                   acc_cond |= sscc.top().condition;  in compute_livelock_acceptance_states()
356                   rem.splice(rem.end(), sscc.rem());  in compute_livelock_acceptance_states()
357                   sscc.pop();  in compute_livelock_acceptance_states()
367               sscc.top().is_accepting |= acc;  in compute_livelock_acceptance_states()
368               sscc.top().condition |= acc_cond;  in compute_livelock_acceptance_states()
370               sscc.rem().splice(sscc.rem().end(), rem);  in compute_livelock_acceptance_states()