Searched refs:NextList (Results 1 – 1 of 1) sorted by relevance
735 std::vector<InstantiatedValue> WorkList, NextList; in buildAttrMap() local758 NextList.push_back(Src); in buildAttrMap()765 NextList.push_back(*DstBelow); in buildAttrMap()771 WorkList.swap(NextList); in buildAttrMap()772 NextList.clear(); in buildAttrMap()789 std::vector<WorkListItem> WorkList, NextList; in buildInfoFrom() local794 processWorkListItem(Item, Graph, ReachSet, MemSet, NextList); in buildInfoFrom()796 NextList.swap(WorkList); in buildInfoFrom()797 NextList.clear(); in buildInfoFrom()