Searched refs:getStateManager (Results 1 – 25 of 26) sorted by relevance
12
109 ProgramStateManager &getStateManager() const { in getStateManager() function639 return getStateManager().getRegionManager().getVarRegion(D, LC); in getRegion()647 return getStateManager().ConstraintMgr in assume()656 return getStateManager().ConstraintMgr in assume()670 return getStateManager().ConstraintMgr->assumeWithinInclusiveRange( in assumeWithinInclusiveRange()683 return getStateManager().ConstraintMgr in assumeWithinInclusiveRange()695 return getStateManager().StoreMgr->getLValueVar(VD, LC); in getLValue()700 return getStateManager().StoreMgr->getLValueCompoundLiteral(literal, LC); in getLValue()704 return getStateManager().StoreMgr->getLValueIvar(D, Base); in getLValue()708 return getStateManager().StoreMgr->getLValueField(D, Base); in getLValue()[all …]
169 ProgramStateManager &getStateManager() { in getStateManager() function170 return Eng.getStateManager(); in getStateManager()
52 virtual ProgramStateManager &getStateManager() = 0;
218 getState()->getStateManager().getContext().getSourceManager(); in isInSystemHeader()1054 CallEventManager &Mgr = State->getStateManager().getCallEventManager(); in cloneWithState()1070 CallEventManager &Mgr = State->getStateManager().getCallEventManager(); in Release()
124 ProgramStateManager &getStateManager() { return StateMgr; } in getStateManager() function
298 ProgramStateManager& getStateManager() override { return StateMgr; } in getStateManager() function
37 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 …]
33 ASTContext &Ctx = getState()->getStateManager().getContext(); in getResultType()237 ASTContext &Ctx = getState()->getStateManager().getContext(); in dump()340 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()530 ProgramStateManager &StateMgr = getState()->getStateManager(); in getInitialStackFrameContents()601 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()642 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()788 getState()->getStateManager().getContext().getSourceManager(); in canBeOverridenInSubclass()945 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()996 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getCaller()1022 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getCaller()
94 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in makeZeroElementRegion()290 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCXXConstructExpr()377 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCXXDestructor()408 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCXXNewAllocatorCall()461 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCXXNewExpr()
23 const MemRegion *R = State->getStateManager().getRegionManager() in getLocFromSymbol()
53 MemRegionManager &MRMgr = PrevState->getStateManager().getRegionManager(); in getWidenedLoopState()
210 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()
138 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitObjCMessage()
73 SValBuilder &SVB = state->getStateManager().getSValBuilder(); in assume()
238 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in processCallExit()491 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCallExpr()
201 ProgramStateManager &StateMgr = State->getStateManager(); in createTemporaryRegionIfNeeded()1616 SVal recovered = RecoverCastedSymbol(getStateManager(), in processBranch()
2740 GRBugReporter::getStateManager() { return Eng.getStateManager(); } in getStateManager() function in GRBugReporter
89 ProgramStateManager &Mgr = state->getStateManager(); in Chroot()99 ProgramStateManager &Mgr = state->getStateManager(); in Chdir()
217 state->getStateManager().getStoreManager().iterBindings(state->getStore(),cb); in checkEndFunction()
263 FindUninitializedField F(C.getState()->getStateManager().getStoreManager(), in PreVisitProcessArg()
1962 CallEventManager &Mgr = CurrSt->getStateManager().getCallEventManager(); in VisitNode()2316 GetAllocationSite(BRC.getStateManager(), EndN, Sym); in getEndPath()2409 GetAllocationSite(Ctx.getStateManager(), getErrorNode(), sym); in CFRefLeakReport()
2445 ASTContext &ASTC = State->getStateManager().getContext(); in mayFreeAnyEscapedMemoryOrIsModeledExplicitly()
507 ProgramStateManager &getStateManager();538 ProgramStateManager& getStateManager() {539 return BR.getStateManager();543 return getStateManager().getSValBuilder();
META-INF/MANIFEST.MF META-INF/ECLIPSEF.SF META-INF/ECLIPSEF ...