Searched refs:StoreManager (Results 1 - 14 of 14) sorted by relevance

/freebsd-12-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DStoreRef.h21 class StoreManager;
25 /// memory model. Different subclasses of StoreManager may choose
31 StoreManager &mgr;
34 StoreRef(Store store, StoreManager &smgr);
47 const StoreManager &getStoreManager() const { return mgr; }
H A DStore.h9 // This file defined the types Store and StoreManager.
53 class StoreManager { class in namespace:clang::ento
58 /// MRMgr - Manages region objects associated with this StoreManager.
62 StoreManager(ProgramStateManager &stateMgr);
65 virtual ~StoreManager() = default;
200 /// If the StoreManager supports it, increment the reference count of
204 /// If the StoreManager supports it, decrement the reference count of
244 /// enterStackFrame - Let the StoreManager to do something when execution
264 virtual bool HandleBinding(StoreManager& SMgr, Store store,
278 bool HandleBinding(StoreManager
[all...]
H A DProgramState.h43 typedef std::unique_ptr<StoreManager>(*StoreManagerCreator)(
464 std::unique_ptr<StoreManager> StoreMgr;
532 StoreManager &getStoreManager() { return *StoreMgr; }
553 void iterBindings(ProgramStateRef state, StoreManager::BindingsHandler& F) {
744 StoreManager &SM = *getStateManager().StoreMgr;
H A DCheckerContext.h63 StoreManager &getStoreManager() {
H A DSymbolManager.h38 class StoreManager;
578 SymbolManager &symmgr, StoreManager &storeMgr)
621 /// StoreManager::removeDeadBindings has been called.
H A DExprEngine.h386 StoreManager &getStoreManager() { return StateMgr.getStoreManager(); }
/freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DStore.cpp9 // This file defined the types Store and StoreManager.
42 StoreManager::StoreManager(ProgramStateManager &stateMgr) function in class:StoreManager
46 StoreRef StoreManager::enterStackFrame(Store OldStore,
60 const ElementRegion *StoreManager::MakeElementRegion(const SubRegion *Base,
67 const ElementRegion *StoreManager::GetElementZeroRegion(const SubRegion *R,
74 const MemRegion *StoreManager::castRegion(const MemRegion *R, QualType CastToTy) {
248 SVal StoreManager::evalDerivedToBase(SVal Derived, const CastExpr *Cast) {
264 SVal StoreManager::evalDerivedToBase(SVal Derived, const CXXBasePath &Path) {
273 SVal StoreManager
[all...]
H A DProgramState.cpp202 StoreManager::InvalidatedRegions TopLevelInvalidated;
203 StoreManager::InvalidatedRegions Invalidated;
533 StoreManager &StoreMgr = state->getStateManager().getStoreManager();
611 StoreManager &StoreMgr = state->getStateManager().getStoreManager();
H A DSValBuilder.cpp568 StoreManager &storeMgr = StateMgr.getStoreManager();
644 StoreManager &storeMgr = StateMgr.getStoreManager();
H A DRegionStore.cpp350 class RegionStoreManager : public StoreManager {
381 : StoreManager(mgr), Features(f),
527 /// If the StoreManager supports it, decrement the reference count of
675 std::unique_ptr<StoreManager>
681 std::unique_ptr<StoreManager>
1001 StoreManager::InvalidatedRegions *Regions;
1011 StoreManager::InvalidatedRegions *r,
H A DExprEngineCallAndReturn.cpp127 StoreManager &StoreMgr) {
H A DExprEngine.cpp338 StoreManager &StoreMgr = StateMgr.getStoreManager();
/freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DCallAndMessageChecker.cpp197 StoreManager &StoreMgr;
202 FindUninitializedField(StoreManager &storeMgr, MemRegionManager &mrMgr,
H A DMacOSKeychainAPIChecker.cpp214 StoreManager& SM = C.getStoreManager();

Completed in 192 milliseconds