| /external/clang/lib/StaticAnalyzer/Core/ |
| AggExprVisitor.cpp | 33 ExprEngine &Eng;
37 ExprEngine &eng)
38 : Dest(dest), Pred(N), DstSet(dst), Eng(eng) {}
59 Eng.VisitCXXConstructExpr(E, Dest, Pred, DstSet);
63 Eng.Visit(E, Pred, DstSet);
|
| ExprEngineCallAndReturn.cpp | 169 ExprEngine &Eng;
173 DefaultEval(ExprEngine &eng, const CallExpr *ce)
174 : Eng(eng), CE(ce) {}
177 if (Eng.getAnalysisManager().shouldInlineCall() &&
178 Eng.InlineCall(Dst, CE, Pred)) {
183 StmtNodeBuilder &Builder = Eng.getBuilder();
199 ResultTy = Eng.getContext().getPointerType(ResultTy);
202 SValBuilder &SVB = Eng.getSValBuilder();
211 state = Eng.invalidateArguments(state, CallOrObjCMessage(CE, state), LC)
[all...] |
| CheckerManager.cpp | 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)
[all...] |
| ProgramState.cpp | 153 SubEngine* Eng = Mgr.getOwningEngine();
155 if (Eng && Eng->wantsRegionChangeUpdate(this)) {
161 return Eng->processRegionChanges(newState, &IS, Regions, Invalidated);
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| StackAddrEscapeChecker.cpp | 34 void checkEndPath(EndOfFunctionNodeBuilder &B, ExprEngine &Eng) const;
140 ExprEngine &Eng) const {
148 ExprEngine &Eng;
153 CallBack(ExprEngine &Eng, const LocationContext *LCtx)
154 : Eng(Eng), CurSFC(LCtx->getCurrentStackFrame()) {}
168 if (Eng.getContext().getLangOptions().ObjCAutoRefCount &&
184 CallBack cb(Eng, B.getPredecessor()->getLocationContext());
207 Eng.getContext().getSourceManager());
216 Eng.getBugReporter().EmitReport(report)
[all...] |
| RetainCountChecker.cpp | [all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CheckerContext.h | 27 ExprEngine &Eng;
40 ExprEngine &eng,
46 Eng(eng),
51 Ctx(builder.C.Eng, builder.getBlock(), pred),
60 return Eng;
64 return Eng.getAnalysisManager();
68 return Eng.getConstraintManager();
72 return Eng.getStoreManager();
83 return Eng.getContext()
[all...] |
| CoreEngine.h | 172 CoreEngine &Eng;
176 : Eng(E), Block(B), ContextPred(N) { assert(B); assert(!N->isSink()); }
202 BlockCounter getBlockCounter() const { return C.Eng.WList->getBlockCounter();}
279 CoreEngine& Eng;
281 CommonNodeBuilder(CoreEngine* E, ExplodedNode *P) : Pred(P), Eng(*E) {}
282 BlockCounter getBlockCounter() const { return Eng.WList->getBlockCounter(); }
412 CoreEngine& Eng;
420 const Expr *e, const CFGBlock *dispatch, CoreEngine* eng)
421 : Eng(*eng), Src(src), DispatchBlock(*dispatch), E(e), Pred(pred) {
[all...] |
| ProgramState.h | 409 /// Eng - The SubEngine that owns this state manager.
410 SubEngine *Eng; /* Can be null. */
444 : Eng(&subeng),
457 : Eng(0),
502 SubEngine* getOwningEngine() { return Eng; }
|
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| BugReporter.h | 339 ExprEngine& Eng;
342 GRBugReporter(BugReporterData& d, ExprEngine& eng)
343 : BugReporter(d, GRBugReporterKind), Eng(eng) {}
349 ExprEngine &getEngine() { return Eng; }
|
