| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | Store.cpp | 41 StoreManager::StoreManager(ProgramStateManager &stateMgr) in StoreManager() function in StoreManager
45 BindResult StoreManager::enterStackFrame(Store OldStore, const CallEvent &Call, in enterStackFrame()
62 const ElementRegion *StoreManager::MakeElementRegion(const SubRegion *Base, in MakeElementRegion()
69 const ElementRegion *StoreManager::GetElementZeroRegion(const SubRegion *R, in GetElementZeroRegion()
76 std::optional<const MemRegion *> StoreManager::castRegion(const MemRegion *R, in castRegion()
254 SVal StoreManager::evalDerivedToBase(SVal Derived, const CastExpr *Cast) { in evalDerivedToBase()
268 SVal StoreManager::evalDerivedToBase(SVal Derived, const CXXBasePath &Path) { in evalDerivedToBase()
277 SVal StoreManager::evalDerivedToBase(SVal Derived, QualType BaseType, in evalDerivedToBase()
318 std::optional<SVal> StoreManager::evalBaseToDerived(SVal Base, in evalBaseToDerived()
400 SVal StoreManager::getLValueFieldOrIvar(const Decl *D, SVal Base) { in getLValueFieldOrIvar()
[all …]
|
| H A D | ProgramState.cpp | 180 StoreManager::InvalidatedRegions TopLevelInvalidated; in invalidateRegions()
181 StoreManager::InvalidatedRegions Invalidated; in invalidateRegions()
227 StoreManager &SM = getStateManager().getStoreManager(); in wrapSymbolicRegion()
473 StoreManager &SM = *getStateManager().StoreMgr; in getLValue()
581 StoreManager &StoreMgr = state->getStateManager().getStoreManager(); in scan()
654 StoreManager &StoreMgr = state->getStateManager().getStoreManager(); in scan()
|
| H A D | RegionStore.cpp | 472 class RegionStoreManager : public StoreManager {
521 : StoreManager(mgr), RBFactory(mgr.getAllocator()), in RegionStoreManager()
839 std::unique_ptr<StoreManager>
1153 StoreManager::InvalidatedRegions *Regions;
1161 StoreManager::InvalidatedRegions *r, in InvalidateRegionsWorker()
|
| H A D | ExprEngineCallAndReturn.cpp | 127 StoreManager &StoreMgr) { in adjustReturnValue()
|
| H A D | BugReporterVisitors.cpp | 1666 const StoreManager &SM = BRC.getStateManager().getStoreManager(); in VisitNode()
1711 StoreManager::FindUniqueBinding FB(V.getAsLocSymbol()); in VisitNode()
|
| H A D | ExprEngine.cpp | 351 StoreManager &StoreMgr = StateMgr.getStoreManager(); in createTemporaryRegionIfNeeded()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | StoreRef.h | 21 class StoreManager; variable
31 StoreManager &mgr;
34 StoreRef(Store store, StoreManager &smgr);
47 const StoreManager &getStoreManager() const { return mgr; } in getStoreManager()
|
| H A D | Store.h | 61 class StoreManager {
70 StoreManager(ProgramStateManager &stateMgr);
73 virtual ~StoreManager() = default;
268 virtual bool HandleBinding(StoreManager& SMgr, Store store,
282 bool HandleBinding(StoreManager& SMgr, Store store, const MemRegion* R,
299 inline StoreRef::StoreRef(Store store, StoreManager & smgr) in StoreRef()
328 std::unique_ptr<StoreManager>
|
| H A D | ProgramState.h | 44 typedef std::unique_ptr<StoreManager>(*StoreManagerCreator)(
506 std::unique_ptr<StoreManager> StoreMgr;
574 StoreManager &getStoreManager() { return *StoreMgr; } in getStoreManager()
595 void iterBindings(ProgramStateRef state, StoreManager::BindingsHandler& F) { in iterBindings()
|
| H A D | CheckerContext.h | 66 StoreManager &getStoreManager() { in getStoreManager()
|
| H A D | SymbolManager.h | 41 class StoreManager; variable
596 SymbolManager &symmgr, StoreManager &storeMgr) in SymbolReaper()
|
| H A D | ExprEngine.h | 420 StoreManager &getStoreManager() { return StateMgr.getStoreManager(); } in getStoreManager()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | NoOwnershipChangeVisitor.cpp | 24 class OwnershipBindingsHandler : public StoreManager::BindingsHandler {
32 bool HandleBinding(StoreManager &SMgr, Store Store, const MemRegion *Region, in HandleBinding()
|
| H A D | StackAddrEscapeChecker.cpp | 479 class CallBack : public StoreManager::BindingsHandler { in checkEndFunction()
546 bool HandleBinding(StoreManager &SMgr, Store S, const MemRegion *Region, in checkEndFunction()
|
| H A D | CallAndMessageChecker.cpp | 241 StoreManager &StoreMgr;
246 FindUninitializedField(StoreManager &storeMgr, MemRegionManager &mrMgr, in FindUninitializedField()
|
| H A D | Taint.cpp | 212 StoreManager &StoreMgr = State->getStateManager().getStoreManager(); in getTaintedSymbolsImpl()
|
| H A D | MacOSKeychainAPIChecker.cpp | 209 StoreManager& SM = C.getStoreManager(); in getAsPointeeSymbol()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountDiagnostics.cpp | 616 class VarBindingsCollector : public StoreManager::BindingsHandler {
624 bool HandleBinding(StoreManager &SMgr, Store Store, const MemRegion *R, in HandleBinding()
686 StoreManager::FindUniqueBinding FB(Sym); in GetAllocationSite()
|
| /freebsd/contrib/llvm-project/llvm/include/llvm/Testing/Demangle/ |
| H A D | DemangleTestCases.inc | 6601 …ento::GRStateManager::GRStateManager(clang::ASTContext&, clang::ento::StoreManager* (*)(clang::ent…
6854 …oid*, clang::ento::ExprEngine&)::CallBack::HandleBinding(clang::ento::StoreManager&, void const*, …
7018 {"_ZN5clang4ento12StoreManager15BindingsHandlerD0Ev", "clang::ento::StoreManager::BindingsHandler::…
7019 {"_ZN5clang4ento12StoreManager15BindingsHandlerD1Ev", "clang::ento::StoreManager::BindingsHandler::…
7020 {"_ZN5clang4ento12StoreManager15BindingsHandlerD2Ev", "clang::ento::StoreManager::BindingsHandler::…
7035 …namespace)::BasicStoreManager::iterBindings(void const*, clang::ento::StoreManager::BindingsHandle…
7042 …reManager11BindDefaultEPKvPKNS0_9MemRegionENS0_4SValE", "clang::ento::StoreManager::BindDefault(vo…
7043 …r12getLValueVarEPKNS_7VarDeclEPKNS_15LocationContextE", "clang::ento::StoreManager::getLValueVar(c…
7044 {"_ZN5clang4ento12StoreManager15getLValueStringEPKNS_13StringLiteralE", "clang::ento::StoreManager:…
7045 …Manager13getLValueIvarEPKNS_12ObjCIvarDeclENS0_4SValE", "clang::ento::StoreManager::getLValueIvar(…
[all …]
|