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