/freebsd-11.0-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | ProgramState.h | 109 ProgramStateManager &getStateManager() const { function in class:clang::ento::ProgramState 639 return getStateManager().getRegionManager().getVarRegion(D, LC); 647 return getStateManager().ConstraintMgr 656 return getStateManager().ConstraintMgr 670 return getStateManager().ConstraintMgr->assumeWithinInclusiveRange( 683 return getStateManager().ConstraintMgr 695 return getStateManager().StoreMgr->getLValueVar(VD, LC); 700 return getStateManager().StoreMgr->getLValueCompoundLiteral(literal, LC); 704 return getStateManager().StoreMgr->getLValueIvar(D, Base); 708 return getStateManager() [all...] |
H A D | SubEngine.h | 52 virtual ProgramStateManager &getStateManager() = 0;
|
H A D | CheckerContext.h | 169 ProgramStateManager &getStateManager() { function in class:clang::ento::CheckerContext 170 return Eng.getStateManager();
|
H A D | SValBuilder.h | 128 ProgramStateManager &getStateManager() { return StateMgr; } function in class:clang::ento::SValBuilder
|
H A D | CallEvent.h | 218 getState()->getStateManager().getContext().getSourceManager(); 1054 CallEventManager &Mgr = State->getStateManager().getCallEventManager(); 1070 CallEventManager &Mgr = State->getStateManager().getCallEventManager();
|
H A D | ExprEngine.h | 298 ProgramStateManager& getStateManager() override { return StateMgr; }
|
/freebsd-11.0-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
H A D | ConstraintManager.cpp | 23 const MemRegion *R = State->getStateManager().getRegionManager()
|
H A D | LoopWidening.cpp | 53 MemRegionManager &MRMgr = PrevState->getStateManager().getRegionManager();
|
H A D | ProgramState.cpp | 37 ProgramStateManager &Mgr = s->getStateManager(); 115 ProgramStateManager &Mgr = getStateManager(); 126 ProgramStateManager &Mgr = getStateManager(); 176 ProgramStateManager &Mgr = getStateManager(); 219 getStateManager().StoreMgr->killBinding(OldStore, LV); 231 getStateManager().StoreMgr->enterStackFrame(getStore(), Call, CalleeCtx); 260 if (const llvm::APSInt *Int = getStateManager() 294 getStateManager().EnvMgr.bindExpr(Env, EnvironmentEntry(S, LCtx), V, 301 return getStateManager().getPersistentState(NewSt); 314 ProgramStateManager &SM = getStateManager(); [all...] |
H A D | CallEvent.cpp | 33 ASTContext &Ctx = getState()->getStateManager().getContext(); 237 ASTContext &Ctx = getState()->getStateManager().getContext(); 340 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); 530 ProgramStateManager &StateMgr = getState()->getStateManager(); 601 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); 642 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); 788 getState()->getStateManager().getContext().getSourceManager(); 945 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); 996 SValBuilder &SVB = State->getStateManager().getSValBuilder(); 1022 SValBuilder &SVB = State->getStateManager() [all...] |
H A D | ExprEngineCXX.cpp | 94 SValBuilder &SVB = State->getStateManager().getSValBuilder(); 290 CallEventManager &CEMgr = getStateManager().getCallEventManager(); 377 CallEventManager &CEMgr = getStateManager().getCallEventManager(); 408 CallEventManager &CEMgr = getStateManager().getCallEventManager(); 461 CallEventManager &CEMgr = getStateManager().getCallEventManager();
|
H A D | ExprEngineObjC.cpp | 138 CallEventManager &CEMgr = getStateManager().getCallEventManager();
|
H A D | BugReporterVisitors.cpp | 210 SubEngine *Eng = State->getStateManager().getOwningEngine(); 352 ProgramStateManager &StateMgr = BRC.getStateManager(); 508 ProgramStateManager &StateMgr = BRC.getStateManager(); 786 SubEngine *Eng = N->getState()->getStateManager().getOwningEngine(); 843 ProgramStateManager &StateMgr = N->getState()->getStateManager(); 1115 ProgramStateManager &StateMgr = state->getStateManager(); 1606 CallEventManager &CEMgr = BRC.getStateManager().getCallEventManager();
|
H A D | SimpleConstraintManager.cpp | 73 SValBuilder &SVB = state->getStateManager().getSValBuilder();
|
H A D | ExprEngineCallAndReturn.cpp | 238 CallEventManager &CEMgr = getStateManager().getCallEventManager(); 491 CallEventManager &CEMgr = getStateManager().getCallEventManager();
|
H A D | BugReporter.cpp | 2740 GRBugReporter::getStateManager() { return Eng.getStateManager(); } function in class:GRBugReporter
|
H A D | ExprEngine.cpp | 201 ProgramStateManager &StateMgr = State->getStateManager(); 1616 SVal recovered = RecoverCastedSymbol(getStateManager(),
|
/freebsd-11.0-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
H A D | ChrootChecker.cpp | 89 ProgramStateManager &Mgr = state->getStateManager(); 99 ProgramStateManager &Mgr = state->getStateManager();
|
H A D | CallAndMessageChecker.cpp | 263 FindUninitializedField F(C.getState()->getStateManager().getStoreManager(),
|
H A D | RetainCountChecker.cpp | 1962 CallEventManager &Mgr = CurrSt->getStateManager().getCallEventManager(); 2316 GetAllocationSite(BRC.getStateManager(), EndN, Sym); 2409 GetAllocationSite(Ctx.getStateManager(), getErrorNode(), sym);
|
H A D | MallocChecker.cpp | 2442 ASTContext &ASTC = State->getStateManager().getContext();
|
/freebsd-11.0-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
H A D | BugReporter.h | 505 /// getStateManager - Return the state manager used by the analysis 507 ProgramStateManager &getStateManager(); 538 ProgramStateManager& getStateManager() { function in class:clang::ento::BugReporterContext 539 return BR.getStateManager(); 543 return getStateManager().getSValBuilder();
|