Lines Matching refs:enqueue
126 enqueue(DstBegin); in ExecuteWorkList()
303 enqueue(dstNodes); in HandleBlockEdge()
462 enqueue(Dst); in HandleBranch()
474 enqueue(Dst); in HandleCleanupTemporaryBranch()
485 enqueue(Dst); in HandleStaticInit()
540 if (IsNew) WList->enqueue(Node); in generateNode()
552 WList->enqueue(N, Block, Idx); in enqueueStmtNode()
560 WList->enqueue(N, Block, Idx+1); in enqueueStmtNode()
565 WList->enqueue(N, Block, Idx); in enqueueStmtNode()
570 WList->enqueue(N, Block, Idx+1); in enqueueStmtNode()
581 WList->enqueue(N, Block, Idx+1); in enqueueStmtNode()
590 WList->enqueue(Succ, Block, Idx+1); in enqueueStmtNode()
607 void CoreEngine::enqueue(ExplodedNodeSet &Set) { in enqueue() function in CoreEngine
609 WList->enqueue(I); in enqueue()
612 void CoreEngine::enqueue(ExplodedNodeSet &Set, in enqueue() function in CoreEngine
624 WList->enqueue(I); in enqueueEndOfFunction()
691 Eng.WList->enqueue(Succ); in generateNode()
707 Eng.WList->enqueue(Succ); in generateCaseStmtNode()
733 Eng.WList->enqueue(Succ); in generateDefaultCaseNode()