Searched refs:SubEng (Results 1 – 3 of 3) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | CoreEngine.cpp | 196 generateNode(StartLoc, SubEng.getInitialState(L), nullptr); in ExecuteWorkList()
225 SubEng.processEndWorklist(hasWorkRemaining()); in ExecuteWorkList()
247 SubEng.processCallEnter(CEnter, Pred); in dispatchWorkItem()
252 SubEng.processCallExit(Pred); in dispatchWorkItem()
302 SubEng.processEndOfFunction(BuilderCtx, Pred); in HandleBlockEdge()
312 SubEng.processCFGBlockEntrance(L, nodeBuilder, Pred); in HandleBlockEdge()
337 SubEng.processCFGElement(*E, Pred, 0, &Ctx); in HandleBlockEntrance()
419 SubEng.processIndirectGoto(builder); in HandleBlockExit()
442 SubEng.processSwitch(builder); in HandleBlockExit()
464 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 = (*CreateCMgr)(*this, SubEng); in ProgramStateManager()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | CoreEngine.h | 60 SubEngine& SubEng;
114 : SubEng(subengine), WList(WorkList::makeDFS()), in CoreEngine()
|