Searched defs:SubEng (Results 1 - 2 of 2) sorted by relevance
| /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()),
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| 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
|
Completed in 106 milliseconds