Lines Matching defs:Eng
96 const NodeBuilderContext &BldrCtx = checkCtx.Eng.getBuilderContext();
140 ExprEngine &Eng;
147 const Stmt *s, ExprEngine &eng, bool wasInlined = false)
148 : IsPreVisit(isPreVisit), Checkers(checkers), S(s), Eng(eng),
158 CheckerContext C(Bldr, Eng, Pred, L, wasInlined);
169 ExprEngine &Eng,
172 S, Eng, wasInlined);
182 ExprEngine &Eng;
188 const ObjCMessage &msg, ExprEngine &eng)
189 : IsPreVisit(isPreVisit), Checkers(checkers), Msg(msg), Eng(eng) { }
199 CheckerContext C(Bldr, Eng, Pred, L);
211 ExprEngine &Eng) {
215 msg, Eng);
227 ExprEngine &Eng;
235 ExprEngine &eng)
237 BoundEx(BoundEx), Eng(eng) {}
247 CheckerContext C(Bldr, Eng, Pred, L);
260 ExprEngine &Eng) {
262 BoundEx, Eng);
273 ExprEngine &Eng;
280 SVal loc, SVal val, const Stmt *s, ExprEngine &eng,
282 : Checkers(checkers), Loc(loc), Val(val), S(s), Eng(eng), PointKind(PK) {}
288 CheckerContext C(Bldr, Eng, Pred, L);
299 const Stmt *S, ExprEngine &Eng,
301 CheckBindContext C(BindCheckers, location, val, S, Eng, PointKind);
307 ExprEngine &Eng) {
309 EndAnalysisCheckers[i](G, BR, Eng);
317 ExprEngine &Eng) {
330 CheckerContext C(Bldr, Eng, Pred, L);
340 ExprEngine &Eng;
346 const Stmt *Cond, ExprEngine &eng)
347 : Checkers(checkers), Condition(Cond), Eng(eng) {}
353 CheckerContext C(Bldr, Eng, Pred, L);
363 ExprEngine &Eng) {
366 CheckBranchConditionContext C(BranchConditionCheckers, Condition, Eng);
383 ExprEngine &Eng;
389 const Stmt *s, ExprEngine &eng)
390 : Checkers(checkers), SR(sr), S(s), Eng(eng) { }
397 CheckerContext C(Bldr, Eng, Pred, L);
409 ExprEngine &Eng) {
410 CheckDeadSymbolsContext C(DeadSymbolsCheckers, SymReaper, S, Eng);
460 ExprEngine &Eng,
485 bool evaluated = (*EI)(CE, Eng, Pred, checkDst);
504 NodeBuilder B(Pred, checkDst, Eng.getBuilderContext());
516 CheckerContext C(B, Eng, Pred, L);
