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