Searched refs:Eng (Results 1 - 20 of 20) sorted by relevance

/freebsd-10.1-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Checkers/
H A DLocalCheckers.h23 void RegisterCallInliner(ExprEngine &Eng);
/freebsd-10.1-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCheckerContext.h71 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 DCoreEngine.h185 const CoreEngine &Eng; member in struct:clang::ento::NodeBuilderContext
189 : Eng(E), Block(B), LC(N->getLocationContext()) { assert(B); }
197 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 DProgramState.h440 /// Eng - The SubEngine that owns this state manager.
441 SubEngine *Eng; /* Can be null. */ member in class:clang::ento::ProgramStateManager
510 SubEngine* getOwningEngine() { return Eng; }
/freebsd-10.1-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DAnalyzerStatsChecker.cpp37 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();
H A DDebugCheckers.cpp197 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const {
198 Eng.ViewGraph(0);
H A DUnreachableCodeChecker.cpp40 ExprEngine &Eng) const;
55 ExprEngine &Eng) const {
58 if (Eng.hasWorkRemaining())
H A DCheckerDocumentation.cpp174 ExprEngine &Eng) const {}
H A DIdempotentOperationChecker.cpp76 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const;
347 ExprEngine &Eng) const {
372 if (Eng.hasWorkRemaining()) {
378 Eng.getCoreEngine()))
/freebsd-10.1-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DCheckerManager.cpp97 const NodeBuilderContext &BldrCtx = checkCtx.Eng.getBuilderContext();
141 ExprEngine &Eng; member in struct:__anon3611::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);
183 ExprEngine &Eng; member in struct:__anon3612::CheckObjCMessageContext
192 Msg(msg), Eng(eng) { }
197 CheckerContext C(Bldr, Eng, Pred, L, WasInlined);
209 ExprEngine &Eng,
166 runCheckersForStmt(bool isPreVisit, ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const Stmt *S, ExprEngine &Eng, bool WasInlined) argument
205 runCheckersForObjCMessage(bool isPreVisit, ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const ObjCMethodCall &msg, ExprEngine &Eng, bool WasInlined) argument
226 ExprEngine &Eng; member in struct:__anon3613::CheckCallContext
248 runCheckersForCallEvent(bool isPreVisit, ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const CallEvent &Call, ExprEngine &Eng, bool WasInlined) argument
269 ExprEngine &Eng; member in struct:__anon3614::CheckLocationContext
297 runCheckersForLocation(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, SVal location, bool isLoad, const Stmt *NodeEx, const Stmt *BoundEx, ExprEngine &Eng) argument
315 ExprEngine &Eng; member in struct:__anon3615::CheckBindContext
337 runCheckersForBind(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, SVal location, SVal val, const Stmt *S, ExprEngine &Eng, const ProgramPoint &PP) argument
346 runCheckersForEndAnalysis(ExplodedGraph &G, BugReporter &BR, ExprEngine &Eng) argument
356 runCheckersForEndFunction(NodeBuilderContext &BC, ExplodedNodeSet &Dst, ExplodedNode *Pred, ExprEngine &Eng) argument
381 ExprEngine &Eng; member in struct:__anon3616::CheckBranchConditionContext
401 runCheckersForBranchCondition(const Stmt *Condition, ExplodedNodeSet &Dst, ExplodedNode *Pred, ExprEngine &Eng) argument
424 ExprEngine &Eng; member in struct:__anon3617::CheckDeadSymbolsContext
450 runCheckersForDeadSymbols(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, SymbolReaper &SymReaper, const Stmt *S, ExprEngine &Eng, ProgramPoint::Kind K) argument
524 runCheckersForEvalCall(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const CallEvent &Call, ExprEngine &Eng) argument
[all...]
H A DCoreEngine.cpp609 ExplodedNode *N = C.Eng.G->getNode(Loc, State, MarkAsSink, &IsNew);
610 N->addPredecessor(FromN, *C.Eng.G);
651 ExplodedNode *Succ = Eng.G->getNode(BlockEdge(Src, I.getBlock(),
654 Succ->addPredecessor(Pred, *Eng.G);
660 Eng.WList->enqueue(Succ);
671 ExplodedNode *Succ = Eng.G->getNode(BlockEdge(Src, I.getBlock(),
674 Succ->addPredecessor(Pred, *Eng.G);
678 Eng.WList->enqueue(Succ);
696 ExplodedNode *Succ = Eng.G->getNode(BlockEdge(Src, DefaultBlock,
699 Succ->addPredecessor(Pred, *Eng
[all...]
H A DBugReporterVisitors.cpp215 SubEngine *Eng = State->getStateManager().getOwningEngine(); local
216 assert(Eng && "Cannot file a bug report without an owning engine");
217 AnalyzerOptions &Options = Eng->getAnalysisManager().options;
301 ExprEngine &Eng = BRC.getBugReporter().getEngine(); local
302 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
1525 ExprEngine &Eng = BRC.getBugReporter().getEngine(); local
[all...]
H A DProgramState.cpp75 : Eng(SubEng), EnvMgr(alloc), GDMFactory(alloc),
177 SubEngine* Eng = Mgr.getOwningEngine(); local
188 if (Eng) {
199 newState = Eng->notifyCheckersOfPointerEscape(newState, IS,
205 return Eng->processRegionChanges(newState, IS, TopLevelInvalidated,
H A DRangeConstraintManager.cpp330 ento::CreateRangeConstraintManager(ProgramStateManager &StMgr, SubEngine *Eng) { argument
331 return new RangeConstraintManager(Eng, StMgr.getSValBuilder());
H A DRegionStore.cpp359 if (SubEngine *Eng = StateMgr.getOwningEngine()) {
360 AnalyzerOptions &Options = Eng->getAnalysisManager().options;
H A DBugReporter.cpp2761 ExplodedGraph &GRBugReporter::getGraph() { return Eng.getGraph(); }
2764 GRBugReporter::getStateManager() { return Eng.getStateManager(); }
/freebsd-10.1-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/
H A DCheckerManager.h217 ExprEngine &Eng) {
218 runCheckersForStmt(/*isPreVisit=*/true, Dst, Src, S, Eng);
230 ExprEngine &Eng,
232 runCheckersForStmt(/*isPreVisit=*/false, Dst, Src, S, Eng, wasInlined);
238 const Stmt *S, ExprEngine &Eng,
245 ExprEngine &Eng) {
246 runCheckersForObjCMessage(/*isPreVisit=*/true, Dst, Src, msg, Eng);
253 ExprEngine &Eng,
255 runCheckersForObjCMessage(/*isPreVisit=*/false, Dst, Src, msg, Eng,
263 const ObjCMethodCall &msg, ExprEngine &Eng,
214 runCheckersForPreStmt(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const Stmt *S, ExprEngine &Eng) argument
227 runCheckersForPostStmt(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const Stmt *S, ExprEngine &Eng, bool wasInlined = false) argument
242 runCheckersForPreObjCMessage(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const ObjCMethodCall &msg, ExprEngine &Eng) argument
250 runCheckersForPostObjCMessage(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const ObjCMethodCall &msg, ExprEngine &Eng, bool wasInlined = false) argument
267 runCheckersForPreCall(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const CallEvent &Call, ExprEngine &Eng) argument
273 runCheckersForPostCall(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const CallEvent &Call, ExprEngine &Eng, bool wasInlined = false) argument
[all...]
H A DChecker.h218 BugReporter &BR, ExprEngine &Eng) {
219 ((const CHECKER *)checker)->checkEndAnalysis(G, BR, Eng);
217 _checkEndAnalysis(void *checker, ExplodedGraph &G, BugReporter &BR, ExprEngine &Eng) argument
/freebsd-10.1-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DBugReporter.h481 ExprEngine& Eng; member in class:clang::ento::GRBugReporter
484 : BugReporter(d, GRBugReporterKind), Eng(eng) {}
490 ExprEngine &getEngine() { return Eng; }
/freebsd-10.1-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Frontend/
H A DAnalysisConsumer.cpp653 ExprEngine Eng(*Mgr, ObjCGCEnabled, VisitedCallees, &FunctionSummaries,IMode);
663 Eng.ExecuteWorkList(Mgr->getAnalysisDeclContextManager().getStackFrame(D),
672 Eng.ViewGraph(Mgr->options.TrimGraph);
675 Eng.getBugReporter().FlushReports();

Completed in 226 milliseconds