Searched refs:SubEng (Results 1 – 3 of 3) sorted by relevance
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | CoreEngine.cpp | 77 : SubEng(subengine), WList(generateWorkList(Opts, subengine)), in CoreEngine()
108 InitState = SubEng.getInitialState(L); in ExecuteWorkList()
151 SubEng.processEndWorklist(); in ExecuteWorkList()
176 SubEng.processCallExit(Pred); in dispatchWorkItem()
238 SubEng.processEndOfFunction(BuilderCtx, Pred, RS); in HandleBlockEdge()
248 SubEng.processCFGBlockEntrance(L, nodeBuilder, Pred); in HandleBlockEdge()
272 SubEng.processCFGElement(*E, Pred, 0, &Ctx); in HandleBlockEntrance()
352 SubEng.processIndirectGoto(builder); in HandleBlockExit()
374 SubEng.processSwitch(builder); in HandleBlockExit()
393 SubEng.processCallEnter(BuilderCtx, CE, Pred); in HandleCallEnter()
[all …]
|
| H A D | ProgramState.cpp | 80 SubEngine *SubEng) in ProgramStateManager() argument
81 : Eng(SubEng), EnvMgr(alloc), GDMFactory(alloc), in ProgramStateManager()
85 ConstraintMgr = (*CreateCMgr)(*this, SubEng); in ProgramStateManager()
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CoreEngine.h | 72 SubEngine &SubEng;
|