StaticAnalyzer/Core/CoreEngine.cpp

126     enqueue(DstBegin);
287     // This path is done. Don't enqueue any more nodes.
303   enqueue(dstNodes);
461   enqueue(Dst);
473   enqueue(Dst);
484   enqueue(Dst);
539   if (IsNew) WList->enqueue(Node);
551     WList->enqueue(N, Block, Idx);
559     WList->enqueue(N, Block, Idx+1);
564     WList->enqueue(N, Block, Idx);
569     WList->enqueue(N, Block, Idx+1);
580     WList->enqueue(N, Block, Idx+1);
589     WList->enqueue(Succ, Block, Idx+1);
594   // Create a CallExitBegin node and enqueue it.
606 void CoreEngine::enqueue(ExplodedNodeSet &Set) {
608     WList->enqueue(I);
611 void CoreEngine::enqueue(ExplodedNodeSet &Set,
623         WList->enqueue(I);
690     Eng.WList->enqueue(Succ);
706   Eng.WList->enqueue(Succ);
732     Eng.WList->enqueue(Succ);