Searched refs:SubEng (Results 1 – 3 of 3) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | CoreEngine.cpp | 195 generateNode(StartLoc, SubEng.getInitialState(L), 0); in ExecuteWorkList()
224 SubEng.processEndWorklist(hasWorkRemaining()); in ExecuteWorkList()
246 SubEng.processCallEnter(CEnter, Pred); in dispatchWorkItem()
251 SubEng.processCallExit(Pred); in dispatchWorkItem()
301 SubEng.processEndOfFunction(BuilderCtx); in HandleBlockEdge()
311 SubEng.processCFGBlockEntrance(L, nodeBuilder); in HandleBlockEdge()
336 SubEng.processCFGElement(E, Pred, 0, &Ctx); in HandleBlockEntrance()
408 SubEng.processIndirectGoto(builder); in HandleBlockExit()
431 SubEng.processSwitch(builder); in HandleBlockExit()
453 SubEng.processBranch(Cond, Term, Ctx, Pred, Dst, in HandleBranch()
[all …]
|
| D | ProgramState.cpp | 74 SubEngine &SubEng) in ProgramStateManager() argument
75 : Eng(&SubEng), EnvMgr(alloc), GDMFactory(alloc), in ProgramStateManager()
79 ConstraintMgr.reset((*CreateCMgr)(*this, SubEng)); in ProgramStateManager()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | CoreEngine.h | 60 SubEngine& SubEng;
109 : SubEng(subengine), G(new ExplodedGraph()), in CoreEngine()
|