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