Searched refs:getConstraintManager (Results 1 – 20 of 20) sorted by relevance
60 ConstraintManager &getConstraintManager() { in getConstraintManager() function61 return Eng.getConstraintManager(); in getConstraintManager()
120 ConstraintManager &getConstraintManager() const;565 ConstraintManager &getConstraintManager() { return *ConstraintMgr; } in getConstraintManager() function680 inline ConstraintManager &ProgramState::getConstraintManager() const { in getConstraintManager() function681 return stateMgr->getConstraintManager(); in getConstraintManager()
381 ConstraintManager &getConstraintManager() { in getConstraintManager() function382 return StateMgr.getConstraintManager(); in getConstraintManager()
77 ConstraintManager &CM = C.getConstraintManager(); in checkPreStmt()
81 ConstraintManager &CM = C.getConstraintManager(); in checkBind()
219 ConstraintManager &CM = C.getConstraintManager(); in OpenFileAux()335 ConstraintManager &CM = C.getConstraintManager(); in CheckNullStream()
285 State = C.getConstraintManager().assume( in assumeValuesEqual()
143 ConstraintManager &CM = C.getConstraintManager(); in checkPreStmt()
136 ConstraintManager &CM = C.getConstraintManager(); in checkPreCall()
168 ConstraintManager &CMgr = State->getConstraintManager(); in isLeaked()
141 ConstraintManager &CM = C.getConstraintManager(); in isZero()
246 ConstraintManager &CM = Mgr.getConstraintManager(); in applyAsOutOfRange()274 ConstraintManager &CM = Mgr.getConstraintManager(); in applyAsWithinRange()
168 ConstraintManager &CMgr = state->getConstraintManager(); in resolvePossiblyDestroyedMutex()
554 ConstraintManager &CMgr = State->getConstraintManager(); in checkDeadSymbols()
534 .getConstraintManager() in diagnoseMissingReleases()
1359 ConstraintManager &CMgr = State->getConstraintManager(); in didPreviousFreeFail()2585 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()2596 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()
274 .getConstraintManager() in getSVal()358 ConstraintManager &CM = SM.getConstraintManager(); in assumeInBound()457 Mgr.getConstraintManager().print(this, Out, NL, Sep); in print()
1216 return state->getConstraintManager().getSymVal(state, Sym); in getKnownValue()
701 getConstraintManager().removeDeadBindings(CheckerState, SymReaper); in removeDead()
364 ConstraintManager &CMgr = State->getConstraintManager(); in checkPostStmt()1202 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()