| /freebsd-13-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ProgramState.h | 110 ProgramStateManager &getStateManager() const { function in class:clang::ento::ProgramState
663 return getStateManager().getRegionManager().getVarRegion(D, LC);
671 return getStateManager().ConstraintMgr
680 return getStateManager().ConstraintMgr
692 return getStateManager().ConstraintMgr->assumeInclusiveRange(
705 return getStateManager().ConstraintMgr->assumeInclusiveRangeDual(
719 getStateManager().getRegionManager().getCXXBaseObjectRegion(
727 getStateManager().getRegionManager().getCXXBaseObjectRegion(
733 return getStateManager().StoreMgr->getLValueVar(VD, LC);
738 return getStateManager()
[all...] |
| H A D | CheckerContext.h | 120 ProgramStateManager &getStateManager() { function in class:clang::ento::CheckerContext
121 return Eng.getStateManager();
|
| H A D | CallEvent.h | 248 getState()->getStateManager().getContext().getSourceManager();
1458 CallEventManager &Mgr = State->getStateManager().getCallEventManager();
1474 CallEventManager &Mgr = State->getStateManager().getCallEventManager();
|
| /freebsd-13-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | ProgramState.cpp | 38 ProgramStateManager &Mgr = s->getStateManager();
72 return getStateManager().Alloc.identifyKnownAlignedObject<ProgramState>(this);
121 ProgramStateManager &Mgr = getStateManager();
134 ProgramStateManager &Mgr = getStateManager();
143 ProgramStateManager &Mgr = getStateManager();
191 ProgramStateManager &Mgr = getStateManager();
227 getStateManager().StoreMgr->killBinding(OldStore, LV);
239 getStateManager().StoreMgr->enterStackFrame(getStore(), Call, CalleeCtx);
277 if (const llvm::APSInt *Int = getStateManager()
311 getStateManager()
[all...] |
| H A D | ConstraintManager.cpp | 28 State->getStateManager().getRegionManager().getSymbolicRegion(Sym);
|
| H A D | DynamicSize.cpp | 48 SValBuilder &SvalBuilder = State->getStateManager().getSValBuilder();
|
| H A D | LoopWidening.cpp | 59 MemRegionManager &MRMgr = PrevState->getStateManager().getRegionManager();
|
| H A D | CallEvent.cpp | 71 ASTContext &Ctx = getState()->getStateManager().getContext();
219 State->getStateManager().getRegionManager().getParamVarRegion(
343 CD.II = &getState()->getStateManager().getContext().Idents.get(
405 ASTContext &Ctx = getState()->getStateManager().getContext();
527 ExprEngine &Engine = getState()->getStateManager().getOwningEngine();
563 ExprEngine &Engine = getState()->getStateManager().getOwningEngine();
591 SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
791 ProgramStateManager &StateMgr = getState()->getStateManager();
866 SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
909 SValBuilder &SVB = getState()->getStateManager()
[all...] |
| H A D | CheckerContext.cpp | 105 ProgramStateManager &Mgr = State->getStateManager();
|
| H A D | ExprEngineCXX.cpp | 100 SValBuilder &SVB = State->getStateManager().getSValBuilder();
285 CallEventManager &CEMgr = getStateManager().getCallEventManager();
559 CallEventManager &CEMgr = getStateManager().getCallEventManager();
727 CallEventManager &CEMgr = getStateManager().getCallEventManager();
757 CallEventManager &CEMgr = getStateManager().getCallEventManager();
850 CallEventManager &CEMgr = getStateManager().getCallEventManager();
929 CallEventManager &CEMgr = getStateManager().getCallEventManager();
|
| H A D | SimpleConstraintManager.cpp | 30 SValBuilder &SVB = State->getStateManager().getSValBuilder();
|
| H A D | ExprEngineObjC.cpp | 153 CallEventManager &CEMgr = getStateManager().getCallEventManager();
|
| H A D | SimpleSValBuilder.cpp | 315 SValBuilder &SVB = State->getStateManager().getSValBuilder();
332 SValBuilder &SVB = State->getStateManager().getSValBuilder();
375 SValBuilder &SVB = State->getStateManager().getSValBuilder();
449 ProgramStateManager &StateMgr = State->getStateManager();
1264 : State(State), SVB(State->getStateManager().getSValBuilder()) {}
|
| H A D | BugReporterVisitors.cpp | 268 ProgramStateManager &Mgr = N->getState()->getStateManager();
557 BR.getStateManager().getCallEventManager().getCaller(SCtx, State);
1147 ProgramStateManager &StateMgr = BRC.getStateManager();
1421 ProgramStateManager &StateMgr = BRC.getStateManager();
1834 ProgramStateManager &StateMgr = N->getState()->getStateManager();
2260 !BRC.getStateManager().haveEqualConstraints(CurrentState, PrevState) ||
2773 CallEventManager &CEMgr = BRC.getStateManager().getCallEventManager();
|
| /freebsd-13-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | Iterator.cpp | 214 auto &StateMgr = State->getStateManager();
231 auto &SymMgr = State->getStateManager().getSymbolManager();
232 auto &SVB = State->getStateManager().getSValBuilder();
233 auto &BVF = State->getStateManager().getBasicVals();
267 SValBuilder &SVB = State->getStateManager().getSValBuilder();
306 auto &SVB = State->getStateManager().getSValBuilder();
|
| H A D | ChrootChecker.cpp | 80 ProgramStateManager &Mgr = state->getStateManager();
90 ProgramStateManager &Mgr = state->getStateManager();
|
| H A D | InnerPointerChecker.cpp | 211 PtrSet::Factory &F = State->getStateManager().get_context<PtrSet>();
237 PtrSet::Factory &F = State->getStateManager().get_context<PtrSet>();
|
| H A D | AnalysisOrderChecker.cpp | 55 AnalyzerOptions &Opts = State->getStateManager().getOwningEngine()
|
| H A D | CheckObjCDealloc.cpp | 269 SymbolSet::Factory &F = State->getStateManager().get_context<SymbolSet>();
508 SymbolSet::Factory &F = State->getStateManager().get_context<SymbolSet>();
532 if (State->getStateManager()
866 SymbolSet::Factory &F = State->getStateManager().get_context<SymbolSet>();
|
| H A D | ObjCSuperDeallocChecker.cpp | 240 ASTContext &Ctx = M.getState()->getStateManager().getContext();
|
| H A D | Taint.cpp | 65 State->getStateManager().getStoreManager().getDefaultBinding(
|
| H A D | TrustNonnullChecker.cpp | 218 SValBuilder &SVB = InputState->getStateManager().getSValBuilder();
|
| /freebsd-13-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| H A D | BugReporter.h | 677 /// getStateManager - Return the state manager used by the analysis
679 ProgramStateManager &getStateManager() const;
706 ProgramStateManager& getStateManager() const { function in class:clang::ento::BugReporterContext
707 return BR.getStateManager();
|
| /freebsd-13-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountDiagnostics.cpp | 216 CallEventManager &Mgr = CurrSt->getStateManager().getCallEventManager();
462 CallEventManager &CEMgr = BRC.getStateManager().getCallEventManager();
735 AllocationInfo AllocI = GetAllocationSite(BRC.getStateManager(), EndN, Sym);
860 GetAllocationSite(Ctx.getStateManager(), getErrorNode(), sym);
|
| /freebsd-13-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/ |
| H A D | UninitializedObjectChecker.cpp | 250 if (State->getStateManager().getContext().getSourceManager().isInSystemHeader(
539 ASTContext &AC = State->getStateManager().getContext();
|