Lines Matching refs:Eng
97 const NodeBuilderContext &BldrCtx = checkCtx.Eng.getBuilderContext();
141 ExprEngine &Eng;
148 const Stmt *s, ExprEngine &eng, bool wasInlined = false)
149 : IsPreVisit(isPreVisit), Checkers(checkers), S(s), Eng(eng),
159 CheckerContext C(Bldr, Eng, Pred, L, WasInlined);
170 ExprEngine &Eng,
173 S, Eng, WasInlined);
183 ExprEngine &Eng;
189 const ObjCMethodCall &msg, ExprEngine &eng,
192 Msg(msg), Eng(eng) { }
197 CheckerContext C(Bldr, Eng, Pred, L, WasInlined);
209 ExprEngine &Eng,
214 msg, Eng, WasInlined);
226 ExprEngine &Eng;
232 const CallEvent &call, ExprEngine &eng,
235 Call(call), Eng(eng) { }
240 CheckerContext C(Bldr, Eng, Pred, L, WasInlined);
252 ExprEngine &Eng,
257 Call, Eng, WasInlined);
269 ExprEngine &Eng;
277 ExprEngine &eng)
279 BoundEx(BoundEx), Eng(eng) {}
289 CheckerContext C(Bldr, Eng, Pred, L);
302 ExprEngine &Eng) {
304 BoundEx, Eng);
315 ExprEngine &Eng;
322 SVal loc, SVal val, const Stmt *s, ExprEngine &eng,
324 : Checkers(checkers), Loc(loc), Val(val), S(s), Eng(eng), PP(pp) {}
329 CheckerContext C(Bldr, Eng, Pred, L);
340 const Stmt *S, ExprEngine &Eng,
342 CheckBindContext C(BindCheckers, location, val, S, Eng, PP);
348 ExprEngine &Eng) {
350 EndAnalysisCheckers[i](G, BR, Eng);
359 ExprEngine &Eng) {
371 CheckerContext C(Bldr, Eng, Pred, L);
381 ExprEngine &Eng;
387 const Stmt *Cond, ExprEngine &eng)
388 : Checkers(checkers), Condition(Cond), Eng(eng) {}
394 CheckerContext C(Bldr, Eng, Pred, L);
404 ExprEngine &Eng) {
407 CheckBranchConditionContext C(BranchConditionCheckers, Condition, Eng);
424 ExprEngine &Eng;
431 const Stmt *s, ExprEngine &eng,
433 : Checkers(checkers), SR(sr), S(s), Eng(eng), ProgarmPointKind(K) { }
439 CheckerContext C(Bldr, Eng, Pred, L);
454 ExprEngine &Eng,
456 CheckDeadSymbolsContext C(DeadSymbolsCheckers, SymReaper, S, Eng, K);
527 ExprEngine &Eng) {
535 NodeBuilder B(Pred, checkDst, Eng.getBuilderContext());
548 CheckerContext C(B, Eng, Pred, L);
564 NodeBuilder B(Pred, Dst, Eng.getBuilderContext());
565 Eng.defaultEvalCall(B, Pred, Call);