Lines Matching refs:ExplodedNodeSet
97 ExplodedNodeSet &Dst,
98 const ExplodedNodeSet &Src) {
110 ExplodedNodeSet Tmp1, Tmp2;
111 const ExplodedNodeSet *PrevSet = &Src;
114 ExplodedNodeSet *CurrSet = nullptr;
170 ExplodedNodeSet &Dst,
171 const ExplodedNodeSet &Src,
226 ExplodedNodeSet &Dst,
227 const ExplodedNodeSet &Src,
284 ExplodedNodeSet &Dst,
285 const ExplodedNodeSet &Src,
335 void CheckerManager::runCheckersForLocation(ExplodedNodeSet &Dst,
336 const ExplodedNodeSet &Src,
378 void CheckerManager::runCheckersForBind(ExplodedNodeSet &Dst,
379 const ExplodedNodeSet &Src,
421 void CheckerManager::runCheckersForBeginFunction(ExplodedNodeSet &Dst,
425 ExplodedNodeSet Src;
435 ExplodedNodeSet &Dst,
480 ExplodedNodeSet &Dst,
483 ExplodedNodeSet Src;
520 ExplodedNodeSet &Dst,
524 ExplodedNodeSet Src;
572 void CheckerManager::runCheckersForDeadSymbols(ExplodedNodeSet &Dst,
573 const ExplodedNodeSet &Src,
638 void CheckerManager::runCheckersForEvalCall(ExplodedNodeSet &Dst,
639 const ExplodedNodeSet &Src,
646 ExplodedNodeSet checkDst;