Lines Matching refs:checkFn
169 void runChecker(CheckerManager::CheckStmtFunc checkFn,
175 Pred->getLocationContext(), checkFn.Checker);
177 checkFn(S, C);
216 void runChecker(CheckerManager::CheckObjCMessageFunc checkFn,
230 const ProgramPoint &L = Msg.getProgramPoint(IsPreVisit,checkFn.Checker);
233 checkFn(*Msg.cloneWithState<ObjCMethodCall>(Pred->getState()), C);
286 void runChecker(CheckerManager::CheckCallFunc checkFn,
288 const ProgramPoint &L = Call.getProgramPoint(IsPreVisit,checkFn.Checker);
291 checkFn(*Call.cloneWithState(Pred->getState()), C);
333 void runChecker(CheckerManager::CheckLocationFunc checkFn,
340 checkFn.Checker);
342 checkFn(Loc, IsLoad, BoundEx, C);
381 void runChecker(CheckerManager::CheckBindFunc checkFn,
383 const ProgramPoint &L = PP.withTag(checkFn.Checker);
386 checkFn(Loc, Val, S, C);
425 void runChecker(CheckerManager::CheckBeginFunctionFunc checkFn,
427 const ProgramPoint &L = PP.withTag(checkFn.Checker);
430 checkFn(C);
458 for (const auto &checkFn : EndFunctionCheckers) {
460 FunctionExitPoint(RS, Pred->getLocationContext(), checkFn.Checker);
462 checkFn(RS, C);
482 void runChecker(CheckerManager::CheckBranchConditionFunc checkFn,
485 checkFn.Checker);
487 checkFn(Condition, C);
522 void runChecker(CheckerManager::CheckNewAllocatorFunc checkFn,
527 checkFn(cast<CXXAllocatorCall>(*Call.cloneWithState(Pred->getState())),
571 void runChecker(CheckerManager::CheckDeadSymbolsFunc checkFn,
574 Pred->getLocationContext(), checkFn.Checker);
580 checkFn(SR, C);