Home
last modified time | relevance | path

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

12

/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
HDCheckerManager.cpp114 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 …]
HDCoreEngine.cpp611 ExplodedNode *N = C.Eng.G.getNode(Loc, State, MarkAsSink, &IsNew); in generateNodeImpl()
612 N->addPredecessor(FromN, C.Eng.G); in generateNodeImpl()
653 Eng.G.getNode(BlockEdge(Src, I.getBlock(), Pred->getLocationContext()), in generateNode()
655 Succ->addPredecessor(Pred, Eng.G); in generateNode()
661 Eng.WList->enqueue(Succ); in generateNode()
671 Eng.G.getNode(BlockEdge(Src, I.getBlock(), Pred->getLocationContext()), in generateCaseStmtNode()
673 Succ->addPredecessor(Pred, Eng.G); in generateCaseStmtNode()
677 Eng.WList->enqueue(Succ); in generateCaseStmtNode()
695 Eng.G.getNode(BlockEdge(Src, DefaultBlock, Pred->getLocationContext()), in generateDefaultCaseNode()
697 Succ->addPredecessor(Pred, Eng.G); in generateDefaultCaseNode()
[all …]
HDSMTConstraintManager.cpp16 ento::CreateZ3ConstraintManager(ProgramStateManager &StMgr, SubEngine *Eng) { in CreateZ3ConstraintManager() argument
17 return std::make_unique<SMTConstraintManager>(Eng, StMgr.getSValBuilder()); in CreateZ3ConstraintManager()
HDProgramState.cpp80 : Eng(SubEng), EnvMgr(alloc), GDMFactory(alloc), in ProgramStateManager()
192 SubEngine &Eng = Mgr.getOwningEngine(); in invalidateRegionsImpl() local
212 newState = Eng.notifyCheckersOfPointerEscape(newState, IS, in invalidateRegionsImpl()
218 return Eng.processRegionChanges(newState, IS, TopLevelInvalidated, in invalidateRegionsImpl()
HDRangeConstraintManager.cpp332 ento::CreateRangeConstraintManager(ProgramStateManager &StMgr, SubEngine *Eng) { in CreateRangeConstraintManager() argument
333 return std::make_unique<RangeConstraintManager>(Eng, StMgr.getSValBuilder()); in CreateRangeConstraintManager()
HDRegionStore.cpp384 SubEngine &Eng = StateMgr.getOwningEngine(); in RegionStoreManager() local
385 AnalyzerOptions &Options = Eng.getAnalysisManager().options; in RegionStoreManager()
HDBugReporter.cpp2385 return Eng.getGraph(); in getGraph()
2389 return Eng.getStateManager(); in getStateManager()
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/
HDCheckerManager.h213 ExprEngine &Eng) { in runCheckersForPreStmt() argument
214 runCheckersForStmt(/*isPreVisit=*/true, Dst, Src, S, Eng); in runCheckersForPreStmt()
226 ExprEngine &Eng,
228 runCheckersForStmt(/*isPreVisit=*/false, Dst, Src, S, Eng, wasInlined);
234 const Stmt *S, ExprEngine &Eng,
241 ExprEngine &Eng) { in runCheckersForPreObjCMessage() argument
242 runCheckersForObjCMessage(ObjCMessageVisitKind::Pre, Dst, Src, msg, Eng); in runCheckersForPreObjCMessage()
249 ExprEngine &Eng,
251 runCheckersForObjCMessage(ObjCMessageVisitKind::Post, Dst, Src, msg, Eng,
259 ExprEngine &Eng) { in runCheckersForObjCMessageNil() argument
[all …]
HDChecker.h229 BugReporter &BR, ExprEngine &Eng) { in _checkEndAnalysis() argument
230 ((const CHECKER *)checker)->checkEndAnalysis(G, BR, Eng); in _checkEndAnalysis()
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
HDCheckerContext.h24 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()
111 return Eng.getSValBuilder(); in getSValBuilder()
119 return Eng.getStateManager(); in getStateManager()
[all …]
HDCoreEngine.h208 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()
HDProgramState.h461 SubEngine *Eng; /* Can be null. */
534 SubEngine &getOwningEngine() { return *Eng; } in getOwningEngine()
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
HDAnalyzerStatsChecker.cpp36 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()
HDUnreachableCodeChecker.cpp35 ExprEngine &Eng) const;
50 ExprEngine &Eng) const { in checkEndAnalysis()
53 if (Eng.hasWorkRemaining()) in checkEndAnalysis()
135 CE->isBuiltinAssumeFalse(Eng.getContext())) { in checkEndAnalysis()
HDDebugCheckers.cpp306 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const { in checkEndAnalysis()
307 Eng.ViewGraph(0); in checkEndAnalysis()
HDCheckerDocumentation.cpp207 ExprEngine &Eng) const {} in checkEndAnalysis()
HDExprInspectionChecker.cpp60 ExprEngine &Eng) const;
287 ExprEngine &Eng) const { in checkEndAnalysis()
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/
HDLocalCheckers.h22 void RegisterCallInliner(ExprEngine &Eng);
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Frontend/
HDAnalysisConsumer.cpp813 ExprEngine Eng(CTU, *Mgr, VisitedCallees, &FunctionSummaries, IMode); in RunPathSensitiveChecks() local
818 Eng.ExecuteWorkList(Mgr->getAnalysisDeclContextManager().getStackFrame(D), in RunPathSensitiveChecks()
824 Eng.DumpGraph(Mgr->options.TrimGraph, Mgr->options.DumpExplodedGraphTo); in RunPathSensitiveChecks()
828 Eng.ViewGraph(Mgr->options.TrimGraph); in RunPathSensitiveChecks()
833 Eng.getBugReporter().FlushReports(); in RunPathSensitiveChecks()
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/
HDBugReporter.h654 ExprEngine& Eng; variable
667 : BugReporter(d), Eng(eng) {} in PathSensitiveBugReporter()
/freebsd-11-stable/contrib/ntp/html/hints/
HDsolaris.xtra.409584919 satish.mynam@Eng 1998-04-30
/freebsd-11-stable/crypto/openssl/crypto/des/
HDVERSION24 Gigi Ankeny <Gigi.Ankeny@Eng.Sun.COM> for pointing this one out.
/freebsd-11-stable/contrib/groff/tmac/
HDhyphenex.us810 Eng-lish
/freebsd-11-stable/contrib/sendmail/src/
HDREADME990 Rod.Evans@Eng.Sun.COM:
/freebsd-11-stable/contrib/gcc/
HDFSFChangeLog2248 Sat Feb 14 06:34:41 1998 Peter Lawrence <Peter.Lawrence@Eng.Sun.COM>

12