Lines Matching refs:enqueue
51 void enqueue(const WorkListUnit& U) override {
79 void enqueue(const WorkListUnit& U) override {
117 void enqueue(const WorkListUnit& U) override {
206 enqueue(DstBegin);
316 // This path is done. Don't enqueue any more nodes.
331 // Enqueue nodes onto the worklist.
332 enqueue(dstNodes);
483 // Enqueue the new frontier onto the worklist.
484 enqueue(Dst);
495 // Enqueue the new frontier onto the worklist.
496 enqueue(Dst);
506 // Enqueue the new frontier onto the worklist.
507 enqueue(Dst);
541 if (IsNew) WList->enqueue(Node);
553 WList->enqueue(N, Block, Idx);
560 WList->enqueue(N, Block, Idx+1);
565 WList->enqueue(N, Block, Idx);
570 WList->enqueue(N, Block, Idx+1);
581 WList->enqueue(N, Block, Idx+1);
590 WList->enqueue(Succ, Block, Idx+1);
594 // Create a CallExitBegin node and enqueue it.
608 void CoreEngine::enqueue(ExplodedNodeSet &Set) {
611 WList->enqueue(*I);
615 void CoreEngine::enqueue(ExplodedNodeSet &Set,
630 WList->enqueue(N);
699 Eng.WList->enqueue(Succ);
717 Eng.WList->enqueue(Succ);
744 Eng.WList->enqueue(Succ);