Searched refs:SubEng (Results 1 - 3 of 3) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
H A DCoreEngine.cpp195 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 DProgramState.cpp74 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 DCoreEngine.h60 SubEngine& SubEng; member in class:clang::ento::CoreEngine
113 : SubEng(subengine), G(new ExplodedGraph()),

Completed in 4300 milliseconds