Home
last modified time | relevance | path

Searched refs:StoreManager (Results 1 – 17 of 17) sorted by relevance

/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
H A DStore.cpp42 StoreManager::StoreManager(ProgramStateManager &stateMgr) in StoreManager() function in StoreManager
46 StoreRef StoreManager::enterStackFrame(Store OldStore, in enterStackFrame()
60 const ElementRegion *StoreManager::MakeElementRegion(const SubRegion *Base, in MakeElementRegion()
67 const ElementRegion *StoreManager::GetElementZeroRegion(const SubRegion *R, in GetElementZeroRegion()
74 const MemRegion *StoreManager::castRegion(const MemRegion *R, QualType CastToTy) { in castRegion()
249 SVal StoreManager::evalDerivedToBase(SVal Derived, const CastExpr *Cast) { in evalDerivedToBase()
265 SVal StoreManager::evalDerivedToBase(SVal Derived, const CXXBasePath &Path) { in evalDerivedToBase()
274 SVal StoreManager::evalDerivedToBase(SVal Derived, QualType BaseType, in evalDerivedToBase()
315 SVal StoreManager::attemptDownCast(SVal Base, QualType TargetType, in attemptDownCast()
397 SVal StoreManager::getLValueFieldOrIvar(const Decl *D, SVal Base) { in getLValueFieldOrIvar()
[all …]
H A DProgramState.cpp202 StoreManager::InvalidatedRegions TopLevelInvalidated; in invalidateRegionsImpl()
203 StoreManager::InvalidatedRegions Invalidated; in invalidateRegionsImpl()
540 StoreManager &StoreMgr = state->getStateManager().getStoreManager(); in scan()
615 StoreManager &StoreMgr = state->getStateManager().getStoreManager(); in scan()
H A DRegionStore.cpp350 class RegionStoreManager : public StoreManager {
381 : StoreManager(mgr), Features(f), in RegionStoreManager()
666 std::unique_ptr<StoreManager>
672 std::unique_ptr<StoreManager>
992 StoreManager::InvalidatedRegions *Regions;
1002 StoreManager::InvalidatedRegions *r, in InvalidateRegionsWorker()
H A DExprEngineCallAndReturn.cpp130 StoreManager &StoreMgr) { in adjustReturnValue()
H A DBugReporterVisitors.cpp1512 const StoreManager &SM = BRC.getStateManager().getStoreManager(); in VisitNode()
1557 StoreManager::FindUniqueBinding FB(V.getAsLocSymbol()); in VisitNode()
H A DExprEngine.cpp338 StoreManager &StoreMgr = StateMgr.getStoreManager(); in createTemporaryRegionIfNeeded()
/netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DStore.h53 class StoreManager {
62 StoreManager(ProgramStateManager &stateMgr);
65 virtual ~StoreManager() = default;
256 virtual bool HandleBinding(StoreManager& SMgr, Store store,
270 bool HandleBinding(StoreManager& SMgr, Store store, const MemRegion* R,
287 inline StoreRef::StoreRef(Store store, StoreManager & smgr) in StoreRef()
316 std::unique_ptr<StoreManager>
318 std::unique_ptr<StoreManager>
H A DStoreRef.h21 class StoreManager; variable
31 StoreManager &mgr;
34 StoreRef(Store store, StoreManager &smgr);
47 const StoreManager &getStoreManager() const { return mgr; } in getStoreManager()
H A DProgramState.h43 typedef std::unique_ptr<StoreManager>(*StoreManagerCreator)(
471 std::unique_ptr<StoreManager> StoreMgr;
539 StoreManager &getStoreManager() { return *StoreMgr; } in getStoreManager()
560 void iterBindings(ProgramStateRef state, StoreManager::BindingsHandler& F) { in iterBindings()
751 StoreManager &SM = *getStateManager().StoreMgr; in getLValue()
H A DSymbolManager.h38 class StoreManager; variable
535 SymbolManager &symmgr, StoreManager &storeMgr) in SymbolReaper()
H A DCheckerContext.h63 StoreManager &getStoreManager() { in getStoreManager()
H A DExprEngine.h417 StoreManager &getStoreManager() { return StateMgr.getStoreManager(); } in getStoreManager()
/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
H A DStackAddrEscapeChecker.cpp303 class CallBack : public StoreManager::BindingsHandler { in checkEndFunction()
313 bool HandleBinding(StoreManager &SMgr, Store S, const MemRegion *Region, in checkEndFunction()
H A DCallAndMessageChecker.cpp244 StoreManager &StoreMgr;
249 FindUninitializedField(StoreManager &storeMgr, MemRegionManager &mrMgr, in FindUninitializedField()
H A DMacOSKeychainAPIChecker.cpp214 StoreManager& SM = C.getStoreManager(); in getAsPointeeSymbol()
/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountDiagnostics.cpp621 class VarBindingsCollector : public StoreManager::BindingsHandler {
629 bool HandleBinding(StoreManager &SMgr, Store Store, const MemRegion *R, in HandleBinding()
689 StoreManager::FindUniqueBinding FB(Sym); in GetAllocationSite()
/netbsd-src/external/apache2/llvm/dist/clang/docs/analyzer/developer-docs/
H A DRegionStore.rst6 can modify the store is its associated StoreManager.
8 Currently (Feb. 2013), the only StoreManager implementation being used is