| /freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | ProgramState.cpp | 38 ProgramStateManager &Mgr = s->getStateManager(); in ProgramStateRelease()
75 ProgramStateManager::ProgramStateManager(ASTContext &Ctx, in ProgramStateManager() function in ProgramStateManager
88 ProgramStateManager::~ProgramStateManager() { in ~ProgramStateManager()
121 ProgramStateManager &Mgr = getStateManager(); in bindLoc()
134 ProgramStateManager &Mgr = getStateManager(); in bindDefaultInitial()
143 ProgramStateManager &Mgr = getStateManager(); in bindDefaultZero()
191 ProgramStateManager &Mgr = getStateManager(); in invalidateRegionsImpl()
331 ProgramStateManager &SM = getStateManager(); in assumeInBound()
400 ProgramStateRef ProgramStateManager::getPersistentStateWithGDM( in getPersistentStateWithGDM()
455 ProgramStateManager &Mgr = getStateManager(); in printJson()
[all …]
|
| H A D | SMTConstraintManager.cpp | 16 ento::CreateZ3ConstraintManager(ProgramStateManager &StMgr, ExprEngine *Eng) { in CreateZ3ConstraintManager()
|
| H A D | CheckerContext.cpp | 109 ProgramStateManager &Mgr = State->getStateManager(); in evalComparison()
|
| H A D | SimpleSValBuilder.cpp | 27 ProgramStateManager &stateMgr) in SimpleSValBuilder()
55 ProgramStateManager &stateMgr) { in createSimpleSValBuilder()
317 ProgramStateManager &StateMgr = State->getStateManager(); in tryRearrange()
|
| H A D | RegionStore.cpp | 380 RegionStoreManager(ProgramStateManager& mgr, const RegionStoreFeatures &f) in RegionStoreManager()
667 ento::CreateRegionStoreManager(ProgramStateManager &StMgr) { in CreateRegionStoreManager()
673 ento::CreateFieldsOnlyRegionStoreManager(ProgramStateManager &StMgr) { in CreateFieldsOnlyRegionStoreManager()
727 ClusterAnalysis(RegionStoreManager &rm, ProgramStateManager &StateMgr, in ClusterAnalysis()
996 ProgramStateManager &stateMgr, in InvalidateRegionsWorker()
2468 ProgramStateManager &stateMgr, in RemoveDeadBindingsWorker()
|
| H A D | Store.cpp | 42 StoreManager::StoreManager(ProgramStateManager &stateMgr) in StoreManager()
|
| H A D | BugReporterVisitors.cpp | 291 ProgramStateManager &Mgr = N->getState()->getStateManager(); in wasRegionOfInterestModifiedAt()
1084 ProgramStateManager &StateMgr = BRC.getStateManager(); in visitNodeMaybeUnsuppress()
1421 ProgramStateManager &StateMgr = BRC.getStateManager(); in VisitNode()
|
| H A D | CallEvent.cpp | 830 ProgramStateManager &StateMgr = getState()->getStateManager(); in getInitialStackFrameContents()
|
| H A D | RangeConstraintManager.cpp | 1752 ento::CreateRangeConstraintManager(ProgramStateManager &StMgr, in CreateRangeConstraintManager()
|
| H A D | BugReporter.cpp | 2454 ProgramStateManager &PathSensitiveBugReporter::getStateManager() const { in getStateManager()
|
| H A D | ExprEngine.cpp | 336 ProgramStateManager &StateMgr = State->getStateManager(); in createTemporaryRegionIfNeeded()
|
| /freebsd-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | Store.h | 47 class ProgramStateManager; variable
56 ProgramStateManager &StateMgr;
62 StoreManager(ProgramStateManager &stateMgr);
318 CreateRegionStoreManager(ProgramStateManager &StMgr);
320 CreateFieldsOnlyRegionStoreManager(ProgramStateManager &StMgr);
|
| H A D | ConstraintManager.h | 34 class ProgramStateManager; variable
195 CreateRangeConstraintManager(ProgramStateManager &statemgr,
199 CreateZ3ConstraintManager(ProgramStateManager &statemgr,
|
| H A D | ProgramState.h | 42 ProgramStateManager &, ExprEngine *);
44 ProgramStateManager &);
80 friend class ProgramStateManager; variable
84 ProgramStateManager *stateMgr;
98 ProgramState(ProgramStateManager *mgr, const Environment& env,
110 ProgramStateManager &getStateManager() const { in getStateManager()
463 class ProgramStateManager {
496 ProgramStateManager(ASTContext &Ctx,
502 ~ProgramStateManager();
|
| H A D | SValBuilder.h | 49 class ProgramStateManager; variable
67 ProgramStateManager &StateMgr;
99 ProgramStateManager &stateMgr) in SValBuilder()
172 ProgramStateManager &getStateManager() { return StateMgr; } in getStateManager()
415 ProgramStateManager &stateMgr);
|
| H A D | ProgramState_Fwd.h | 18 class ProgramStateManager; variable
|
| H A D | ExprEngine.h | 94 class ProgramStateManager; variable
153 ProgramStateManager StateMgr;
415 ProgramStateManager &getStateManager() { return StateMgr; } in getStateManager()
|
| H A D | CheckerContext.h | 120 ProgramStateManager &getStateManager() { in getStateManager()
|
| /freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ChrootChecker.cpp | 80 ProgramStateManager &Mgr = state->getStateManager(); in evalChroot()
90 ProgramStateManager &Mgr = state->getStateManager(); in evalChdir()
|
| H A D | StdLibraryFunctionsChecker.cpp | 615 ProgramStateManager &Mgr = State->getStateManager(); in getBVF()
699 ProgramStateManager &Mgr = State->getStateManager(); in applyAsOutOfRange()
728 ProgramStateManager &Mgr = State->getStateManager(); in applyAsWithinRange()
785 ProgramStateManager &Mgr = State->getStateManager(); in apply()
|
| /freebsd-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| H A D | BugReporter.h | 688 ProgramStateManager &getStateManager() const;
715 ProgramStateManager& getStateManager() const { in getStateManager()
|
| /freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountDiagnostics.cpp | 642 Bindings getAllVarBindingsForSymbol(ProgramStateManager &Manager, in getAllVarBindingsForSymbol()
671 static AllocationInfo GetAllocationSite(ProgramStateManager &StateMgr, in GetAllocationSite()
|