Searched refs:getStoreManager (Results 1 – 15 of 15) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | ProgramState.cpp | 54 stateMgr->getStoreManager().incrementReferenceCount(store); in ProgramState()
60 stateMgr->getStoreManager().incrementReferenceCount(store); in ProgramState()
65 stateMgr->getStoreManager().decrementReferenceCount(store); in ~ProgramState()
238 StoreManager &SM = getStateManager().getStoreManager(); in wrapSymbolicRegion()
462 stateMgr->getStoreManager().incrementReferenceCount(newStoreStore); in setStore()
464 stateMgr->getStoreManager().decrementReferenceCount(store); in setStore()
499 Mgr.getStoreManager().printJson(Out, getStore(), NL, Space, IsDot); in printJson()
581 StoreManager &StoreMgr = state->getStateManager().getStoreManager(); in scan()
654 StoreManager &StoreMgr = state->getStateManager().getStoreManager(); in scan()
|
| H A D | CheckerContext.cpp | 146 LHSVal = Mgr.getStoreManager().getBinding(State->getStore(), in evalComparison()
|
| H A D | ExprEngineC.cpp | 424 val = getStoreManager().evalDerivedToBase(val, CastE); in VisitCast()
443 StateMgr.getStoreManager().evalBaseToDerived(val, T)) { in VisitCast()
480 std::optional<SVal> V = getStoreManager().evalBaseToDerived(val, T); in VisitCast()
|
| H A D | SymbolManager.cpp | 567 reapedStore.getStoreManager().includedInBindings(store, VR); in isLive()
|
| H A D | ExprEngine.cpp | 350 StoreManager &StoreMgr = StateMgr.getStoreManager(); in createTemporaryRegionIfNeeded()
1057 SymbolReaper SymReaper(SFC, ReferenceStmt, SymMgr, getStoreManager()); in removeDead()
1229 SVal BaseLoc = getStoreManager().evalDerivedToBase( in ProcessInitializer()
1497 SVal BaseVal = getStoreManager().evalDerivedToBase(ThisVal, BaseTy, in ProcessBaseDtor()
3403 loc::MemRegionVal(getStoreManager().GetElementZeroRegion(SR, T)); in VisitMemberExpr()
|
| H A D | ExprEngineCallAndReturn.cpp | 308 getStoreManager()); in processCallExit()
|
| H A D | ExprEngineCXX.cpp | 714 getStoreManager().evalDerivedToBase(ThisVal, E->getType(), IsVirtual); in handleConstructor()
|
| H A D | CallEvent.cpp | 838 StateMgr.getStoreManager().evalBaseToDerived(ThisVal, Ty); in getInitialStackFrameContents()
|
| H A D | BugReporterVisitors.cpp | 1714 const StoreManager &SM = BRC.getStateManager().getStoreManager(); in VisitNode()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | StoreRef.h | 47 const StoreManager &getStoreManager() const { return mgr; } in getStoreManager() function
|
| H A D | CheckerContext.h | 64 StoreManager &getStoreManager() { in getStoreManager() function
65 return Eng.getStoreManager(); in getStoreManager()
|
| H A D | ExprEngine.h | 412 StoreManager &getStoreManager() { return StateMgr.getStoreManager(); } in getStoreManager() function
|
| H A D | ProgramState.h | 581 StoreManager &getStoreManager() { return *StoreMgr; } in getStoreManager() function
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | NoOwnershipChangeVisitor.cpp | 57 State->getStateManager().getStoreManager().iterBindings(State->getStore(), in getOwnersAtNode()
|
| H A D | Taint.cpp | 69 State->getStateManager().getStoreManager().getDefaultBinding( in addTaint()
|