| /external/clang/test/SemaTemplate/ |
| H A D | instantiate-member-expr.cpp | 25 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/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CheckerContext.h | 24 ExprEngine &Eng; member in class:clang::ento::CheckerContext
45 : Eng(eng),
56 return Eng.getAnalysisManager();
60 return Eng.getConstraintManager();
64 return Eng.getStoreManager();
68 return Eng.getAnalysisManager().options.Config;
88 return Eng.getContext();
92 return Eng.getContext().getLangOpts();
109 return Eng.getBugReporter();
117 return Eng
[all...] |
| H A D | CoreEngine.h | 181 const CoreEngine &Eng; member in struct:clang::ento::NodeBuilderContext
185 : Eng(E), Block(B), Pred(N) { assert(B); assert(!N->isSink()); }
195 return Eng.WList->getBlockCounter().getNumVisited(
446 CoreEngine& Eng; member in class:clang::ento::IndirectGotoNodeBuilder
455 : Eng(*eng), Src(src), DispatchBlock(*dispatch), E(e), Pred(pred) {}
493 CoreEngine& Eng; member in class:clang::ento::SwitchNodeBuilder
501 : Eng(*eng), Src(src), Condition(condition), Pred(pred) {}
|
| H A D | ProgramState.h | 417 /// Eng - The SubEngine that owns this state manager.
418 SubEngine *Eng; /* Can be null. */ member in class:clang::ento::ProgramStateManager
490 SubEngine* getOwningEngine() { return Eng; }
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | OSAtomicChecker.cpp | 27 bool inlineCall(const CallExpr *CE, ExprEngine &Eng,
32 ExprEngine &Eng,
53 ExprEngine &Eng,
64 return evalOSAtomicCompareAndSwap(CE, Eng, Pred, Dst);
71 ExprEngine &Eng,
78 ASTContext &Ctx = Eng.getContext();
123 Eng.evalLoad(Tmp, CE, theValueExpr, Pred,
155 SValBuilder &svalBuilder = Eng.getSValBuilder();
175 Eng.evalStore(TmpStore, CE, theValueExpr, N,
184 StmtNodeBuilder B(TmpStore, Dst, Eng
52 inlineCall(const CallExpr *CE, ExprEngine &Eng, ExplodedNode *Pred, ExplodedNodeSet &Dst) const argument
70 evalOSAtomicCompareAndSwap(const CallExpr *CE, ExprEngine &Eng, ExplodedNode *Pred, ExplodedNodeSet &Dst) const argument
[all...] |
| /external/clang/lib/StaticAnalyzer/Core/ |
| H A D | RangeConstraintManager.cpp | 340 ento::CreateRangeConstraintManager(ProgramStateManager &StMgr, SubEngine &Eng) { argument
341 return new RangeConstraintManager(Eng, StMgr.getBasicVals());
|
| H A D | CheckerManager.cpp | 98 const NodeBuilderContext &BldrCtx = checkCtx.Eng.getBuilderContext();
142 ExprEngine &Eng; member in struct:__anon3943::CheckStmtContext
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; member in struct:__anon3944::CheckObjCMessageContext
193 Msg(msg), Eng(eng) { }
198 CheckerContext C(Bldr, Eng, Pred, L, WasInlined);
210 ExprEngine &Eng,
167 runCheckersForStmt(bool isPreVisit, ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const Stmt *S, ExprEngine &Eng, bool WasInlined) argument
206 runCheckersForObjCMessage(bool isPreVisit, ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const ObjCMethodCall &msg, ExprEngine &Eng, bool WasInlined) argument
227 ExprEngine &Eng; member in struct:__anon3945::CheckCallContext
249 runCheckersForCallEvent(bool isPreVisit, ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const CallEvent &Call, ExprEngine &Eng, bool WasInlined) argument
270 ExprEngine &Eng; member in struct:__anon3946::CheckLocationContext
298 runCheckersForLocation(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, SVal location, bool isLoad, const Stmt *NodeEx, const Stmt *BoundEx, ExprEngine &Eng) argument
316 ExprEngine &Eng; member in struct:__anon3947::CheckBindContext
338 runCheckersForBind(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, SVal location, SVal val, const Stmt *S, ExprEngine &Eng, const ProgramPoint &PP) argument
347 runCheckersForEndAnalysis(ExplodedGraph &G, BugReporter &BR, ExprEngine &Eng) argument
357 runCheckersForEndPath(NodeBuilderContext &BC, ExplodedNodeSet &Dst, ExprEngine &Eng) argument
382 ExprEngine &Eng; member in struct:__anon3948::CheckBranchConditionContext
402 runCheckersForBranchCondition(const Stmt *Condition, ExplodedNodeSet &Dst, ExplodedNode *Pred, ExprEngine &Eng) argument
425 ExprEngine &Eng; member in struct:__anon3949::CheckDeadSymbolsContext
451 runCheckersForDeadSymbols(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, SymbolReaper &SymReaper, const Stmt *S, ExprEngine &Eng, ProgramPoint::Kind K) argument
504 runCheckersForEvalCall(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const CallEvent &Call, ExprEngine &Eng) argument
[all...] |
| H A D | ProgramState.cpp | 75 : Eng(&SubEng), EnvMgr(alloc), GDMFactory(alloc),
164 SubEngine* Eng = Mgr.getOwningEngine(); local
166 if (Eng && Eng->wantsRegionChangeUpdate(this)) {
172 return Eng->processRegionChanges(newState, &IS, Regions, Invalidated, Call);
|
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| H A D | Checker.h | 218 BugReporter &BR, ExprEngine &Eng) {
219 ((const CHECKER *)checker)->checkEndAnalysis(G, BR, Eng);
372 ExprEngine &Eng,
375 return ((const CHECKER *)checker)->inlineCall(CE, Eng, Pred, Dst);
217 _checkEndAnalysis(void *checker, ExplodedGraph &G, BugReporter &BR, ExprEngine &Eng) argument
371 _inlineCall(void *checker, const CallExpr *CE, ExprEngine &Eng, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
|
| H A D | CheckerManager.h | 178 ExprEngine &Eng) {
179 runCheckersForStmt(/*isPreVisit=*/true, Dst, Src, S, Eng);
191 ExprEngine &Eng,
193 runCheckersForStmt(/*isPreVisit=*/false, Dst, Src, S, Eng, wasInlined);
199 const Stmt *S, ExprEngine &Eng,
206 ExprEngine &Eng) {
207 runCheckersForObjCMessage(/*isPreVisit=*/true, Dst, Src, msg, Eng);
214 ExprEngine &Eng,
216 runCheckersForObjCMessage(/*isPreVisit=*/false, Dst, Src, msg, Eng,
224 const ObjCMethodCall &msg, ExprEngine &Eng,
175 runCheckersForPreStmt(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const Stmt *S, ExprEngine &Eng) argument
188 runCheckersForPostStmt(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const Stmt *S, ExprEngine &Eng, bool wasInlined = false) argument
203 runCheckersForPreObjCMessage(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const ObjCMethodCall &msg, ExprEngine &Eng) argument
211 runCheckersForPostObjCMessage(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const ObjCMethodCall &msg, ExprEngine &Eng, bool wasInlined = false) argument
228 runCheckersForPreCall(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const CallEvent &Call, ExprEngine &Eng) argument
234 runCheckersForPostCall(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const CallEvent &Call, ExprEngine &Eng, bool wasInlined = false) argument
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| H A D | BugReporter.h | 444 ExprEngine& Eng; member in class:clang::ento::GRBugReporter
447 : BugReporter(d, GRBugReporterKind), Eng(eng) {}
453 ExprEngine &getEngine() { return Eng; }
|