Lines Matching refs:Checkers
53 // Functions for running checkers for AST traversing..
61 CachedDeclCheckers *checkers = nullptr;
64 checkers = &(CCI->second);
66 // Find the checkers that should run for this Decl and cache them.
67 checkers = &CachedDeclCheckersMap[DeclKind];
71 checkers->push_back(info.CheckFn);
75 assert(checkers);
77 I = checkers->begin(), E = checkers->end(); I != E; ++I)
90 // Functions for running checkers for path-sensitive checking.
139 const CheckersTy &Checkers;
144 CheckersTy::const_iterator checkers_begin() { return Checkers.begin(); }
145 CheckersTy::const_iterator checkers_end() { return Checkers.end(); }
147 CheckStmtContext(bool isPreVisit, const CheckersTy &checkers,
149 : IsPreVisit(isPreVisit), Checkers(checkers), S(s), Eng(eng),
165 /// \brief Run checkers for visiting Stmts.
181 const CheckersTy &Checkers;
185 CheckersTy::const_iterator checkers_begin() { return Checkers.begin(); }
186 CheckersTy::const_iterator checkers_end() { return Checkers.end(); }
188 CheckObjCMessageContext(bool isPreVisit, const CheckersTy &checkers,
191 : IsPreVisit(isPreVisit), WasInlined(wasInlined), Checkers(checkers),
204 /// \brief Run checkers for visiting obj-c messages.
224 const CheckersTy &Checkers;
228 CheckersTy::const_iterator checkers_begin() { return Checkers.begin(); }
229 CheckersTy::const_iterator checkers_end() { return Checkers.end(); }
231 CheckCallContext(bool isPreVisit, const CheckersTy &checkers,
234 : IsPreVisit(isPreVisit), WasInlined(wasInlined), Checkers(checkers),
247 /// \brief Run checkers for visiting an abstract call event.
264 const CheckersTy &Checkers;
271 CheckersTy::const_iterator checkers_begin() { return Checkers.begin(); }
272 CheckersTy::const_iterator checkers_end() { return Checkers.end(); }
274 CheckLocationContext(const CheckersTy &checkers,
278 : Checkers(checkers), Loc(loc), IsLoad(isLoad), NodeEx(NodeEx),
295 /// \brief Run checkers for load/store of a location.
311 const CheckersTy &Checkers;
318 CheckersTy::const_iterator checkers_begin() { return Checkers.begin(); }
319 CheckersTy::const_iterator checkers_end() { return Checkers.end(); }
321 CheckBindContext(const CheckersTy &checkers,
324 : Checkers(checkers), Loc(loc), Val(val), S(s), Eng(eng), PP(pp) {}
336 /// \brief Run checkers for binding of a value to a location.
353 /// \brief Run checkers for end of path.
361 // We define the builder outside of the loop bacause if at least one checkers
379 const CheckersTy &Checkers;
383 CheckersTy::const_iterator checkers_begin() { return Checkers.begin(); }
384 CheckersTy::const_iterator checkers_end() { return Checkers.end(); }
386 CheckBranchConditionContext(const CheckersTy &checkers,
388 : Checkers(checkers), Condition(Cond), Eng(eng) {}
400 /// \brief Run checkers for branch condition.
411 /// \brief Run checkers for live symbols.
421 const CheckersTy &Checkers;
427 CheckersTy::const_iterator checkers_begin() { return Checkers.begin(); }
428 CheckersTy::const_iterator checkers_end() { return Checkers.end(); }
430 CheckDeadSymbolsContext(const CheckersTy &checkers, SymbolReaper &sr,
433 : Checkers(checkers), SR(sr), S(s), Eng(eng), ProgarmPointKind(K) { }
441 // Note, do not pass the statement to the checkers without letting them
449 /// \brief Run checkers for dead symbols.
469 /// \brief Run checkers for region changes.
487 /// \brief Run checkers to process symbol escape event.
508 /// \brief Run checkers for handling assumptions on symbolic values.
522 /// \brief Run checkers for evaluating a call.
552 && "There are more than one checkers evaluating the call");
562 // If none of the checkers evaluated the call, ask ExprEngine to handle it.
570 /// \brief Run checkers for the entire Translation Unit.
700 // Find the checkers that should run for this Stmt and cache them.
701 CachedStmtCheckers &Checkers = CachedStmtCheckersMap[Key];
705 Checkers.push_back(Info.CheckFn);
707 return Checkers;