1 2 3 4 5 6 7
void f() { m_complete.back().m_replicas.clear(); m_complete.back().m_replicas.push_back(serverId); m_pending.front().m_replicas.erase(r); }