Searched refs:SubEng (Results 1 – 3 of 3) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | CoreEngine.cpp | 195 InitState = SubEng.getInitialState(L); in ExecuteWorkList()
204 SubEng.processBeginOfFunction(BuilderCtx, Node, DstBegin, StartLoc); in ExecuteWorkList()
238 SubEng.processEndWorklist(hasWorkRemaining()); in ExecuteWorkList()
264 SubEng.processCallExit(Pred); in dispatchWorkItem()
314 SubEng.processEndOfFunction(BuilderCtx, Pred); in HandleBlockEdge()
324 SubEng.processCFGBlockEntrance(L, nodeBuilder, Pred); in HandleBlockEdge()
349 SubEng.processCFGElement(*E, Pred, 0, &Ctx); in HandleBlockEntrance()
431 SubEng.processIndirectGoto(builder); in HandleBlockExit()
454 SubEng.processSwitch(builder); in HandleBlockExit()
473 SubEng.processCallEnter(BuilderCtx, CE, Pred); in HandleCallEnter()
[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;
117 : SubEng(subengine), WList(WorkList::makeDFS()), in CoreEngine()
|