Searched refs:getConstraintManager (Results 1 – 21 of 21) sorted by relevance
59 ConstraintManager &getConstraintManager() { in getConstraintManager() function60 return Eng.getConstraintManager(); in getConstraintManager()
117 ConstraintManager &getConstraintManager() const;540 ConstraintManager &getConstraintManager() { return *ConstraintMgr; } in getConstraintManager() function656 inline ConstraintManager &ProgramState::getConstraintManager() const { in getConstraintManager() function657 return stateMgr->getConstraintManager(); in getConstraintManager()
419 ConstraintManager &getConstraintManager() { in getConstraintManager() function420 return StateMgr.getConstraintManager(); in getConstraintManager()
83 ConstraintManager &CM = C.getConstraintManager(); in checkBind()
78 ConstraintManager &CM = C.getConstraintManager(); in checkPreStmt()
284 State = C.getConstraintManager().assume( in assumeValuesEqual()
167 ConstraintManager &CMgr = State->getConstraintManager(); in isLeaked()
459 C.getConstraintManager().assumeDual(State, RetVal); in evalFopen()711 C.getConstraintManager().assumeDual(State, RetVal); in evalFseek()823 ConstraintManager &CM = C.getConstraintManager(); in ensureStreamNonNull()
173 ConstraintManager &CM = C.getConstraintManager(); in checkPreCall()
134 assert(State->getConstraintManager() in getAllocated()546 ConstraintManager &Cmr = State->getConstraintManager(); in evalAssume()
197 ConstraintManager &CM = C.getConstraintManager(); in checkVLAIndexSize()
140 ConstraintManager &CM = C.getConstraintManager(); in isZero()
557 ConstraintManager &CMgr = State->getConstraintManager(); in checkDeadSymbols()
296 ConstraintManager &CMgr = state->getConstraintManager(); in resolvePossiblyDestroyedMutex()
533 .getConstraintManager() in diagnoseMissingReleases()
1617 ConstraintManager &CMgr = State->getConstraintManager(); in didPreviousFreeFail()2870 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()2881 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()
702 ConstraintManager &CM = Mgr.getConstraintManager(); in applyAsOutOfRange()731 ConstraintManager &CM = Mgr.getConstraintManager(); in applyAsWithinRange()
278 .getConstraintManager() in getSVal()362 ConstraintManager &CM = SM.getConstraintManager(); in assumeInBound()464 Mgr.getConstraintManager().printJson(Out, this, NL, Space, IsDot); in printJson()
1108 return state->getConstraintManager().getSymVal(state, Sym); in getKnownValue()
752 getConstraintManager().removeDeadBindings(CheckerState, SymReaper); in removeDead()
309 ConstraintManager &CMgr = State->getConstraintManager(); in checkPostStmt()1166 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()