Searched refs:StMgr (Results 1 – 3 of 3) sorted by relevance
280 CreateRegionStoreManager(ProgramStateManager &StMgr);282 CreateFieldsOnlyRegionStoreManager(ProgramStateManager &StMgr);
332 ento::CreateRangeConstraintManager(ProgramStateManager &StMgr, SubEngine *Eng) { in CreateRangeConstraintManager() argument333 return llvm::make_unique<RangeConstraintManager>(Eng, StMgr.getSValBuilder()); in CreateRangeConstraintManager()
613 ento::CreateRegionStoreManager(ProgramStateManager &StMgr) { in CreateRegionStoreManager() argument615 return llvm::make_unique<RegionStoreManager>(StMgr, F); in CreateRegionStoreManager()619 ento::CreateFieldsOnlyRegionStoreManager(ProgramStateManager &StMgr) { in CreateFieldsOnlyRegionStoreManager() argument622 return llvm::make_unique<RegionStoreManager>(StMgr, F); in CreateFieldsOnlyRegionStoreManager()