Lines Matching refs:Eng
131 ExprEngine &Eng;
137 const Stmt *s, ExprEngine &eng)
138 : IsPreVisit(isPreVisit), Checkers(checkers), S(s), Eng(eng) { }
147 CheckerContext C(Dst, Eng.getBuilder(), Eng, Pred, L, 0);
159 ExprEngine &Eng) {
161 S, Eng);
171 ExprEngine &Eng;
177 const ObjCMessage &msg, ExprEngine &eng)
178 : IsPreVisit(isPreVisit), Checkers(checkers), Msg(msg), Eng(eng) { }
186 CheckerContext C(Dst, Eng.getBuilder(), Eng, Pred, L, 0);
198 ExprEngine &Eng) {
202 msg, Eng);
213 ExprEngine &Eng;
219 SVal loc, bool isLoad, const Stmt *s, ExprEngine &eng)
220 : Checkers(checkers), Loc(loc), IsLoad(isLoad), S(s), Eng(eng) { }
228 CheckerContext C(Dst, Eng.getBuilder(), Eng, Pred, L, 0);
239 const Stmt *S, ExprEngine &Eng) {
240 CheckLocationContext C(LocationCheckers, location, isLoad, S, Eng);
251 ExprEngine &Eng;
257 SVal loc, SVal val, const Stmt *s, ExprEngine &eng)
258 : Checkers(checkers), Loc(loc), Val(val), S(s), Eng(eng) { }
265 CheckerContext C(Dst, Eng.getBuilder(), Eng, Pred, L, 0);
276 const Stmt *S, ExprEngine &Eng) {
277 CheckBindContext C(BindCheckers, location, val, S, Eng);
283 ExprEngine &Eng) {
285 EndAnalysisCheckers[i](G, BR, Eng);
290 ExprEngine &Eng) {
294 fn(specialB, Eng);
302 ExprEngine &Eng) {
305 fn(condition, B, Pred, Eng);
322 ExprEngine &Eng;
328 const Stmt *s, ExprEngine &eng)
329 : Checkers(checkers), SR(sr), S(s), Eng(eng) { }
336 CheckerContext C(Dst, Eng.getBuilder(), Eng, Pred, L, 0);
348 ExprEngine &Eng) {
349 CheckDeadSymbolsContext C(DeadSymbolsCheckers, SymReaper, S, Eng);
398 ExprEngine &Eng,
423 bool evaluated = (*EI)(CE, Eng, Pred, checkDst);
453 CheckerContext C(checkDst, Eng.getBuilder(), Eng, Pred, L, 0);