Lines Matching refs:RemoveElement
682 RemoveElement(back_edges_, back_edge);890 RemoveElement(dominated_blocks_, block);