Cross Reference: /external/clang/lib/StaticAnalyzer/Core/CheckerManager.cpp

Lines Matching defs:Eng
98   const NodeBuilderContext &BldrCtx = checkCtx.Eng.getBuilderContext();
142     ExprEngine &Eng;
150       : IsPreVisit(isPreVisit), Checkers(checkers), S(s), Eng(eng),
160       CheckerContext C(Bldr, Eng, Pred, L, WasInlined);
171                                         ExprEngine &Eng,
174                      S, Eng, WasInlined);
184     ExprEngine &Eng;
193         Msg(msg), Eng(eng) { }
198       CheckerContext C(Bldr, Eng, Pred, L, WasInlined);
210                                                ExprEngine &Eng,
215                             msg, Eng, WasInlined);
227     ExprEngine &Eng;
236       Call(call), Eng(eng) { }
241       CheckerContext C(Bldr, Eng, Pred, L, WasInlined);
253                                              ExprEngine &Eng,
258                      Call, Eng, WasInlined);
270     ExprEngine &Eng;
280         BoundEx(BoundEx), Eng(eng) {}
290       CheckerContext C(Bldr, Eng, Pred, L);
303                                             ExprEngine &Eng) {
305                          BoundEx, Eng);
316     ExprEngine &Eng;
325       : Checkers(checkers), Loc(loc), Val(val), S(s), Eng(eng), PP(pp) {}
330       CheckerContext C(Bldr, Eng, Pred, L);
341                                         const Stmt *S, ExprEngine &Eng,
343   CheckBindContext C(BindCheckers, location, val, S, Eng, PP);
349                                                ExprEngine &Eng) {
351     EndAnalysisCheckers[i](G, BR, Eng);
359                                            ExprEngine &Eng) {
372     CheckerContext C(Bldr, Eng, Pred, L);
382     ExprEngine &Eng;
389       : Checkers(checkers), Condition(Cond), Eng(eng) {}
395       CheckerContext C(Bldr, Eng, Pred, L);
405                                                    ExprEngine &Eng) {
408   CheckBranchConditionContext C(BranchConditionCheckers, Condition, Eng);
425     ExprEngine &Eng;
434       : Checkers(checkers), SR(sr), S(s), Eng(eng), ProgarmPointKind(K) { }
440       CheckerContext C(Bldr, Eng, Pred, L);
455                                                ExprEngine &Eng,
457   CheckDeadSymbolsContext C(DeadSymbolsCheckers, SymReaper, S, Eng, K);
507                                             ExprEngine &Eng) {
525       bool evaluated = (*EI)(CE, Eng, Pred, checkDst);
544     NodeBuilder B(Pred, checkDst, Eng.getBuilderContext());
556         CheckerContext C(B, Eng, Pred, L);
572       NodeBuilder B(Pred, Dst, Eng.getBuilderContext());
573       Eng.defaultEvalCall(B, Pred, Call);