Searched refs:NextList (Results 1 – 1 of 1) sorted by relevance
738 std::vector<InstantiatedValue> WorkList, NextList; in buildAttrMap() local761 NextList.push_back(Src); in buildAttrMap()768 NextList.push_back(*DstBelow); in buildAttrMap()774 WorkList.swap(NextList); in buildAttrMap()775 NextList.clear(); in buildAttrMap()792 std::vector<WorkListItem> WorkList, NextList; in buildInfoFrom() local797 processWorkListItem(Item, Graph, ReachSet, MemSet, NextList); in buildInfoFrom()799 NextList.swap(WorkList); in buildInfoFrom()800 NextList.clear(); in buildInfoFrom()