Searched refs:SubEng (Results 1 - 3 of 3) sorted by relevance
| /freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | CoreEngine.cpp | 76 : SubEng(subengine), WList(generateWorkList(Opts, subengine)),
107 InitState = SubEng.getInitialState(L);
116 SubEng.processBeginOfFunction(BuilderCtx, Node, DstBegin, StartLoc);
150 SubEng.processEndWorklist();
175 SubEng.processCallExit(Pred);
256 SubEng.processEndOfFunction(BuilderCtx, Pred, RS);
266 SubEng.processCFGBlockEntrance(L, nodeBuilder, Pred);
290 SubEng.processCFGElement(*E, Pred, 0, &Ctx);
370 SubEng.processIndirectGoto(builder);
392 SubEng
[all...] |
| H A D | ProgramState.cpp | 79 SubEngine *SubEng)
80 : Eng(SubEng), EnvMgr(alloc), GDMFactory(alloc),
84 ConstraintMgr = (*CreateCMgr)(*this, SubEng);
75 ProgramStateManager(ASTContext &Ctx, StoreManagerCreator CreateSMgr, ConstraintManagerCreator CreateCMgr, llvm::BumpPtrAllocator &alloc, SubEngine *SubEng) argument
|
| /freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CoreEngine.h | 72 SubEngine &SubEng; member in class:clang::ento::CoreEngine
|
Completed in 114 milliseconds