Lines Matching refs:Engine
218 Engine(*this, FS, mgr.getAnalyzerOptions()), G(Engine.getGraph()), in ExprEngine()
965 Engine.enqueue(Dst, currBldrCtx->getBlock(), currStmtIdx); in ProcessStmt()
983 Engine.enqueue(Dst, currBldrCtx->getBlock(), currStmtIdx); in ProcessLoopExit()
1071 Engine.enqueue(Dst, currBldrCtx->getBlock(), currStmtIdx); in ProcessInitializer()
1098 Engine.enqueue(Dst, currBldrCtx->getBlock(), currStmtIdx); in ProcessImplicitDtor()
1117 Engine.enqueue(Dst, currBldrCtx->getBlock(), currStmtIdx); in ProcessNewAllocator()
1483 Engine.addAbortedBlock(node, currBldrCtx->getBlock()); in Visit()
1738 Engine.addAbortedBlock(node, currBldrCtx->getBlock()); in Visit()
2139 Engine.enqueueStmtNode(NewNode, CalleeSF->getCallSiteBlock(), in replayWithoutInlining()
2199 Engine.FunctionSummaries->markReachedMaxBlockCount(CalleeSF->getDecl()); in processCFGBlockEntrance()
2213 Engine.blocksExhausted.push_back(std::make_pair(L, Sink)); in processCFGBlockEntrance()
2624 Engine.enqueueEndOfFunction(Dst, RS); in processEndOfFunction()