Searched refs:StMgr (Results 1 – 3 of 3) sorted by relevance
280 CreateRegionStoreManager(ProgramStateManager &StMgr);282 CreateFieldsOnlyRegionStoreManager(ProgramStateManager &StMgr);
363 ento::CreateRangeConstraintManager(ProgramStateManager &StMgr, SubEngine *Eng) { in CreateRangeConstraintManager() argument364 return llvm::make_unique<RangeConstraintManager>(Eng, StMgr.getSValBuilder()); in CreateRangeConstraintManager()
609 ento::CreateRegionStoreManager(ProgramStateManager &StMgr) { in CreateRegionStoreManager() argument611 return llvm::make_unique<RegionStoreManager>(StMgr, F); in CreateRegionStoreManager()615 ento::CreateFieldsOnlyRegionStoreManager(ProgramStateManager &StMgr) { in CreateFieldsOnlyRegionStoreManager() argument618 return llvm::make_unique<RegionStoreManager>(StMgr, F); in CreateFieldsOnlyRegionStoreManager()