Searched refs:StMgr (Results 1 – 8 of 8) sorted by relevance
| /external/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| D | SMTConstraintManager.cpp | 16 ento::CreateZ3ConstraintManager(ProgramStateManager &StMgr, ExprEngine *Eng) { in CreateZ3ConstraintManager() argument
17 return std::make_unique<SMTConstraintManager>(Eng, StMgr.getSValBuilder()); in CreateZ3ConstraintManager()
|
| D | RegionStore.cpp | 668 ento::CreateRegionStoreManager(ProgramStateManager &StMgr) { in CreateRegionStoreManager() argument
670 return std::make_unique<RegionStoreManager>(StMgr, F); in CreateRegionStoreManager()
674 ento::CreateFieldsOnlyRegionStoreManager(ProgramStateManager &StMgr) { in CreateFieldsOnlyRegionStoreManager() argument
677 return std::make_unique<RegionStoreManager>(StMgr, F); in CreateFieldsOnlyRegionStoreManager()
|
| D | RangeConstraintManager.cpp | 1431 ento::CreateRangeConstraintManager(ProgramStateManager &StMgr, in CreateRangeConstraintManager() argument
1433 return std::make_unique<RangeConstraintManager>(Eng, StMgr.getSValBuilder()); in CreateRangeConstraintManager()
|
| /external/llvm-project/clang/unittests/StaticAnalyzer/ |
| D | ParamRegionTest.cpp | 29 StoreManager &StMgr = Eng.getStoreManager(); in performTest() local
30 MemRegionManager &MRMgr = StMgr.getRegionManager(); in performTest()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | Store.h | 280 CreateRegionStoreManager(ProgramStateManager &StMgr);
282 CreateFieldsOnlyRegionStoreManager(ProgramStateManager &StMgr);
|
| /external/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | Store.h | 323 CreateRegionStoreManager(ProgramStateManager &StMgr);
325 CreateFieldsOnlyRegionStoreManager(ProgramStateManager &StMgr);
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | RangeConstraintManager.cpp | 363 ento::CreateRangeConstraintManager(ProgramStateManager &StMgr, SubEngine *Eng) { in CreateRangeConstraintManager() argument
364 return llvm::make_unique<RangeConstraintManager>(Eng, StMgr.getSValBuilder()); in CreateRangeConstraintManager()
|
| D | RegionStore.cpp | 609 ento::CreateRegionStoreManager(ProgramStateManager &StMgr) { in CreateRegionStoreManager() argument
611 return llvm::make_unique<RegionStoreManager>(StMgr, F); in CreateRegionStoreManager()
615 ento::CreateFieldsOnlyRegionStoreManager(ProgramStateManager &StMgr) { in CreateFieldsOnlyRegionStoreManager() argument
618 return llvm::make_unique<RegionStoreManager>(StMgr, F); in CreateFieldsOnlyRegionStoreManager()
|