Home
last modified time | relevance | path

Searched defs:StMgr (Results 1 – 4 of 4) sorted by relevance

/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DSMTConstraintManager.cpp15 ento::CreateZ3ConstraintManager(ProgramStateManager &StMgr, ExprEngine *Eng) { in CreateZ3ConstraintManager()
H A DRegionStore.cpp670 CreateRegionStoreManager(ProgramStateManager & StMgr) CreateRegionStoreManager() argument
H A DRangeConstraintManager.cpp2260 CreateRangeConstraintManager(ProgramStateManager & StMgr,ExprEngine * Eng) CreateRangeConstraintManager() argument
/llvm-project/clang/unittests/StaticAnalyzer/
H A DParamRegionTest.cpp29 StoreManager &StMgr = Eng.getStoreManager(); in performTest() local