Searched refs:initializeWorkList (Results 1 – 1 of 1) sorted by relevance
606 static void initializeWorkList(std::vector<WorkListItem> &WorkList, in initializeWorkList() function794 initializeWorkList(WorkList, ReachSet, Graph); in buildInfoFrom()