Searched refs:NextList (Results 1 – 1 of 1) sorted by relevance
739 std::vector<InstantiatedValue> WorkList, NextList; in buildAttrMap() local762 NextList.push_back(Src); in buildAttrMap()769 NextList.push_back(*DstBelow); in buildAttrMap()775 WorkList.swap(NextList); in buildAttrMap()776 NextList.clear(); in buildAttrMap()793 std::vector<WorkListItem> WorkList, NextList; in buildInfoFrom() local798 processWorkListItem(Item, Graph, ReachSet, MemSet, NextList); in buildInfoFrom()800 NextList.swap(WorkList); in buildInfoFrom()801 NextList.clear(); in buildInfoFrom()