| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | ProgramState.cpp | 39 ProgramStateManager &Mgr = s->getStateManager(); in ProgramStateRelease()
76 ProgramStateManager::ProgramStateManager(ASTContext &Ctx, in ProgramStateManager() function in ProgramStateManager
89 ProgramStateManager::~ProgramStateManager() { in ~ProgramStateManager()
96 ProgramStateManager::removeDeadBindings(ProgramStateRef state, in removeDeadBindings()
124 ProgramStateManager &Mgr = getStateManager(); in bindLoc()
137 ProgramStateManager &Mgr = getStateManager(); in bindDefaultInitial()
146 ProgramStateManager &Mgr = getStateManager(); in bindDefaultZero()
194 ProgramStateManager &Mgr = getStateManager(); in invalidateRegionsImpl()
327 ProgramStateManager &SM = getStateManager(); in assumeInBound()
449 ProgramStateManager &Mgr = getStateManager(); in print()
[all …]
|
| H A D | CheckerContext.cpp | 106 ProgramStateManager &Mgr = State->getStateManager(); in evalComparison()
|
| H A D | RegionStore.cpp | 346 RegionStoreManager(ProgramStateManager& mgr, const RegionStoreFeatures &f) in RegionStoreManager()
630 ento::CreateRegionStoreManager(ProgramStateManager &StMgr) { in CreateRegionStoreManager()
636 ento::CreateFieldsOnlyRegionStoreManager(ProgramStateManager &StMgr) { in CreateFieldsOnlyRegionStoreManager()
690 ClusterAnalysis(RegionStoreManager &rm, ProgramStateManager &StateMgr, in ClusterAnalysis()
959 ProgramStateManager &stateMgr, in InvalidateRegionsWorker()
2403 ProgramStateManager &stateMgr, in RemoveDeadBindingsWorker()
|
| H A D | SimpleSValBuilder.cpp | 33 ProgramStateManager &stateMgr) in SimpleSValBuilder()
61 ProgramStateManager &stateMgr) { in createSimpleSValBuilder()
450 ProgramStateManager &StateMgr = State->getStateManager(); in tryRearrange()
|
| H A D | BugReporterVisitors.cpp | 245 ProgramStateManager &Mgr = N->getState()->getStateManager(); in wasRegionOfInterestModifiedAt()
971 ProgramStateManager &StateMgr = BRC.getStateManager(); in visitNodeMaybeUnsuppress()
1241 ProgramStateManager &StateMgr = BRC.getStateManager(); in VisitNode()
1505 ProgramStateManager &StateMgr = N->getState()->getStateManager(); in getLocationRegionIfReference()
1780 ProgramStateManager &StateMgr = N->getState()->getStateManager(); in registerStatementVarDecls()
|
| H A D | Store.cpp | 43 StoreManager::StoreManager(ProgramStateManager &stateMgr) in StoreManager()
|
| H A D | RangeConstraintManager.cpp | 311 ento::CreateRangeConstraintManager(ProgramStateManager &StMgr, SubEngine *Eng) { in CreateRangeConstraintManager()
|
| H A D | Z3ConstraintManager.cpp | 832 ento::CreateZ3ConstraintManager(ProgramStateManager &StMgr, SubEngine *Eng) { in CreateZ3ConstraintManager()
|
| H A D | CallEvent.cpp | 778 ProgramStateManager &StateMgr = getState()->getStateManager(); in getInitialStackFrameContents()
|
| H A D | BugReporter.cpp | 2236 ProgramStateManager&
|
| H A D | ExprEngine.cpp | 323 ProgramStateManager &StateMgr = State->getStateManager(); in createTemporaryRegionIfNeeded()
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | Store.h | 48 class ProgramStateManager; variable
57 ProgramStateManager &StateMgr;
63 StoreManager(ProgramStateManager &stateMgr);
331 CreateRegionStoreManager(ProgramStateManager &StMgr);
333 CreateFieldsOnlyRegionStoreManager(ProgramStateManager &StMgr);
|
| H A D | ConstraintManager.h | 35 class ProgramStateManager; variable
200 CreateRangeConstraintManager(ProgramStateManager &statemgr,
204 CreateZ3ConstraintManager(ProgramStateManager &statemgr, SubEngine *subengine);
|
| H A D | SValBuilder.h | 50 class ProgramStateManager; variable
68 ProgramStateManager &StateMgr;
86 ProgramStateManager &stateMgr) in SValBuilder()
159 ProgramStateManager &getStateManager() { return StateMgr; } in getStateManager()
390 ProgramStateManager &stateMgr);
|
| H A D | ProgramState.h | 44 ProgramStateManager &, SubEngine *);
46 ProgramStateManager &);
83 friend class ProgramStateManager; variable
87 ProgramStateManager *stateMgr;
101 ProgramState(ProgramStateManager *mgr, const Environment& env,
113 ProgramStateManager &getStateManager() const { in getStateManager()
491 class ProgramStateManager {
525 ProgramStateManager(ASTContext &Ctx,
531 ~ProgramStateManager();
|
| H A D | SubEngine.h | 38 class ProgramStateManager; variable
59 virtual ProgramStateManager &getStateManager() = 0;
|
| H A D | ProgramState_Fwd.h | 19 class ProgramStateManager; variable
|
| H A D | CheckerContext.h | 119 ProgramStateManager &getStateManager() { in getStateManager()
|
| H A D | ExprEngine.h | 129 ProgramStateManager StateMgr;
377 ProgramStateManager &getStateManager() override { return StateMgr; } in getStateManager()
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ChrootChecker.cpp | 89 ProgramStateManager &Mgr = state->getStateManager(); in Chroot()
99 ProgramStateManager &Mgr = state->getStateManager(); in Chdir()
|
| H A D | StdLibraryFunctionsChecker.cpp | 243 ProgramStateManager &Mgr = State->getStateManager(); in applyAsOutOfRange()
271 ProgramStateManager &Mgr = State->getStateManager(); in applyAsWithinRange()
322 ProgramStateManager &Mgr = State->getStateManager(); in applyAsComparesToArgument()
|
| H A D | VirtualCallChecker.cpp | 103 ProgramStateManager &PSM = State->getStateManager(); in REGISTER_MAP_WITH_PROGRAMSTATE()
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| H A D | BugReporter.h | 528 ProgramStateManager &getStateManager();
573 ProgramStateManager& getStateManager() { in getStateManager()
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountDiagnostics.cpp | 512 static AllocationInfo GetAllocationSite(ProgramStateManager &StateMgr, in GetAllocationSite()
|