| /external/clang/include/clang/StaticAnalyzer/Checkers/ |
| LocalCheckers.h | 23 void RegisterCallInliner(ExprEngine &Eng);
|
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| CheckerManager.h | 191 ExprEngine &Eng) {
192 runCheckersForStmt(/*isPreVisit=*/true, Dst, Src, S, Eng);
204 ExprEngine &Eng,
206 runCheckersForStmt(/*isPreVisit=*/false, Dst, Src, S, Eng, wasInlined);
212 const Stmt *S, ExprEngine &Eng,
219 ExprEngine &Eng) {
220 runCheckersForObjCMessage(ObjCMessageVisitKind::Pre, Dst, Src, msg, Eng);
227 ExprEngine &Eng,
229 runCheckersForObjCMessage(ObjCMessageVisitKind::Post, Dst, Src, msg, Eng,
237 ExprEngine &Eng) {
[all...] |
| Checker.h | 229 BugReporter &BR, ExprEngine &Eng) {
230 ((const CHECKER *)checker)->checkEndAnalysis(G, BR, Eng);
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CheckerContext.h | 71 ExprEngine &Eng;
88 ExprEngine &eng,
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()
[all...] |
| CoreEngine.h | 180 const CoreEngine &Eng;
184 : Eng(E), Block(B), LC(N->getLocationContext()) { assert(B); }
192 return Eng.WList->getBlockCounter().getNumVisited(
445 CoreEngine& Eng;
453 const Expr *e, const CFGBlock *dispatch, CoreEngine* eng)
454 : Eng(*eng), Src(src), DispatchBlock(*dispatch), E(e), Pred(pred) {}
492 CoreEngine& Eng;
499 const Expr *condition, CoreEngine* eng)
500 : Eng(*eng), Src(src), Condition(condition), Pred(pred) {
[all...] |
| ProgramState.h | 448 /// Eng - The SubEngine that owns this state manager.
449 SubEngine *Eng; /* Can be null. */
518 SubEngine* getOwningEngine() { return Eng; }
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| AnalyzerStatsChecker.cpp | 37 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const;
43 ExprEngine &Eng) const {
111 << (Eng.wasBlocksExhausted() ? "yes" : "no")
113 << (Eng.hasEmptyWorkList() ? "yes" : "no");
120 const CoreEngine &CE = Eng.getCoreEngine();
|
| UnreachableCodeChecker.cpp | 40 ExprEngine &Eng) const;
55 ExprEngine &Eng) const {
58 if (Eng.hasWorkRemaining())
|
| CheckerDocumentation.cpp | 184 ExprEngine &Eng) const {}
|
| DebugCheckers.cpp | 205 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const {
206 Eng.ViewGraph(0);
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| CheckerManager.cpp | 97 const NodeBuilderContext &BldrCtx = checkCtx.Eng.getBuilderContext();
141 ExprEngine &Eng;
148 const Stmt *s, ExprEngine &eng, bool wasInlined = false)
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;
192 const ObjCMethodCall &msg, ExprEngine &eng,
[all...] |
| CoreEngine.cpp | 631 ExplodedNode *N = C.Eng.G.getNode(Loc, State, MarkAsSink, &IsNew);
632 N->addPredecessor(FromN, C.Eng.G);
674 Eng.G.getNode(BlockEdge(Src, I.getBlock(), Pred->getLocationContext()),
676 Succ->addPredecessor(Pred, Eng.G);
682 Eng.WList->enqueue(Succ);
694 Eng.G.getNode(BlockEdge(Src, I.getBlock(), Pred->getLocationContext()),
696 Succ->addPredecessor(Pred, Eng.G);
700 Eng.WList->enqueue(Succ);
719 Eng.G.getNode(BlockEdge(Src, DefaultBlock, Pred->getLocationContext()),
721 Succ->addPredecessor(Pred, Eng.G)
[all...] |
| BugReporterVisitors.cpp | 210 SubEngine *Eng = State->getStateManager().getOwningEngine();
211 assert(Eng && "Cannot file a bug report without an owning engine");
212 AnalyzerOptions &Options = Eng->getAnalysisManager().options;
297 ExprEngine &Eng = BRC.getBugReporter().getEngine();
298 AnalyzerOptions &Options = Eng.getAnalysisManager().options;
334 ExprEngine &Eng = BRC.getBugReporter().getEngine();
335 AnalyzerOptions &Options = Eng.getAnalysisManager().options;
786 SubEngine *Eng = N->getState()->getStateManager().getOwningEngine();
787 assert(Eng && "Cannot file a bug report without an owning engine");
788 AnalyzerOptions &Options = Eng->getAnalysisManager().options
[all...] |
| ProgramState.cpp | 75 : Eng(SubEng), EnvMgr(alloc), GDMFactory(alloc),
177 SubEngine* Eng = Mgr.getOwningEngine();
187 if (Eng) {
198 newState = Eng->notifyCheckersOfPointerEscape(newState, IS,
204 return Eng->processRegionChanges(newState, IS, TopLevelInvalidated,
|
| RangeConstraintManager.cpp | 363 ento::CreateRangeConstraintManager(ProgramStateManager &StMgr, SubEngine *Eng) {
364 return llvm::make_unique<RangeConstraintManager>(Eng, StMgr.getSValBuilder());
|
| RegionStore.cpp | 349 if (SubEngine *Eng = StateMgr.getOwningEngine()) {
350 AnalyzerOptions &Options = Eng->getAnalysisManager().options;
[all...] |
| BugReporter.cpp | [all...] |
| /external/clang/test/SemaTemplate/ |
| instantiate-member-expr.cpp | 25 void f(ExprEngine& Eng) {
26 Eng.registerCheck(new RetainReleaseChecker); // expected-note {{in instantiation of function template specialization 'ExprEngine::registerCheck<RetainReleaseChecker>' requested here}}
|
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| BugReporter.h | 490 ExprEngine& Eng;
492 GRBugReporter(BugReporterData& d, ExprEngine& eng)
493 : BugReporter(d, GRBugReporterKind), Eng(eng) {}
499 ExprEngine &getEngine() { return Eng; }
|
| /external/clang/lib/StaticAnalyzer/Frontend/ |
| AnalysisConsumer.cpp | 653 ExprEngine Eng(*Mgr, ObjCGCEnabled, VisitedCallees, &FunctionSummaries,IMode);
663 Eng.ExecuteWorkList(Mgr->getAnalysisDeclContextManager().getStackFrame(D),
672 Eng.ViewGraph(Mgr->options.TrimGraph);
675 Eng.getBugReporter().FlushReports();
|
| /external/fonttools/Lib/fontTools/ |
| agl.py | 155 014A;Eng;LATIN CAPITAL LETTER ENG
431 014B;eng;LATIN SMALL LETTER ENG
|
