reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
3209 if (!WorkListFreeList.empty()) { 3210 WL = WorkListFreeList.back(); 3212 WorkListFreeList.pop_back(); 3220 WorkListFreeList.push_back(WL);