| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | ProgramState.cpp | 54 stateMgr->getStoreManager().incrementReferenceCount(store); in ProgramState()
64 stateMgr->getStoreManager().incrementReferenceCount(store); in ProgramState()
69 stateMgr->getStoreManager().decrementReferenceCount(store); in ~ProgramState()
435 stateMgr->getStoreManager().incrementReferenceCount(newStoreStore); in setStore()
437 stateMgr->getStoreManager().decrementReferenceCount(store); in setStore()
451 Mgr.getStoreManager().print(getStore(), Out, NL); in print()
549 StoreManager &StoreMgr = state->getStateManager().getStoreManager(); in scan()
627 StoreManager &StoreMgr = state->getStateManager().getStoreManager(); in scan()
|
| H A D | CheckerContext.cpp | 108 LHSVal = Mgr.getStoreManager().getBinding(State->getStore(), in evalComparison()
|
| H A D | ExprEngineCXX.cpp | 175 State, loc::MemRegionVal(getStoreManager().GetElementZeroRegion( in prepareForObjectConstruction()
476 SVal BaseVal = getStoreManager().evalDerivedToBase(ThisVal, CE->getType(), in VisitCXXConstructExpr()
779 getStoreManager().GetElementZeroRegion(NewReg, ObjTy); in VisitCXXNewExpr()
|
| H A D | SValBuilder.cpp | 569 StoreManager &storeMgr = StateMgr.getStoreManager(); in evalCast()
645 StoreManager &storeMgr = StateMgr.getStoreManager(); in evalCast()
|
| H A D | ExprEngineC.cpp | 436 val = getStoreManager().evalDerivedToBase(val, CastE); in VisitCast()
457 val = getStoreManager().attemptDownCast(val, T, Failed); in VisitCast()
492 val = getStoreManager().attemptDownCast(val, T, Failed); in VisitCast()
|
| H A D | SymbolManager.cpp | 558 reapedStore.getStoreManager().includedInBindings(store, VR); in isLive()
|
| H A D | ExprEngine.cpp | 325 StoreManager &StoreMgr = StateMgr.getStoreManager(); in createTemporaryRegionIfNeeded()
667 SymbolReaper SymReaper(SFC, ReferenceStmt, SymMgr, getStoreManager()); in removeDead()
968 ArgR = getStoreManager().GetElementZeroRegion(cast<SubRegion>(ArgR), DTy); in ProcessDeleteDtor()
986 SVal BaseVal = getStoreManager().evalDerivedToBase(ThisVal, BaseTy, in ProcessBaseDtor()
|
| H A D | ExprEngineCallAndReturn.cpp | 240 getStoreManager()); in processCallExit()
|
| H A D | CallEvent.cpp | 793 ThisVal = StateMgr.getStoreManager().attemptDownCast(ThisVal, Ty, Failed); in getInitialStackFrameContents()
|
| H A D | SimpleSValBuilder.cpp | 1107 Result = StateMgr.getStoreManager().evalDerivedToBase( in evalBinOpLN()
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CheckerContext.h | 64 StoreManager &getStoreManager() { in getStoreManager() function
65 return Eng.getStoreManager(); in getStoreManager()
|
| H A D | StoreRef.h | 48 const StoreManager &getStoreManager() const { return mgr; } in getStoreManager() function
|
| H A D | ExprEngine.h | 379 StoreManager &getStoreManager() { return StateMgr.getStoreManager(); } in getStoreManager() function
|
| H A D | ProgramState.h | 564 StoreManager &getStoreManager() { return *StoreMgr; } in getStoreManager() function
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ArrayBoundChecker.cpp | 59 = C.getStoreManager().getSizeInElements(state, ER->getSuperRegion(), in checkLocation()
|
| H A D | ReturnPointerRangeChecker.cpp | 59 = C.getStoreManager().getSizeInElements(state, ER->getSuperRegion(), in checkPreStmt()
|
| H A D | BuiltinFunctionChecker.cpp | 79 MemRegionManager& RM = C.getStoreManager().getRegionManager(); in evalCall()
|
| H A D | VforkChecker.cpp | 168 MemRegionManager &M = C.getStoreManager().getRegionManager(); in checkPostCall()
|
| H A D | UndefResultChecker.cpp | 54 DefinedOrUnknownSVal NumElements = C.getStoreManager().getSizeInElements( in isArrayIndexOutOfBounds()
|
| H A D | StackAddrEscapeChecker.cpp | 323 State->getStateManager().getStoreManager().iterBindings(State->getStore(), in checkEndFunction()
|
| H A D | CallAndMessageChecker.cpp | 278 FindUninitializedField F(C.getState()->getStateManager().getStoreManager(), in PreVisitProcessArg()
|
| H A D | MacOSKeychainAPIChecker.cpp | 212 StoreManager& SM = C.getStoreManager(); in getAsPointeeSymbol()
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| H A D | MPIChecker.cpp | 164 const auto &Size = Ctx.getStoreManager().getSizeInElements( in allRegionsUsedByWait()
|