| /freebsd-11-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
656 return getStateManager().getRegionManager().getVarRegion(D, LC);
664 return getStateManager().ConstraintMgr
673 return getStateManager().ConstraintMgr
685 return getStateManager().ConstraintMgr->assumeInclusiveRange(
698 return getStateManager().ConstraintMgr->assumeInclusiveRangeDual(
712 getStateManager().getRegionManager().getCXXBaseObjectRegion(
720 getStateManager().getRegionManager().getCXXBaseObjectRegion(
726 return getStateManager().StoreMgr->getLValueVar(VD, LC);
731 return getStateManager()
[all...] |
| H A D | CheckerContext.h | 118 ProgramStateManager &getStateManager() { function in class:clang::ento::CheckerContext
119 return Eng.getStateManager();
|
| H A D | SubEngine.h | 59 virtual ProgramStateManager &getStateManager() = 0;
|
| H A D | CallEvent.h | 242 getState()->getStateManager().getContext().getSourceManager();
1251 CallEventManager &Mgr = State->getStateManager().getCallEventManager();
1267 CallEventManager &Mgr = State->getStateManager().getCallEventManager();
|
| /freebsd-11-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);
270 if (const llvm::APSInt *Int = getStateManager()
304 getStateManager()
[all...] |
| H A D | ConstraintManager.cpp | 28 State->getStateManager().getRegionManager().getSymbolicRegion(Sym);
|
| H A D | LoopWidening.cpp | 59 MemRegionManager &MRMgr = PrevState->getStateManager().getRegionManager();
|
| H A D | CallEvent.cpp | 71 ASTContext &Ctx = getState()->getStateManager().getContext();
251 State->getStateManager().getRegionManager().getVarRegion(PVD, SFC);
378 CD.II = &getState()->getStateManager().getContext().Idents.get(
440 ASTContext &Ctx = getState()->getStateManager().getContext();
568 SubEngine &Engine = getState()->getStateManager().getOwningEngine();
596 SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
796 ProgramStateManager &StateMgr = getState()->getStateManager();
871 SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
916 SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
1108 getState()->getStateManager()
[all...] |
| H A D | CheckerContext.cpp | 105 ProgramStateManager &Mgr = State->getStateManager();
|
| H A D | SimpleConstraintManager.cpp | 30 SValBuilder &SVB = State->getStateManager().getSValBuilder();
|
| H A D | ExprEngineCXX.cpp | 100 SValBuilder &SVB = State->getStateManager().getSValBuilder();
323 CallEventManager &CEMgr = getStateManager().getCallEventManager();
497 CallEventManager &CEMgr = getStateManager().getCallEventManager();
646 CallEventManager &CEMgr = getStateManager().getCallEventManager();
676 CallEventManager &CEMgr = getStateManager().getCallEventManager();
771 CallEventManager &CEMgr = getStateManager().getCallEventManager();
|
| 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();
1259 : State(State), SVB(State->getStateManager().getSValBuilder()) {}
|
| /freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ChrootChecker.cpp | 80 ProgramStateManager &Mgr = state->getStateManager();
90 ProgramStateManager &Mgr = state->getStateManager();
|
| H A D | Iterator.cpp | 187 auto &SymMgr = State->getStateManager().getSymbolManager();
188 auto &SVB = State->getStateManager().getSValBuilder();
214 auto &SVB = State->getStateManager().getSValBuilder();
|
| H A D | AnalysisOrderChecker.cpp | 58 AnalyzerOptions &Opts = State->getStateManager().getOwningEngine()
|
| 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 | TrustNonnullChecker.cpp | 218 SValBuilder &SVB = InputState->getStateManager().getSValBuilder();
|
| 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 | Taint.cpp | 65 State->getStateManager().getStoreManager().getDefaultBinding(
|
| H A D | ObjCSuperDeallocChecker.cpp | 239 ASTContext &Ctx = M.getState()->getStateManager().getContext();
|
| H A D | StdLibraryFunctionsChecker.cpp | 242 ProgramStateManager &Mgr = State->getStateManager();
270 ProgramStateManager &Mgr = State->getStateManager();
321 ProgramStateManager &Mgr = State->getStateManager();
|
| /freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| H A D | BugReporter.h | 673 /// getStateManager - Return the state manager used by the analysis
675 ProgramStateManager &getStateManager() const;
702 ProgramStateManager& getStateManager() const { function in class:clang::ento::BugReporterContext
703 return BR.getStateManager();
|
| /freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountDiagnostics.cpp | 215 CallEventManager &Mgr = CurrSt->getStateManager().getCallEventManager();
463 CallEventManager &CEMgr = BRC.getStateManager().getCallEventManager();
736 AllocationInfo AllocI = GetAllocationSite(BRC.getStateManager(), EndN, Sym);
861 GetAllocationSite(Ctx.getStateManager(), getErrorNode(), sym);
|
| /freebsd-11-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();
|