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