Searched refs:Eng (Results 1 - 25 of 27) sorted by relevance

12

/external/clang/include/clang/StaticAnalyzer/Checkers/
H A DLocalCheckers.h23 void RegisterCallInliner(ExprEngine &Eng);
H A DDereferenceChecker.h29 GetImplicitNullDereferences(ExprEngine &Eng);
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCheckerContext.h27 ExprEngine &Eng; member in class:clang::ento::CheckerContext
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();
87 return Eng.getBugReporter();
95 return Eng
[all...]
H A DCoreEngine.h172 CoreEngine &Eng; member in struct:clang::ento::NodeBuilderContext
176 : Eng(E), Block(B), ContextPred(N) { assert(B); assert(!N->isSink()); }
202 BlockCounter getBlockCounter() const { return C.Eng.WList->getBlockCounter();}
279 CoreEngine& Eng; member in class:clang::ento::CommonNodeBuilder
281 CommonNodeBuilder(CoreEngine* E, ExplodedNode *P) : Pred(P), Eng(*E) {}
282 BlockCounter getBlockCounter() const { return Eng.WList->getBlockCounter(); }
412 CoreEngine& Eng; member in class:clang::ento::IndirectGotoNodeBuilder
421 : Eng(*eng), Src(src), DispatchBlock(*dispatch), E(e), Pred(pred) {}
455 CoreEngine& Eng; member in class:clang::ento::SwitchNodeBuilder
463 : Eng(*en
591 CoreEngine &Eng; member in class:clang::ento::CallEnterNodeBuilder
632 CoreEngine &Eng; member in class:clang::ento::CallExitNodeBuilder
[all...]
H A DProgramState.h409 /// Eng - The SubEngine that owns this state manager.
410 SubEngine *Eng; /* Can be null. */ member in class:clang::ento::ProgramStateManager
444 : Eng(&subeng),
457 : Eng(0),
502 SubEngine* getOwningEngine() { return Eng; }
/external/clang/lib/StaticAnalyzer/Core/
H A DAggExprVisitor.cpp33 ExprEngine &Eng; member in class:__anon3104::AggExprVisitor
38 : Dest(dest), Pred(N), DstSet(dst), Eng(eng) {}
59 Eng.VisitCXXConstructExpr(E, Dest, Pred, DstSet);
63 Eng.Visit(E, Pred, DstSet);
H A DCheckerManager.cpp131 ExprEngine &Eng; member in struct:__anon3115::CheckStmtContext
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; member in struct:__anon3116::CheckObjCMessageContext
178 : IsPreVisit(isPreVisit), Checkers(checkers), Msg(msg), Eng(eng) { }
186 CheckerContext C(Dst, Eng.getBuilder(), Eng, Pre
155 runCheckersForStmt(bool isPreVisit, ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const Stmt *S, ExprEngine &Eng) argument
194 runCheckersForObjCMessage(bool isPreVisit, ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const ObjCMessage &msg, ExprEngine &Eng) argument
213 ExprEngine &Eng; member in struct:__anon3117::CheckLocationContext
236 runCheckersForLocation(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, SVal location, bool isLoad, const Stmt *S, ExprEngine &Eng) argument
251 ExprEngine &Eng; member in struct:__anon3118::CheckBindContext
273 runCheckersForBind(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, SVal location, SVal val, const Stmt *S, ExprEngine &Eng) argument
281 runCheckersForEndAnalysis(ExplodedGraph &G, BugReporter &BR, ExprEngine &Eng) argument
289 runCheckersForEndPath(EndOfFunctionNodeBuilder &B, ExprEngine &Eng) argument
299 runCheckersForBranchCondition(const Stmt *condition, NodeBuilder &B, ExplodedNode *Pred, ExprEngine &Eng) argument
322 ExprEngine &Eng; member in struct:__anon3119::CheckDeadSymbolsContext
344 runCheckersForDeadSymbols(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, SymbolReaper &SymReaper, const Stmt *S, ExprEngine &Eng) argument
395 runCheckersForEvalCall(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const CallExpr *CE, ExprEngine &Eng, GraphExpander *defaultEval) argument
[all...]
H A DExprEngineCallAndReturn.cpp169 ExprEngine &Eng; member in class:DefaultEval
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);
214 Eng.MakeNode(Dst, CE, Pred, state);
H A DCoreEngine.cpp495 ExplodedNode *N = C.Eng.G->getNode(Loc, State, &IsNew);
496 N->addPredecessor(FromN, *C.Eng.G);
530 C.Eng.WList->enqueue(N, C.Block, Idx);
536 C.Eng.WList->enqueue(N, C.Block, Idx+1);
545 C.Eng.WList->enqueue(N, C.Block, Idx+1);
550 ExplodedNode *Succ = C.Eng.G->getNode(Loc, N->State, &IsNew);
551 Succ->addPredecessor(N, *C.Eng.G);
554 C.Eng.WList->enqueue(Succ, C.Block, Idx+1);
588 ExplodedNode *Succ = Eng.G->getNode(BlockEdge(Src, I.getBlock(),
591 Succ->addPredecessor(Pred, *Eng
[all...]
H A DProgramState.cpp153 SubEngine* Eng = Mgr.getOwningEngine(); local
155 if (Eng && Eng->wantsRegionChangeUpdate(this)) {
161 return Eng->processRegionChanges(newState, &IS, Regions, Invalidated);
/external/clang/test/SemaTemplate/
H A Dinstantiate-member-expr.cpp25 void f(ExprEngine& Eng) { argument
26 Eng.registerCheck(new RetainReleaseChecker); // expected-note {{in instantiation of function template specialization 'ExprEngine::registerCheck<RetainReleaseChecker>' requested here}}
/external/clang/lib/StaticAnalyzer/Checkers/
H A DOSAtomicChecker.cpp27 bool inlineCall(const CallExpr *CE, ExprEngine &Eng,
32 ExprEngine &Eng,
43 ExprEngine &Eng,
63 return evalOSAtomicCompareAndSwap(CE, Eng, Pred, Dst);
81 ExprEngine &Eng,
88 StmtNodeBuilder &Builder = Eng.getBuilder();
89 ASTContext &Ctx = Eng.getContext();
133 Eng.evalLoad(Tmp, theValueExpr, Pred,
168 SValBuilder &svalBuilder = Eng.getSValBuilder();
188 Eng
42 inlineCall(const CallExpr *CE, ExprEngine &Eng, ExplodedNode *Pred, ExplodedNodeSet &Dst) const argument
80 evalOSAtomicCompareAndSwap(const CallExpr *CE, ExprEngine &Eng, ExplodedNode *Pred, ExplodedNodeSet &Dst) const argument
[all...]
H A DAnalyzerStatsChecker.cpp28 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const;
34 ExprEngine &Eng) const {
92 << (Eng.wasBlocksExhausted() ? "yes" : "no")
94 << (Eng.hasEmptyWorkList() ? "yes" : "no");
101 const CoreEngine &CE = Eng.getCoreEngine();
H A DUndefBranchChecker.cpp53 ExplodedNode *Pred, ExprEngine &Eng) const;
61 ExprEngine &Eng) const {
110 Eng.getBugReporter().EmitReport(R);
H A DUnreachableCodeChecker.cpp40 ExprEngine &Eng) const;
55 ExprEngine &Eng) const {
58 if (Eng.hasWorkRemaining())
H A DStackAddrEscapeChecker.cpp34 void checkEndPath(EndOfFunctionNodeBuilder &B, ExprEngine &Eng) const;
140 ExprEngine &Eng) const {
148 ExprEngine &Eng; member in class:CallBack
153 CallBack(ExprEngine &Eng, const LocationContext *LCtx) argument
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
[all...]
H A DIdempotentOperationChecker.cpp74 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const;
344 ExprEngine &Eng) const {
367 if (Eng.hasWorkRemaining()) {
373 Eng.getCoreEngine()))
H A DMacOSKeychainAPIChecker.cpp61 void checkEndPath(EndOfFunctionNodeBuilder &B, ExprEngine &Eng) const;
561 ExprEngine &Eng) const {
578 Eng.getSValBuilder())) {
595 Eng.getBugReporter().EmitReport(
H A DRetainCountChecker.cpp1779 ExprEngine &Eng);
2226 ExprEngine &Eng)
2239 const SourceManager& SMgr = Eng.getContext().getSourceManager();
2242 GetAllocationSite(Eng.getStateManager(), getErrorNode(), sym);
2311 ExprEngine &Eng) const {
2448 void checkEndPath(EndOfFunctionNodeBuilder &Builder, ExprEngine &Eng) const;
2467 ExprEngine &Eng, SymbolRef Sym, RefVal V) const;
2472 ExprEngine &Eng,
3335 ExplodedNode *Pred, ExprEngine &Eng,
3343 assert(!Eng
2223 CFRefLeakReport(CFRefBug &D, const LangOptions &LOpts, bool GCEnabled, const SummaryLogTy &Log, ExplodedNode *n, SymbolRef sym, ExprEngine &Eng) argument
3333 handleAutoreleaseCounts(const ProgramState *state, GenericNodeBuilderRefCount Bd, ExplodedNode *Pred, ExprEngine &Eng, SymbolRef Sym, RefVal V) const argument
3413 processLeaks(const ProgramState *state, SmallVectorImpl<SymbolRef> &Leaked, GenericNodeBuilderRefCount &Builder, ExprEngine &Eng, ExplodedNode *Pred) const argument
3479 ExprEngine &Eng = C.getEngine(); local
[all...]
H A DStreamChecker.cpp78 void checkEndPath(EndOfFunctionNodeBuilder &B, ExprEngine &Eng) const;
422 ExprEngine &Eng) const {
437 Eng.getBugReporter().EmitReport(R);
/external/clang/include/clang/StaticAnalyzer/Core/
H A DCheckerManager.h169 ExprEngine &Eng) {
170 runCheckersForStmt(/*isPreVisit=*/true, Dst, Src, S, Eng);
182 ExprEngine &Eng) {
183 runCheckersForStmt(/*isPreVisit=*/false, Dst, Src, S, Eng);
189 const Stmt *S, ExprEngine &Eng);
195 ExprEngine &Eng) {
196 runCheckersForObjCMessage(/*isPreVisit=*/true, Dst, Src, msg, Eng);
203 ExprEngine &Eng) {
204 runCheckersForObjCMessage(/*isPreVisit=*/false, Dst, Src, msg, Eng);
211 const ObjCMessage &msg, ExprEngine &Eng);
166 runCheckersForPreStmt(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const Stmt *S, ExprEngine &Eng) argument
179 runCheckersForPostStmt(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const Stmt *S, ExprEngine &Eng) argument
192 runCheckersForPreObjCMessage(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const ObjCMessage &msg, ExprEngine &Eng) argument
200 runCheckersForPostObjCMessage(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const ObjCMessage &msg, ExprEngine &Eng) argument
[all...]
H A DChecker.h188 BugReporter &BR, ExprEngine &Eng) {
189 ((const CHECKER *)checker)->checkEndAnalysis(G, BR, Eng);
203 ExprEngine &Eng) {
204 ((const CHECKER *)checker)->checkEndPath(B, Eng);
219 ExprEngine &Eng) {
220 ((const CHECKER *)checker)->checkBranchCondition(condition, B, Pred, Eng);
342 ExprEngine &Eng,
345 return ((const CHECKER *)checker)->inlineCall(CE, Eng, Pred, Dst);
187 _checkEndAnalysis(void *checker, ExplodedGraph &G, BugReporter &BR, ExprEngine &Eng) argument
202 _checkEndPath(void *checker, EndOfFunctionNodeBuilder &B, ExprEngine &Eng) argument
217 _checkBranchCondition(void *checker, const Stmt *condition, NodeBuilder &B, ExplodedNode *Pred, ExprEngine &Eng) argument
341 _inlineCall(void *checker, const CallExpr *CE, ExprEngine &Eng, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
/external/clang/examples/wpa/
H A Dclang-wpa.cpp176 ExprEngine Eng(AMgr, TF);
178 Eng.ExecuteWorkList(AMgr.getStackFrame(FD, TU), AMgr.getMaxNodes());
/external/clang/lib/StaticAnalyzer/Frontend/
H A DAnalysisConsumer.cpp311 ExprEngine Eng(mgr, ObjCGCEnabled);
321 Eng.ExecuteWorkList(mgr.getStackFrame(D, 0), mgr.getMaxNodes());
329 Eng.ViewGraph(mgr.shouldTrimGraph());
332 Eng.getBugReporter().FlushReports();
/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DBugReporter.h339 ExprEngine& Eng; member in class:clang::ento::GRBugReporter
343 : BugReporter(d, GRBugReporterKind), Eng(eng) {}
349 ExprEngine &getEngine() { return Eng; }

Completed in 226 milliseconds

12