Searched refs:StMgr (Results 1 - 4 of 4) sorted by relevance

/freebsd-13-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DSMTConstraintManager.cpp16 ento::CreateZ3ConstraintManager(ProgramStateManager &StMgr, ExprEngine *Eng) { argument
17 return std::make_unique<SMTConstraintManager>(Eng, StMgr.getSValBuilder());
H A DRegionStore.cpp668 ento::CreateRegionStoreManager(ProgramStateManager &StMgr) { argument
670 return std::make_unique<RegionStoreManager>(StMgr, F);
674 ento::CreateFieldsOnlyRegionStoreManager(ProgramStateManager &StMgr) { argument
677 return std::make_unique<RegionStoreManager>(StMgr, F);
H A DRangeConstraintManager.cpp995 ento::CreateRangeConstraintManager(ProgramStateManager &StMgr,
997 return std::make_unique<RangeConstraintManager>(Eng, StMgr.getSValBuilder());
/freebsd-13-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DStore.h323 CreateRegionStoreManager(ProgramStateManager &StMgr);
325 CreateFieldsOnlyRegionStoreManager(ProgramStateManager &StMgr);

Completed in 126 milliseconds