Home
last modified time | relevance | path

Searched refs:getStateManager (Results 1 – 22 of 22) sorted by relevance

/NextBSD/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
HDProgramState.h109 ProgramStateManager &getStateManager() const { in getStateManager() function
632 return getStateManager().getRegionManager().getVarRegion(D, LC); in getRegion()
640 return getStateManager().ConstraintMgr in assume()
649 return getStateManager().ConstraintMgr in assume()
661 return getStateManager().StoreMgr->getLValueVar(VD, LC); in getLValue()
666 return getStateManager().StoreMgr->getLValueCompoundLiteral(literal, LC); in getLValue()
670 return getStateManager().StoreMgr->getLValueIvar(D, Base); in getLValue()
674 return getStateManager().StoreMgr->getLValueField(D, Base); in getLValue()
679 StoreManager &SM = *getStateManager().StoreMgr; in getLValue()
689 return getStateManager().StoreMgr->getLValueElement(ElementType, *N, Base); in getLValue()
[all …]
HDCheckerContext.h169 ProgramStateManager &getStateManager() { in getStateManager() function
170 return Eng.getStateManager(); in getStateManager()
HDSubEngine.h52 virtual ProgramStateManager &getStateManager() = 0;
HDCallEvent.h217 getState()->getStateManager().getContext().getSourceManager(); in isInSystemHeader()
995 CallEventManager &Mgr = State->getStateManager().getCallEventManager(); in cloneWithState()
1011 CallEventManager &Mgr = State->getStateManager().getCallEventManager(); in Release()
HDSValBuilder.h124 ProgramStateManager &getStateManager() { return StateMgr; } in getStateManager() function
HDExprEngine.h298 ProgramStateManager& getStateManager() override { return StateMgr; } in getStateManager() function
/NextBSD/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
HDProgramState.cpp37 ProgramStateManager &Mgr = s->getStateManager(); in ProgramStateRelease()
115 ProgramStateManager &Mgr = getStateManager(); in bindLoc()
126 ProgramStateManager &Mgr = getStateManager(); in bindDefault()
176 ProgramStateManager &Mgr = getStateManager(); in invalidateRegionsImpl()
219 getStateManager().StoreMgr->killBinding(OldStore, LV); in killBinding()
231 getStateManager().StoreMgr->enterStackFrame(getStore(), Call, CalleeCtx); in enterStackFrame()
260 if (const llvm::APSInt *Int = getStateManager() in getSVal()
294 getStateManager().EnvMgr.bindExpr(Env, EnvironmentEntry(S, LCtx), V, in BindExpr()
301 return getStateManager().getPersistentState(NewSt); in BindExpr()
314 ProgramStateManager &SM = getStateManager(); in assumeInBound()
[all …]
HDCallEvent.cpp32 ASTContext &Ctx = getState()->getStateManager().getContext(); in getResultType()
219 ASTContext &Ctx = getState()->getStateManager().getContext(); in dump()
322 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
490 ProgramStateManager &StateMgr = getState()->getStateManager(); in getInitialStackFrameContents()
561 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
585 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
730 getState()->getStateManager().getContext().getSourceManager(); in canBeOverridenInSubclass()
887 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
938 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getCaller()
964 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getCaller()
HDExprEngineCXX.cpp94 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in makeZeroElementRegion()
234 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCXXConstructExpr()
321 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCXXDestructor()
352 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCXXNewAllocatorCall()
405 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCXXNewExpr()
HDConstraintManager.cpp23 const MemRegion *R = State->getStateManager().getRegionManager() in getLocFromSymbol()
HDBugReporterVisitors.cpp210 SubEngine *Eng = State->getStateManager().getOwningEngine(); in addVisitorIfNecessary()
352 ProgramStateManager &StateMgr = BRC.getStateManager(); in visitNodeMaybeUnsuppress()
508 ProgramStateManager &StateMgr = BRC.getStateManager(); in VisitNode()
786 SubEngine *Eng = N->getState()->getStateManager().getOwningEngine(); in SuppressInlineDefensiveChecksVisitor()
843 ProgramStateManager &StateMgr = N->getState()->getStateManager(); in getLocationRegionIfReference()
1115 ProgramStateManager &StateMgr = state->getStateManager(); in registerStatementVarDecls()
1596 CallEventManager &CEMgr = BRC.getStateManager().getCallEventManager(); in VisitNode()
HDExprEngineObjC.cpp138 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitObjCMessage()
HDSimpleConstraintManager.cpp73 SValBuilder &SVB = state->getStateManager().getSValBuilder(); in assume()
HDExprEngineCallAndReturn.cpp238 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in processCallExit()
490 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCallExpr()
HDExprEngine.cpp200 ProgramStateManager &StateMgr = State->getStateManager(); in createTemporaryRegionIfNeeded()
1575 SVal recovered = RecoverCastedSymbol(getStateManager(), in processBranch()
HDBugReporter.cpp2743 GRBugReporter::getStateManager() { return Eng.getStateManager(); } in getStateManager() function in GRBugReporter
/NextBSD/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/BugReporter/
HDBugReporter.h507 ProgramStateManager &getStateManager();
538 ProgramStateManager& getStateManager() {
539 return BR.getStateManager();
543 return getStateManager().getSValBuilder();
/NextBSD/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
HDChrootChecker.cpp89 ProgramStateManager &Mgr = state->getStateManager(); in Chroot()
99 ProgramStateManager &Mgr = state->getStateManager(); in Chdir()
HDStackAddrEscapeChecker.cpp208 state->getStateManager().getStoreManager().iterBindings(state->getStore(),cb); in checkEndFunction()
HDCallAndMessageChecker.cpp256 FindUninitializedField F(C.getState()->getStateManager().getStoreManager(), in PreVisitProcessArg()
HDRetainCountChecker.cpp1962 CallEventManager &Mgr = CurrSt->getStateManager().getCallEventManager(); in VisitNode()
2314 GetAllocationSite(BRC.getStateManager(), EndN, Sym); in getEndPath()
2407 GetAllocationSite(Ctx.getStateManager(), getErrorNode(), sym); in CFRefLeakReport()
HDMallocChecker.cpp2432 ASTContext &ASTC = State->getStateManager().getContext(); in mayFreeAnyEscapedMemoryOrIsModeledExplicitly()