| /external/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| D | CheckerManager.cpp | 114 const NodeBuilderContext &BldrCtx = checkCtx.Eng.getBuilderContext(); in expandGraphWithCheckers()
158 ExprEngine &Eng; member
163 : IsPreVisit(isPreVisit), Checkers(checkers), S(s), Eng(eng), in CheckStmtContext()
176 CheckerContext C(Bldr, Eng, Pred, L, WasInlined); in runChecker()
188 ExprEngine &Eng, in runCheckersForStmt() argument
191 S, Eng, WasInlined); in runCheckersForStmt()
204 ExprEngine &Eng; member
211 Eng(eng) {} in CheckObjCMessageContext()
231 CheckerContext C(Bldr, Eng, Pred, L, WasInlined); in runChecker()
244 ExprEngine &Eng, in runCheckersForObjCMessage() argument
[all …]
|
| D | SMTConstraintManager.cpp | 16 ento::CreateZ3ConstraintManager(ProgramStateManager &StMgr, ExprEngine *Eng) { in CreateZ3ConstraintManager() argument
17 return std::make_unique<SMTConstraintManager>(Eng, StMgr.getSValBuilder()); in CreateZ3ConstraintManager()
|
| D | CoreEngine.cpp | 610 ExplodedNode *N = C.Eng.G.getNode(Loc, State, MarkAsSink, &IsNew); in generateNodeImpl()
611 N->addPredecessor(FromN, C.Eng.G); in generateNodeImpl()
652 Eng.G.getNode(BlockEdge(Src, I.getBlock(), Pred->getLocationContext()), in generateNode()
654 Succ->addPredecessor(Pred, Eng.G); in generateNode()
660 Eng.WList->enqueue(Succ); in generateNode()
670 Eng.G.getNode(BlockEdge(Src, I.getBlock(), Pred->getLocationContext()), in generateCaseStmtNode()
672 Succ->addPredecessor(Pred, Eng.G); in generateCaseStmtNode()
676 Eng.WList->enqueue(Succ); in generateCaseStmtNode()
694 Eng.G.getNode(BlockEdge(Src, DefaultBlock, Pred->getLocationContext()), in generateDefaultCaseNode()
696 Succ->addPredecessor(Pred, Eng.G); in generateDefaultCaseNode()
[all …]
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | CheckerManager.cpp | 97 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 …]
|
| D | CoreEngine.cpp | 648 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 …]
|
| /external/fonttools/Tests/feaLib/data/ |
| D | bug502.fea | 4 sub Eng by Eng.alt1;
5 sub Eng by Eng.alt2;
6 sub Eng by Eng.alt3;
|
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| D | CheckerManager.h | 190 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 …]
|
| /external/llvm-project/clang/include/clang/StaticAnalyzer/Core/ |
| D | CheckerManager.h | 252 ExprEngine &Eng) { in runCheckersForPreStmt() argument
253 runCheckersForStmt(/*isPreVisit=*/true, Dst, Src, S, Eng); in runCheckersForPreStmt()
265 ExprEngine &Eng,
267 runCheckersForStmt(/*isPreVisit=*/false, Dst, Src, S, Eng, wasInlined);
273 const Stmt *S, ExprEngine &Eng,
280 ExprEngine &Eng) { in runCheckersForPreObjCMessage() argument
281 runCheckersForObjCMessage(ObjCMessageVisitKind::Pre, Dst, Src, msg, Eng); in runCheckersForPreObjCMessage()
288 ExprEngine &Eng,
290 runCheckersForObjCMessage(ObjCMessageVisitKind::Post, Dst, Src, msg, Eng,
298 ExprEngine &Eng) { in runCheckersForObjCMessageNil() argument
[all …]
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | CheckerContext.h | 71 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 …]
|
| D | CoreEngine.h | 183 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()
|
| /external/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | CheckerContext.h | 24 ExprEngine &Eng; variable
45 : Eng(eng), in Eng() function
56 return Eng.getAnalysisManager(); in getAnalysisManager()
60 return Eng.getConstraintManager(); in getConstraintManager()
64 return Eng.getStoreManager(); in getStoreManager()
84 return Eng.getContext(); in getASTContext()
88 return Eng.getContext().getLangOpts(); in getLangOpts()
103 return Eng.getBugReporter(); in getBugReporter()
113 return Eng.getSValBuilder(); in getSValBuilder()
121 return Eng.getStateManager(); in getStateManager()
[all …]
|
| D | CoreEngine.h | 208 const CoreEngine &Eng; member
213 : Eng(E), Block(B), LC(N->getLocationContext()) { assert(B); } in NodeBuilderContext()
221 return Eng.WList->getBlockCounter().getNumVisited( in blockCount()
478 CoreEngine& Eng; variable
487 : Eng(*eng), Src(src), DispatchBlock(*dispatch), E(e), Pred(pred) {} in IndirectGotoNodeBuilder()
526 CoreEngine& Eng; variable
534 : Eng(*eng), Src(src), Condition(condition), Pred(pred) {} in SwitchNodeBuilder()
|
| /external/llvm-project/clang/unittests/StaticAnalyzer/ |
| D | SymbolReaperTest.cpp | 27 Eng.getAnalysisDeclContextManager().getStackFrame(D); in performTest()
30 const VarRegion *VR = Eng.getRegionManager().getVarRegion(VD, SFC); in performTest()
31 const FieldRegion *FR = Eng.getRegionManager().getFieldRegion(FD, VR); in performTest()
36 Eng.getSymbolManager(), Eng.getStoreManager()); in performTest()
|
| D | StoreTest.cpp | 44 StoreManager &SManager = Eng.getStoreManager(); in performTest()
45 SValBuilder &Builder = Eng.getSValBuilder(); in performTest()
47 const ASTContext &ASTCtxt = Eng.getContext(); in performTest()
58 Eng.getAnalysisDeclContextManager().getStackFrame(D); in performTest()
112 StoreManager &SManager = Eng.getStoreManager(); in performTest()
113 SValBuilder &Builder = Eng.getSValBuilder(); in performTest()
115 ASTContext &ASTCtxt = Eng.getContext(); in performTest()
122 Eng.getAnalysisDeclContextManager().getStackFrame(D); in performTest()
|
| D | CallDescriptionTest.cpp | 61 Eng.getAnalysisDeclContextManager().getStackFrame(D); in performTest()
62 ProgramStateRef State = Eng.getInitialState(SFC); in performTest()
64 Eng.getStateManager().getCallEventManager().getCall(CE, State, SFC); in performTest()
|
| D | Reusables.h | 55 ExprEngine Eng;
66 Eng(CTU, AMgr, &VisitedCallees, &FS, ExprEngine::Inline_Regular) {} in ExprEngineConsumer()
|
| D | ParamRegionTest.cpp | 29 StoreManager &StMgr = Eng.getStoreManager(); in performTest()
32 Eng.getAnalysisDeclContextManager().getStackFrame(D); in performTest()
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | AnalyzerStatsChecker.cpp | 37 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()
|
| D | UnreachableCodeChecker.cpp | 36 ExprEngine &Eng) const;
51 ExprEngine &Eng) const { in checkEndAnalysis()
54 if (Eng.hasWorkRemaining()) in checkEndAnalysis()
|
| /external/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| D | AnalyzerStatsChecker.cpp | 36 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const;
42 ExprEngine &Eng) const { in checkEndAnalysis()
110 << (Eng.wasBlocksExhausted() ? "yes" : "no") in checkEndAnalysis()
112 << (Eng.hasEmptyWorkList() ? "yes" : "no"); in checkEndAnalysis()
119 const CoreEngine &CE = Eng.getCoreEngine(); in checkEndAnalysis()
|
| D | UnreachableCodeChecker.cpp | 35 ExprEngine &Eng) const;
50 ExprEngine &Eng) const { in checkEndAnalysis()
53 if (Eng.hasWorkRemaining()) in checkEndAnalysis()
135 CE->isBuiltinAssumeFalse(Eng.getContext())) { in checkEndAnalysis()
|
| /external/clang/test/SemaTemplate/ |
| D | instantiate-member-expr.cpp | 25 void f(ExprEngine& Eng) { in f() argument
26 …Eng.registerCheck(new RetainReleaseChecker); // expected-note {{in instantiation of function templ… in f()
|
| /external/llvm-project/clang/test/SemaTemplate/ |
| D | instantiate-member-expr.cpp | 25 void f(ExprEngine& Eng) { in f() argument
26 …Eng.registerCheck(new RetainReleaseChecker); // expected-note {{in instantiation of function templ… in f()
|
| /external/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/ |
| D | LocalCheckers.h | 22 void RegisterCallInliner(ExprEngine &Eng);
|
| /external/clang/include/clang/StaticAnalyzer/Checkers/ |
| D | LocalCheckers.h | 23 void RegisterCallInliner(ExprEngine &Eng);
|