Home
last modified time | relevance | path

Searched refs:StMgr (Results 1 – 5 of 5) sorted by relevance

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DSMTConstraintManager.cpp15 ento::CreateZ3ConstraintManager(ProgramStateManager &StMgr, ExprEngine *Eng) { in CreateZ3ConstraintManager() argument
16 return std::make_unique<SMTConstraintManager>(Eng, StMgr.getSValBuilder()); in CreateZ3ConstraintManager()
H A DRegionStore.cpp665 ento::CreateRegionStoreManager(ProgramStateManager &StMgr) { in CreateRegionStoreManager() argument
666 return std::make_unique<RegionStoreManager>(StMgr); in CreateRegionStoreManager()
H A DRangeConstraintManager.cpp2193 ento::CreateRangeConstraintManager(ProgramStateManager &StMgr, in CreateRangeConstraintManager() argument
2195 return std::make_unique<RangeConstraintManager>(Eng, StMgr.getSValBuilder()); in CreateRangeConstraintManager()
/llvm-project-15.0.7/clang/unittests/StaticAnalyzer/
H A DParamRegionTest.cpp29 StoreManager &StMgr = Eng.getStoreManager(); in performTest() local
30 MemRegionManager &MRMgr = StMgr.getRegionManager(); in performTest()
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DStore.h318 CreateRegionStoreManager(ProgramStateManager &StMgr);