Searched refs:NextList (Results 1 – 1 of 1) sorted by relevance
737 std::vector<InstantiatedValue> WorkList, NextList; in buildAttrMap() local760 NextList.push_back(Src); in buildAttrMap()767 NextList.push_back(*DstBelow); in buildAttrMap()773 WorkList.swap(NextList); in buildAttrMap()774 NextList.clear(); in buildAttrMap()791 std::vector<WorkListItem> WorkList, NextList; in buildInfoFrom() local796 processWorkListItem(Item, Graph, ReachSet, MemSet, NextList); in buildInfoFrom()798 NextList.swap(WorkList); in buildInfoFrom()799 NextList.clear(); in buildInfoFrom()