/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; }
|