/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | StoreRef.h | 47 const StoreManager &getStoreManager() const { return mgr; } function in class:clang::ento::StoreRef
|
H A D | CheckerContext.h | 63 StoreManager &getStoreManager() { function in class:clang::ento::CheckerContext 64 return Eng.getStoreManager();
|
H A D | ExprEngine.h | 386 StoreManager &getStoreManager() { return StateMgr.getStoreManager(); } function in class:clang::ento::ExprEngine
|
H A D | ProgramState.h | 532 StoreManager &getStoreManager() { return *StoreMgr; } function in class:clang::ento::ProgramStateManager
|
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
H A D | ReturnPointerRangeChecker.cpp | 58 = C.getStoreManager().getSizeInElements(state, ER->getSuperRegion(),
|
H A D | ArrayBoundChecker.cpp | 58 = C.getStoreManager().getSizeInElements(state, ER->getSuperRegion(),
|
H A D | BuiltinFunctionChecker.cpp | 81 MemRegionManager& RM = C.getStoreManager().getRegionManager();
|
H A D | UndefResultChecker.cpp | 53 DefinedOrUnknownSVal NumElements = C.getStoreManager().getSizeInElements(
|
H A D | Taint.cpp | 65 State->getStateManager().getStoreManager().getDefaultBinding(
|
H A D | VforkChecker.cpp | 167 MemRegionManager &M = C.getStoreManager().getRegionManager();
|
H A D | MacOSKeychainAPIChecker.cpp | 214 StoreManager& SM = C.getStoreManager();
|
H A D | CallAndMessageChecker.cpp | 270 FindUninitializedField F(C.getState()->getStateManager().getStoreManager(),
|
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
H A D | ProgramState.cpp | 53 stateMgr->getStoreManager().incrementReferenceCount(store); 63 stateMgr->getStoreManager().incrementReferenceCount(store); 68 stateMgr->getStoreManager().decrementReferenceCount(store); 432 stateMgr->getStoreManager().incrementReferenceCount(newStoreStore); 434 stateMgr->getStoreManager().decrementReferenceCount(store); 451 Mgr.getStoreManager().printJson(Out, getStore(), NL, Space, IsDot); 533 StoreManager &StoreMgr = state->getStateManager().getStoreManager(); 611 StoreManager &StoreMgr = state->getStateManager().getStoreManager();
|
H A D | CheckerContext.cpp | 107 LHSVal = Mgr.getStoreManager().getBinding(State->getStore(),
|
H A D | SValBuilder.cpp | 568 StoreManager &storeMgr = StateMgr.getStoreManager(); 644 StoreManager &storeMgr = StateMgr.getStoreManager();
|
H A D | ExprEngineCXX.cpp | 174 State, loc::MemRegionVal(getStoreManager().GetElementZeroRegion( 477 SVal BaseVal = getStoreManager().evalDerivedToBase(ThisVal, CE->getType(), 810 getStoreManager().GetElementZeroRegion(NewReg, ObjTy);
|
H A D | ExprEngineC.cpp | 441 val = getStoreManager().evalDerivedToBase(val, CastE); 462 val = getStoreManager().attemptDownCast(val, T, Failed); 497 val = getStoreManager().attemptDownCast(val, T, Failed);
|
H A D | SymbolManager.cpp | 561 reapedStore.getStoreManager().includedInBindings(store, VR);
|
H A D | ExprEngineCallAndReturn.cpp | 240 getStoreManager());
|
H A D | ExprEngine.cpp | 338 StoreManager &StoreMgr = StateMgr.getStoreManager(); 717 SymbolReaper SymReaper(SFC, ReferenceStmt, SymMgr, getStoreManager()); 1019 ArgR = getStoreManager().GetElementZeroRegion(cast<SubRegion>(ArgR), DTy); 1037 SVal BaseVal = getStoreManager().evalDerivedToBase(ThisVal, BaseTy,
|
H A D | SimpleSValBuilder.cpp | 1114 Result = StateMgr.getStoreManager().evalDerivedToBase(
|
H A D | CallEvent.cpp | 811 ThisVal = StateMgr.getStoreManager().attemptDownCast(ThisVal, Ty, Failed);
|
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
H A D | MPIChecker.cpp | 163 const auto &Size = Ctx.getStoreManager().getSizeInElements(
|