Lines Matching refs:Checkers
52 // Functions for running checkers for AST traversing..
60 CachedDeclCheckers *checkers = 0;
63 checkers = &(CCI->second);
65 // Find the checkers that should run for this Decl and cache them.
66 checkers = &CachedDeclCheckersMap[DeclKind];
70 checkers->push_back(info.CheckFn);
74 assert(checkers);
76 I = checkers->begin(), E = checkers->end(); I != E; ++I)
89 // Functions for running checkers for path-sensitive checking.
138 const CheckersTy &Checkers;
143 CheckersTy::const_iterator checkers_begin() { return Checkers.begin(); }
144 CheckersTy::const_iterator checkers_end() { return Checkers.end(); }
146 CheckStmtContext(bool isPreVisit, const CheckersTy &checkers,
148 : IsPreVisit(isPreVisit), Checkers(checkers), S(s), Eng(eng),
164 /// \brief Run checkers for visiting Stmts.
180 const CheckersTy &Checkers;
184 CheckersTy::const_iterator checkers_begin() { return Checkers.begin(); }
185 CheckersTy::const_iterator checkers_end() { return Checkers.end(); }
187 CheckObjCMessageContext(bool isPreVisit, const CheckersTy &checkers,
189 : IsPreVisit(isPreVisit), Checkers(checkers), Msg(msg), Eng(eng) { }
206 /// \brief Run checkers for visiting obj-c messages.
222 const CheckersTy &Checkers;
229 CheckersTy::const_iterator checkers_begin() { return Checkers.begin(); }
230 CheckersTy::const_iterator checkers_end() { return Checkers.end(); }
232 CheckLocationContext(const CheckersTy &checkers,
236 : Checkers(checkers), Loc(loc), IsLoad(isLoad), NodeEx(NodeEx),
253 /// \brief Run checkers for load/store of a location.
269 const CheckersTy &Checkers;
276 CheckersTy::const_iterator checkers_begin() { return Checkers.begin(); }
277 CheckersTy::const_iterator checkers_end() { return Checkers.end(); }
279 CheckBindContext(const CheckersTy &checkers,
282 : Checkers(checkers), Loc(loc), Val(val), S(s), Eng(eng), PointKind(PK) {}
295 /// \brief Run checkers for binding of a value to a location.
312 /// \brief Run checkers for end of path.
320 // We define the builder outside of the loop bacause if at least one checkers
338 const CheckersTy &Checkers;
342 CheckersTy::const_iterator checkers_begin() { return Checkers.begin(); }
343 CheckersTy::const_iterator checkers_end() { return Checkers.end(); }
345 CheckBranchConditionContext(const CheckersTy &checkers,
347 : Checkers(checkers), Condition(Cond), Eng(eng) {}
359 /// \brief Run checkers for branch condition.
370 /// \brief Run checkers for live symbols.
380 const CheckersTy &Checkers;
385 CheckersTy::const_iterator checkers_begin() { return Checkers.begin(); }
386 CheckersTy::const_iterator checkers_end() { return Checkers.end(); }
388 CheckDeadSymbolsContext(const CheckersTy &checkers, SymbolReaper &sr,
390 : Checkers(checkers), SR(sr), S(s), Eng(eng) { }
404 /// \brief Run checkers for dead symbols.
423 checkers for region changes.
441 /// \brief Run checkers for handling assumptions on symbolic values.
455 /// \brief Run checkers for evaluating a call.
487 && "There are more than one checkers evaluating the call");
520 && "There are more than one checkers evaluating the call");
530 // If none of the checkers evaluated the call, ask ExprEngine to handle it.
540 /// \brief Run checkers for the entire Translation Unit.
654 CachedStmtCheckers *checkers = 0;
657 checkers = &(CCI->second);
659 // Find the checkers that should run for this Stmt and cache them.
660 checkers = &CachedStmtCheckersMap[key];
664 checkers->push_back(info.CheckFn);
668 assert(checkers);
669 return checkers;