| /openbsd/src/gnu/llvm/clang/lib/StaticAnalyzer/Core/ |
| D | ProgramState.cpp | 39 ProgramStateManager &Mgr = s->getStateManager(); in ProgramStateRelease()
47 ProgramState::ProgramState(ProgramStateManager *mgr, const Environment& env, in ProgramState()
72 ProgramStateManager::ProgramStateManager(ASTContext &Ctx, in ProgramStateManager() function in ProgramStateManager
85 ProgramStateManager::~ProgramStateManager() { in ~ProgramStateManager()
91 ProgramStateRef ProgramStateManager::removeDeadBindingsFromEnvironmentAndStore( in removeDeadBindingsFromEnvironmentAndStore()
118 ProgramStateManager &Mgr = getStateManager(); in bindLoc()
131 ProgramStateManager &Mgr = getStateManager(); in bindDefaultInitial()
140 ProgramStateManager &Mgr = getStateManager(); in bindDefaultZero()
188 ProgramStateManager &Mgr = getStateManager(); in invalidateRegionsImpl()
326 ProgramStateManager &SM = getStateManager(); in assumeInBoundDual()
[all …]
|
| D | SMTConstraintManager.cpp | 15 ento::CreateZ3ConstraintManager(ProgramStateManager &StMgr, ExprEngine *Eng) { in CreateZ3ConstraintManager()
|
| D | CheckerContext.cpp | 129 ProgramStateManager &Mgr = State->getStateManager(); in evalComparison()
|
| D | SimpleSValBuilder.cpp | 63 ProgramStateManager &stateMgr) in SimpleSValBuilder()
88 ProgramStateManager &stateMgr) { in createSimpleSValBuilder()
355 ProgramStateManager &StateMgr = State->getStateManager(); in tryRearrange()
|
| D | RegionStore.cpp | 369 RegionStoreManager(ProgramStateManager &mgr) in RegionStoreManager()
671 ento::CreateRegionStoreManager(ProgramStateManager &StMgr) { in CreateRegionStoreManager()
722 ClusterAnalysis(RegionStoreManager &rm, ProgramStateManager &StateMgr, in ClusterAnalysis()
991 ProgramStateManager &stateMgr, in InvalidateRegionsWorker()
2762 ProgramStateManager &stateMgr, in RemoveDeadBindingsWorker()
|
| D | Store.cpp | 42 StoreManager::StoreManager(ProgramStateManager &stateMgr) in StoreManager()
|
| D | BugReporterVisitors.cpp | 295 ProgramStateManager &Mgr = N->getState()->getStateManager(); in wasRegionOfInterestModifiedAt()
1137 ProgramStateManager &StateMgr = BRC.getStateManager(); in visitNodeMaybeUnsuppress()
1633 ProgramStateManager &StateMgr = BRC.getStateManager(); in VisitNode()
|
| D | SValBuilder.cpp | 53 ProgramStateManager &stateMgr) in SValBuilder()
|
| D | CallEvent.cpp | 795 ProgramStateManager &StateMgr = getState()->getStateManager(); in getInitialStackFrameContents()
|
| D | BugReporter.cpp | 2462 ProgramStateManager &PathSensitiveBugReporter::getStateManager() const { in getStateManager()
|
| D | RangeConstraintManager.cpp | 2254 ento::CreateRangeConstraintManager(ProgramStateManager &StMgr, in CreateRangeConstraintManager()
|
| D | ExprEngine.cpp | 347 ProgramStateManager &StateMgr = State->getStateManager(); in createTemporaryRegionIfNeeded()
|
| /openbsd/src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ConstraintManager.h | 34 class ProgramStateManager; variable
172 CreateRangeConstraintManager(ProgramStateManager &statemgr,
176 CreateZ3ConstraintManager(ProgramStateManager &statemgr,
|
| D | Store.h | 47 class ProgramStateManager; variable
56 ProgramStateManager &StateMgr;
62 StoreManager(ProgramStateManager &stateMgr);
319 CreateRegionStoreManager(ProgramStateManager &StMgr);
|
| D | SValBuilder.h | 50 class ProgramStateManager; variable
68 ProgramStateManager &StateMgr;
80 ProgramStateManager &stateMgr);
139 ProgramStateManager &getStateManager() { return StateMgr; } in getStateManager()
396 ProgramStateManager &stateMgr);
|
| D | ProgramState.h | 43 ProgramStateManager &, ExprEngine *);
45 ProgramStateManager &);
79 friend class ProgramStateManager; variable
84 ProgramStateManager *stateMgr;
135 ProgramState(ProgramStateManager *mgr, const Environment& env,
147 ProgramStateManager &getStateManager() const { in getStateManager()
503 class ProgramStateManager {
536 ProgramStateManager(ASTContext &Ctx,
542 ~ProgramStateManager();
|
| D | ProgramState_Fwd.h | 18 class ProgramStateManager; variable
|
| D | ExprEngine.h | 91 class ProgramStateManager; variable
151 ProgramStateManager StateMgr;
418 ProgramStateManager &getStateManager() { return StateMgr; } in getStateManager()
|
| D | CheckerContext.h | 123 ProgramStateManager &getStateManager() { in getStateManager()
|
| /openbsd/src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/ |
| D | ChrootChecker.cpp | 81 ProgramStateManager &Mgr = state->getStateManager(); in evalChroot()
91 ProgramStateManager &Mgr = state->getStateManager(); in evalChdir()
|
| D | StdLibraryFunctionsChecker.cpp | 778 ProgramStateManager &Mgr = State->getStateManager(); in getBVF()
866 ProgramStateManager &Mgr = State->getStateManager(); in applyAsOutOfRange()
895 ProgramStateManager &Mgr = State->getStateManager(); in applyAsWithinRange()
952 ProgramStateManager &Mgr = State->getStateManager(); in apply()
|
| /openbsd/src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| D | BugReporter.h | 686 ProgramStateManager &getStateManager() const;
713 ProgramStateManager& getStateManager() const { in getStateManager()
|
| /openbsd/src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| D | RetainCountDiagnostics.cpp | 638 Bindings getAllVarBindingsForSymbol(ProgramStateManager &Manager, in getAllVarBindingsForSymbol()
667 static AllocationInfo GetAllocationSite(ProgramStateManager &StateMgr, in GetAllocationSite()
|