Home
last modified time | relevance | path

Searched refs:Eng (Results 1 – 25 of 26) sorted by relevance

12

/external/clang/lib/StaticAnalyzer/Core/
DCheckerManager.cpp97 const NodeBuilderContext &BldrCtx = checkCtx.Eng.getBuilderContext(); in expandGraphWithCheckers()
141 ExprEngine &Eng; member
149 : IsPreVisit(isPreVisit), Checkers(checkers), S(s), Eng(eng), in CheckStmtContext()
159 CheckerContext C(Bldr, Eng, Pred, L, WasInlined); in runChecker()
170 ExprEngine &Eng, in runCheckersForStmt() argument
173 S, Eng, WasInlined); in runCheckersForStmt()
185 ExprEngine &Eng; member
195 Msg(msg), Eng(eng) { } in CheckObjCMessageContext()
213 CheckerContext C(Bldr, Eng, Pred, L, WasInlined); in runChecker()
225 ExprEngine &Eng, in runCheckersForObjCMessage() argument
[all …]
DCoreEngine.cpp648 ExplodedNode *N = C.Eng.G.getNode(Loc, State, MarkAsSink, &IsNew); in generateNodeImpl()
649 N->addPredecessor(FromN, C.Eng.G); in generateNodeImpl()
691 Eng.G.getNode(BlockEdge(Src, I.getBlock(), Pred->getLocationContext()), in generateNode()
693 Succ->addPredecessor(Pred, Eng.G); in generateNode()
699 Eng.WList->enqueue(Succ); in generateNode()
711 Eng.G.getNode(BlockEdge(Src, I.getBlock(), Pred->getLocationContext()), in generateCaseStmtNode()
713 Succ->addPredecessor(Pred, Eng.G); in generateCaseStmtNode()
717 Eng.WList->enqueue(Succ); in generateCaseStmtNode()
736 Eng.G.getNode(BlockEdge(Src, DefaultBlock, Pred->getLocationContext()), in generateDefaultCaseNode()
738 Succ->addPredecessor(Pred, Eng.G); in generateDefaultCaseNode()
[all …]
DBugReporterVisitors.cpp211 SubEngine *Eng = State->getStateManager().getOwningEngine(); in addVisitorIfNecessary() local
212 assert(Eng && "Cannot file a bug report without an owning engine"); in addVisitorIfNecessary()
213 AnalyzerOptions &Options = Eng->getAnalysisManager().options; in addVisitorIfNecessary()
298 ExprEngine &Eng = BRC.getBugReporter().getEngine(); in visitNodeInitial() local
299 AnalyzerOptions &Options = Eng.getAnalysisManager().options; in visitNodeInitial()
338 ExprEngine &Eng = BRC.getBugReporter().getEngine(); in visitNodeMaybeUnsuppress() local
339 AnalyzerOptions &Options = Eng.getAnalysisManager().options; in visitNodeMaybeUnsuppress()
790 SubEngine *Eng = N->getState()->getStateManager().getOwningEngine(); in SuppressInlineDefensiveChecksVisitor() local
791 assert(Eng && "Cannot file a bug report without an owning engine"); in SuppressInlineDefensiveChecksVisitor()
792 AnalyzerOptions &Options = Eng->getAnalysisManager().options; in SuppressInlineDefensiveChecksVisitor()
[all …]
DProgramState.cpp75 : Eng(SubEng), EnvMgr(alloc), GDMFactory(alloc), in ProgramStateManager()
177 SubEngine* Eng = Mgr.getOwningEngine(); in invalidateRegionsImpl() local
187 if (Eng) { in invalidateRegionsImpl()
198 newState = Eng->notifyCheckersOfPointerEscape(newState, IS, in invalidateRegionsImpl()
204 return Eng->processRegionChanges(newState, IS, TopLevelInvalidated, in invalidateRegionsImpl()
DRangeConstraintManager.cpp363 ento::CreateRangeConstraintManager(ProgramStateManager &StMgr, SubEngine *Eng) { in CreateRangeConstraintManager() argument
364 return llvm::make_unique<RangeConstraintManager>(Eng, StMgr.getSValBuilder()); in CreateRangeConstraintManager()
DRegionStore.cpp351 if (SubEngine *Eng = StateMgr.getOwningEngine()) { in RegionStoreManager() local
352 AnalyzerOptions &Options = Eng->getAnalysisManager().options; in RegionStoreManager()
DBugReporter.cpp2737 ExplodedGraph &GRBugReporter::getGraph() { return Eng.getGraph(); } in getGraph()
2740 GRBugReporter::getStateManager() { return Eng.getStateManager(); } in getStateManager()
/external/clang/include/clang/StaticAnalyzer/Core/
DCheckerManager.h190 ExprEngine &Eng) { in runCheckersForPreStmt() argument
191 runCheckersForStmt(/*isPreVisit=*/true, Dst, Src, S, Eng); in runCheckersForPreStmt()
203 ExprEngine &Eng,
205 runCheckersForStmt(/*isPreVisit=*/false, Dst, Src, S, Eng, wasInlined);
211 const Stmt *S, ExprEngine &Eng,
218 ExprEngine &Eng) { in runCheckersForPreObjCMessage() argument
219 runCheckersForObjCMessage(ObjCMessageVisitKind::Pre, Dst, Src, msg, Eng); in runCheckersForPreObjCMessage()
226 ExprEngine &Eng,
228 runCheckersForObjCMessage(ObjCMessageVisitKind::Post, Dst, Src, msg, Eng,
236 ExprEngine &Eng) { in runCheckersForObjCMessageNil() argument
[all …]
DChecker.h229 BugReporter &BR, ExprEngine &Eng) { in _checkEndAnalysis() argument
230 ((const CHECKER *)checker)->checkEndAnalysis(G, BR, Eng); in _checkEndAnalysis()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DCheckerContext.h71 ExprEngine &Eng; variable
92 : Eng(eng), in Eng() function
103 return Eng.getAnalysisManager(); in getAnalysisManager()
107 return Eng.getConstraintManager(); in getConstraintManager()
111 return Eng.getStoreManager(); in getStoreManager()
131 return Eng.getContext(); in getASTContext()
135 return Eng.getContext().getLangOpts(); in getLangOpts()
150 return Eng.getBugReporter(); in getBugReporter()
158 return Eng.getSValBuilder(); in getSValBuilder()
166 return Eng.isObjCGCEnabled(); in isObjCGCEnabled()
[all …]
DCoreEngine.h183 const CoreEngine &Eng; member
187 : Eng(E), Block(B), LC(N->getLocationContext()) { assert(B); } in NodeBuilderContext()
195 return Eng.WList->getBlockCounter().getNumVisited( in blockCount()
448 CoreEngine& Eng; variable
457 : Eng(*eng), Src(src), DispatchBlock(*dispatch), E(e), Pred(pred) {} in IndirectGotoNodeBuilder()
495 CoreEngine& Eng; variable
503 : Eng(*eng), Src(src), Condition(condition), Pred(pred) {} in SwitchNodeBuilder()
DProgramState.h450 SubEngine *Eng; /* Can be null. */
519 SubEngine* getOwningEngine() { return Eng; } in getOwningEngine()
/external/clang/lib/StaticAnalyzer/Checkers/
DAnalyzerStatsChecker.cpp37 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const;
43 ExprEngine &Eng) const { in checkEndAnalysis()
111 << (Eng.wasBlocksExhausted() ? "yes" : "no") in checkEndAnalysis()
113 << (Eng.hasEmptyWorkList() ? "yes" : "no"); in checkEndAnalysis()
120 const CoreEngine &CE = Eng.getCoreEngine(); in checkEndAnalysis()
DUnreachableCodeChecker.cpp36 ExprEngine &Eng) const;
51 ExprEngine &Eng) const { in checkEndAnalysis()
54 if (Eng.hasWorkRemaining()) in checkEndAnalysis()
DDebugCheckers.cpp205 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const { in checkEndAnalysis()
206 Eng.ViewGraph(0); in checkEndAnalysis()
DCheckerDocumentation.cpp190 ExprEngine &Eng) const {} in checkEndAnalysis()
DRetainCountChecker.cpp2506 ExprEngine &Eng) const { in checkEndAnalysis()
/external/clang/test/SemaTemplate/
Dinstantiate-member-expr.cpp25 void f(ExprEngine& Eng) { in f() argument
26Eng.registerCheck(new RetainReleaseChecker); // expected-note {{in instantiation of function templ… in f()
/external/clang/include/clang/StaticAnalyzer/Checkers/
DLocalCheckers.h23 void RegisterCallInliner(ExprEngine &Eng);
/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/
DBugReporter.h490 ExprEngine& Eng;
493 : BugReporter(d, GRBugReporterKind), Eng(eng) {}
499 ExprEngine &getEngine() { return Eng; }
/external/clang/lib/StaticAnalyzer/Frontend/
DAnalysisConsumer.cpp653 ExprEngine Eng(*Mgr, ObjCGCEnabled, VisitedCallees, &FunctionSummaries,IMode); in ActionExprEngine() local
663 Eng.ExecuteWorkList(Mgr->getAnalysisDeclContextManager().getStackFrame(D), in ActionExprEngine()
672 Eng.ViewGraph(Mgr->options.TrimGraph); in ActionExprEngine()
675 Eng.getBugReporter().FlushReports(); in ActionExprEngine()
/external/libcxx/test/std/numerics/rand/rand.dis/rand.dist.bern/rand.dist.bern.geo/
Deval.pass.cpp32 struct Eng : std::mt19937 { struct
38 Eng engine; in test_small_inputs() argument
/external/apache-xml/
DNOTICE63 - voluntary contributions made by Paul Eng on behalf of the
/external/icu/icu4c/source/data/region/
Dewo.txt71 GB{"Ǹnam Engəlis"}
/external/hyphenation-patterns/en-US/
Dushyphex.tex1301 Eng-lish

12