Searched refs:SubEng (Results 1 - 3 of 3) sorted by relevance
/external/clang/lib/StaticAnalyzer/Core/ |
H A D | CoreEngine.cpp | 195 generateNode(StartLoc, SubEng.getInitialState(L), nullptr); 224 SubEng.processEndWorklist(hasWorkRemaining()); 246 SubEng.processCallEnter(CEnter, Pred); 251 SubEng.processCallExit(Pred); 301 SubEng.processEndOfFunction(BuilderCtx, Pred); 311 SubEng.processCFGBlockEntrance(L, nodeBuilder, Pred); 336 SubEng.processCFGElement(*E, Pred, 0, &Ctx); 413 SubEng.processIndirectGoto(builder); 436 SubEng.processSwitch(builder); 458 SubEng [all...] |
H A D | ProgramState.cpp | 74 SubEngine *SubEng) 75 : Eng(SubEng), EnvMgr(alloc), GDMFactory(alloc), 79 ConstraintMgr.reset((*CreateCMgr)(*this, SubEng)); 70 ProgramStateManager(ASTContext &Ctx, StoreManagerCreator CreateSMgr, ConstraintManagerCreator CreateCMgr, llvm::BumpPtrAllocator &alloc, SubEngine *SubEng) argument
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | CoreEngine.h | 60 SubEngine& SubEng; member in class:clang::ento::CoreEngine 113 : SubEng(subengine), G(new ExplodedGraph()),
|
Completed in 4300 milliseconds