Search

Home

Sort by

Searched defs:Eng (Results 1 - 11 of 11) sorted by relevance

/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	`71 ExprEngine &Eng; member in class:clang::ento::CheckerContext 92 : Eng(eng), 103 return Eng.getAnalysisManager(); 107 return Eng.getConstraintManager(); 111 return Eng.getStoreManager(); 131 return Eng.getContext(); 135 return Eng.getContext().getLangOpts(); 150 return Eng.getBugReporter(); 158 return Eng.getSValBuilder(); 166 return Eng [all...]`
H A D	CoreEngine.h	`183 const CoreEngine &Eng; member in struct:clang::ento::NodeBuilderContext 187 : Eng(E), Block(B), LC(N->getLocationContext()) { assert(B); } 195 return Eng.WList->getBlockCounter().getNumVisited( 448 CoreEngine& Eng; member in class:clang::ento::IndirectGotoNodeBuilder 457 : Eng(eng), Src(src), DispatchBlock(dispatch), E(e), Pred(pred) {} 495 CoreEngine& Eng; member in class:clang::ento::SwitchNodeBuilder 503 : Eng(*eng), Src(src), Condition(condition), Pred(pred) {}`
H A D	ProgramState.h	`449 /// Eng - The SubEngine that owns this state manager. 450 SubEngine Eng; / Can be null. / member in class:clang::ento::ProgramStateManager 519 SubEngine getOwningEngine() { return Eng; }`
/external/clang/include/clang/StaticAnalyzer/Core/
H A D	Checker.h	`229 BugReporter &BR, ExprEngine &Eng) { 230 ((const CHECKER )checker)->checkEndAnalysis(G, BR, Eng); 228 _checkEndAnalysis(void checker, ExplodedGraph &G, BugReporter &BR, ExprEngine &Eng) argument`
H A D	CheckerManager.h	190 ExprEngine &Eng) { 191 runCheckersForStmt(/isPreVisit=/true, Dst, Src, S, Eng); 203 ExprEngine &Eng, 205 runCheckersForStmt(/isPreVisit=/false, Dst, Src, S, Eng, wasInlined); 211 const Stmt S, ExprEngine &Eng, 218 ExprEngine &Eng) { 219 runCheckersForObjCMessage(ObjCMessageVisitKind::Pre, Dst, Src, msg, Eng); 226 ExprEngine &Eng, 228 runCheckersForObjCMessage(ObjCMessageVisitKind::Post, Dst, Src, msg, Eng, 236 ExprEngine &Eng) { 187 runCheckersForPreStmt(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const Stmt S, ExprEngine &Eng) argument 200 runCheckersForPostStmt(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const Stmt *S, ExprEngine &Eng, bool wasInlined = false) argument 215 runCheckersForPreObjCMessage(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const ObjCMethodCall &msg, ExprEngine &Eng) argument 223 runCheckersForPostObjCMessage(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const ObjCMethodCall &msg, ExprEngine &Eng, bool wasInlined = false) argument 233 runCheckersForObjCMessageNil(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const ObjCMethodCall &msg, ExprEngine &Eng) argument 250 runCheckersForPreCall(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const CallEvent &Call, ExprEngine &Eng) argument 256 runCheckersForPostCall(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const CallEvent &Call, ExprEngine &Eng, bool wasInlined = false) argument [all...]
/external/clang/lib/StaticAnalyzer/Core/
H A D	RangeConstraintManager.cpp	`363 ento::CreateRangeConstraintManager(ProgramStateManager &StMgr, SubEngine *Eng) { argument 364 return llvm::make_unique<RangeConstraintManager>(Eng, StMgr.getSValBuilder());`
H A D	CheckerManager.cpp	97 const NodeBuilderContext &BldrCtx = checkCtx.Eng.getBuilderContext(); 141 ExprEngine &Eng; member in struct:__anon2061::CheckStmtContext 149 : IsPreVisit(isPreVisit), Checkers(checkers), S(s), Eng(eng), 159 CheckerContext C(Bldr, Eng, Pred, L, WasInlined); 170 ExprEngine &Eng, 173 S, Eng, WasInlined); 185 ExprEngine &Eng; member in struct:__anon2062::CheckObjCMessageContext 195 Msg(msg), Eng(eng) { } 213 CheckerContext C(Bldr, Eng, Pred, L, WasInlined); 225 ExprEngine &Eng, 166 runCheckersForStmt(bool isPreVisit, ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const Stmt S, ExprEngine &Eng, bool WasInlined) argument 221 runCheckersForObjCMessage(ObjCMessageVisitKind visitKind, ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const ObjCMethodCall &msg, ExprEngine &Eng, bool WasInlined) argument 253 ExprEngine &Eng; member in struct:__anon2063::CheckCallContext 275 runCheckersForCallEvent(bool isPreVisit, ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const CallEvent &Call, ExprEngine &Eng, bool WasInlined) argument 296 ExprEngine &Eng; member in struct:__anon2064::CheckLocationContext 324 runCheckersForLocation(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, SVal location, bool isLoad, const Stmt NodeEx, const Stmt BoundEx, ExprEngine &Eng) argument 342 ExprEngine &Eng; member in struct:__anon2065::CheckBindContext 364 runCheckersForBind(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, SVal location, SVal val, const Stmt S, ExprEngine &Eng, const ProgramPoint &PP) argument 373 runCheckersForEndAnalysis(ExplodedGraph &G, BugReporter &BR, ExprEngine &Eng) argument 384 ExprEngine &Eng; member in struct:__anon2066::CheckBeginFunctionContext 390 CheckBeginFunctionContext(const CheckersTy &Checkers, ExprEngine &Eng, const ProgramPoint &PP) argument 404 runCheckersForBeginFunction(ExplodedNodeSet &Dst, const BlockEdge &L, ExplodedNode Pred, ExprEngine &Eng) argument 417 runCheckersForEndFunction(NodeBuilderContext &BC, ExplodedNodeSet &Dst, ExplodedNode Pred, ExprEngine &Eng) argument 442 ExprEngine &Eng; member in struct:__anon2067::CheckBranchConditionContext 462 runCheckersForBranchCondition(const Stmt Condition, ExplodedNodeSet &Dst, ExplodedNode Pred, ExprEngine &Eng) argument 485 ExprEngine &Eng; member in struct:__anon2068::CheckDeadSymbolsContext 511 runCheckersForDeadSymbols(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, SymbolReaper &SymReaper, const Stmt *S, ExprEngine &Eng, ProgramPoint::Kind K) argument 585 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), 177 SubEngine* Eng = Mgr.getOwningEngine(); local 187 if (Eng) { 198 newState = Eng->notifyCheckersOfPointerEscape(newState, IS, 204 return Eng->processRegionChanges(newState, IS, TopLevelInvalidated,`
H A D	BugReporterVisitors.cpp	211 SubEngine Eng = State->getStateManager().getOwningEngine(); local 212 assert(Eng && "Cannot file a bug report without an owning engine"); 213 AnalyzerOptions &Options = Eng->getAnalysisManager().options; 298 ExprEngine &Eng = BRC.getBugReporter().getEngine(); local 299 AnalyzerOptions &Options = Eng.getAnalysisManager().options; 338 ExprEngine &Eng = BRC.getBugReporter().getEngine(); local 339 AnalyzerOptions &Options = Eng.getAnalysisManager().options; 790 SubEngine Eng = N->getState()->getStateManager().getOwningEngine(); local 791 assert(Eng && "Cannot file a bug report without an owning engine"); 792 AnalyzerOptions &Options = Eng 1561 ExprEngine &Eng = BRC.getBugReporter().getEngine(); local [all...]
/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A D	BugReporter.h	`490 ExprEngine& Eng; member in class:clang::ento::GRBugReporter 493 : BugReporter(d, GRBugReporterKind), Eng(eng) {} 499 ExprEngine &getEngine() { return Eng; }`

Completed in 313 milliseconds