Home
last modified time | relevance | path

Searched refs:getStoreManager (Results 1 – 21 of 21) sorted by relevance

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DProgramState.cpp53 stateMgr->getStoreManager().incrementReferenceCount(store); in ProgramState()
59 stateMgr->getStoreManager().incrementReferenceCount(store); in ProgramState()
64 stateMgr->getStoreManager().decrementReferenceCount(store); in ~ProgramState()
227 StoreManager &SM = getStateManager().getStoreManager(); in wrapSymbolicRegion()
460 stateMgr->getStoreManager().incrementReferenceCount(newStoreStore); in setStore()
462 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 DCheckerContext.cpp146 LHSVal = Mgr.getStoreManager().getBinding(State->getStore(), in evalComparison()
H A DExprEngineC.cpp460 val = getStoreManager().evalDerivedToBase(val, CastE); in VisitCast()
479 StateMgr.getStoreManager().evalBaseToDerived(val, T)) { in VisitCast()
516 std::optional<SVal> V = getStoreManager().evalBaseToDerived(val, T); in VisitCast()
H A DSymbolManager.cpp444 reapedStore.getStoreManager().includedInBindings(store, VR); in isLive()
H A DExprEngine.cpp351 StoreManager &StoreMgr = StateMgr.getStoreManager(); in createTemporaryRegionIfNeeded()
1058 SymbolReaper SymReaper(SFC, ReferenceStmt, SymMgr, getStoreManager()); in removeDead()
1230 SVal BaseLoc = getStoreManager().evalDerivedToBase( in ProcessInitializer()
1498 SVal BaseVal = getStoreManager().evalDerivedToBase(ThisVal, BaseTy, in ProcessBaseDtor()
3528 loc::MemRegionVal(getStoreManager().GetElementZeroRegion(SR, T)); in VisitMemberExpr()
H A DSValBuilder.cpp308 if (auto OptR = StateMgr.getStoreManager().castRegion(R, Ty)) in getCastedMemRegionVal()
H A DExprEngineCallAndReturn.cpp303 getStoreManager()); in processCallExit()
H A DExprEngineCXX.cpp680 getStoreManager().evalDerivedToBase(ThisVal, E->getType(), IsVirtual); in handleConstructor()
H A DCallEvent.cpp850 StateMgr.getStoreManager().evalBaseToDerived(ThisVal, Ty); in getInitialStackFrameContents()
H A DSimpleSValBuilder.cpp1094 Result = StateMgr.getStoreManager().evalDerivedToBase( in evalBinOpLN()
H A DBugReporterVisitors.cpp1666 const StoreManager &SM = BRC.getStateManager().getStoreManager(); in VisitNode()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DStoreRef.h47 const StoreManager &getStoreManager() const { return mgr; } in getStoreManager() function
H A DCheckerContext.h66 StoreManager &getStoreManager() { in getStoreManager() function
67 return Eng.getStoreManager(); in getStoreManager()
H A DExprEngine.h420 StoreManager &getStoreManager() { return StateMgr.getStoreManager(); } in getStoreManager() function
H A DProgramState.h574 StoreManager &getStoreManager() { return *StoreMgr; } in getStoreManager() function
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DNoOwnershipChangeVisitor.cpp57 State->getStateManager().getStoreManager().iterBindings(State->getStore(), in getOwnersAtNode()
H A DTaint.cpp69 State->getStateManager().getStoreManager().getDefaultBinding( in addTaint()
212 StoreManager &StoreMgr = State->getStateManager().getStoreManager(); in getTaintedSymbolsImpl()
H A DMacOSKeychainAPIChecker.cpp209 StoreManager& SM = C.getStoreManager(); in getAsPointeeSymbol()
H A DStackAddrEscapeChecker.cpp573 State->getStateManager().getStoreManager().iterBindings(State->getStore(), in checkEndFunction()
H A DCallAndMessageChecker.cpp320 FindUninitializedField F(C.getState()->getStateManager().getStoreManager(), in PreVisitProcessArg()
H A DStreamChecker.cpp910 auto &StoreMgr = C.getStoreManager(); in assumeNoAliasingWithStdStreams()