Lines Matching defs:checkers

61 // Functions for running checkers for AST traversing..
70   CachedDeclCheckers *checkers = &(CCI->second);
72     // Find the checkers that should run for this Decl and cache them.
75         checkers->push_back(info.CheckFn);
78   assert(checkers);
79   for (const auto &checker : *checkers)
92 // Functions for running checkers for path-sensitive checking.
146     CheckStmtContext(bool isPreVisit, const CheckersTy &checkers,
148         : IsPreVisit(isPreVisit), Checkers(checkers), S(s), Eng(eng),
168 /// Run checkers for visiting Stmts.
192                             const CheckersTy &checkers,
195         : Kind(visitKind), WasInlined(wasInlined), Checkers(checkers), Msg(msg),
224 /// Run checkers for visiting obj-c messages.
231   const auto &checkers = getObjCMessageCheckers(visitKind);
232   CheckObjCMessageContext C(visitKind, checkers, msg, Eng, WasInlined);
262     CheckCallContext(bool isPreVisit, const CheckersTy &checkers,
265         : IsPreVisit(isPreVisit), WasInlined(wasInlined), Checkers(checkers),
282 /// Run checkers for visiting an abstract call event.
308     CheckLocationContext(const CheckersTy &checkers,
312         : Checkers(checkers), Loc(loc), IsLoad(isLoad), NodeEx(NodeEx),
333 /// Run checkers for load/store of a location.
358     CheckBindContext(const CheckersTy &checkers,
361         : Checkers(checkers), Loc(loc), Val(val), S(s), Eng(eng), PP(pp) {}
377 /// Run checkers for binding of a value to a location.
431 /// Run checkers for end of path.
460     CheckBranchConditionContext(const CheckersTy &checkers,
462         : Checkers(checkers), Condition(Cond), Eng(eng) {}
478 /// Run checkers for branch condition.
530 /// Run checkers for live symbols.
548     CheckDeadSymbolsContext(const CheckersTy &checkers, SymbolReaper &sr,
551         : Checkers(checkers), SR(sr), S(s), Eng(eng), ProgarmPointKind(K) {}
562       // Note, do not pass the statement to the checkers without letting them
571 /// Run checkers for dead symbols.
582 /// Run checkers for region changes.
601 /// Run checkers to process symbol escape event.
622 /// Run checkers for handling assumptions on symbolic values.
636 /// Run checkers for evaluating a call.
689     // If none of the checkers evaluated the call, ask ExprEngine to handle it.
697 /// Run checkers for the entire Translation Unit.
899     // Find the checkers that should run for this Stmt and cache them.