Searched defs:StMgr (Results 1 - 2 of 2) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
H A DRangeConstraintManager.cpp332 ento::CreateRangeConstraintManager(ProgramStateManager &StMgr, SubEngine *Eng) { argument
333 return new RangeConstraintManager(Eng, StMgr.getSValBuilder());
H A DRegionStore.cpp612 StoreManager *ento::CreateRegionStoreManager(ProgramStateManager& StMgr) { argument
614 return new RegionStoreManager(StMgr, F);
618 ento::CreateFieldsOnlyRegionStoreManager(ProgramStateManager &StMgr) { argument
621 return new RegionStoreManager(StMgr, F);

Completed in 2075 milliseconds