Lines Matching refs:ExplodedNodeSet
112 ExplodedNodeSet &Dst, in expandGraphWithCheckers()
113 const ExplodedNodeSet &Src) { in expandGraphWithCheckers()
125 ExplodedNodeSet Tmp1, Tmp2; in expandGraphWithCheckers()
126 const ExplodedNodeSet *PrevSet = &Src; in expandGraphWithCheckers()
129 ExplodedNodeSet *CurrSet = nullptr; in expandGraphWithCheckers()
185 ExplodedNodeSet &Dst, in runCheckersForStmt()
186 const ExplodedNodeSet &Src, in runCheckersForStmt()
241 ExplodedNodeSet &Dst, in runCheckersForObjCMessage()
242 const ExplodedNodeSet &Src, in runCheckersForObjCMessage()
299 ExplodedNodeSet &Dst, in runCheckersForCallEvent()
300 const ExplodedNodeSet &Src, in runCheckersForCallEvent()
350 void CheckerManager::runCheckersForLocation(ExplodedNodeSet &Dst, in runCheckersForLocation()
351 const ExplodedNodeSet &Src, in runCheckersForLocation()
393 void CheckerManager::runCheckersForBind(ExplodedNodeSet &Dst, in runCheckersForBind()
394 const ExplodedNodeSet &Src, in runCheckersForBind()
436 void CheckerManager::runCheckersForBeginFunction(ExplodedNodeSet &Dst, in runCheckersForBeginFunction()
440 ExplodedNodeSet Src; in runCheckersForBeginFunction()
450 ExplodedNodeSet &Dst, in runCheckersForEndFunction()
495 ExplodedNodeSet &Dst, in runCheckersForBranchCondition()
498 ExplodedNodeSet Src; in runCheckersForBranchCondition()
535 ExplodedNodeSet &Dst, in runCheckersForNewAllocator()
539 ExplodedNodeSet Src; in runCheckersForNewAllocator()
587 void CheckerManager::runCheckersForDeadSymbols(ExplodedNodeSet &Dst, in runCheckersForDeadSymbols()
588 const ExplodedNodeSet &Src, in runCheckersForDeadSymbols()
653 void CheckerManager::runCheckersForEvalCall(ExplodedNodeSet &Dst, in runCheckersForEvalCall()
654 const ExplodedNodeSet &Src, in runCheckersForEvalCall()
661 ExplodedNodeSet checkDst; in runCheckersForEvalCall()