Searched refs:getConstraintManager (Results 1 – 14 of 14) sorted by relevance
106 ConstraintManager &getConstraintManager() { in getConstraintManager() function107 return Eng.getConstraintManager(); in getConstraintManager()
113 ConstraintManager &getConstraintManager() const;510 ConstraintManager& getConstraintManager() { return *ConstraintMgr; } in getConstraintManager() function625 inline ConstraintManager &ProgramState::getConstraintManager() const { in getConstraintManager() function626 return stateMgr->getConstraintManager(); in getConstraintManager()
289 ConstraintManager& getConstraintManager() { in getConstraintManager() function290 return StateMgr.getConstraintManager(); in getConstraintManager()
69 ConstraintManager &CM = C.getConstraintManager(); in checkPreStmt()
81 ConstraintManager &CM = C.getConstraintManager(); in checkBind()
115 ConstraintManager &CM = C.getConstraintManager(); in checkPreCall()
217 ConstraintManager &CM = C.getConstraintManager(); in OpenFileAux()344 ConstraintManager &CM = C.getConstraintManager(); in CheckNullStream()
178 ConstraintManager &CMgr = State->getConstraintManager(); in isLeaked()
565 ConstraintManager &CMgr = State->getConstraintManager(); in checkDeadSymbols()
846 ConstraintManager &CMgr = State->getConstraintManager(); in didPreviousFreeFail()1817 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()1828 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()
3480 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()
282 .getConstraintManager() in getSVal()367 ConstraintManager &CM = SM.getConstraintManager(); in assumeInBound()453 Mgr.getConstraintManager().print(this, Out, NL, Sep); in print()
493 ConstraintManager &CMgr = state->getConstraintManager(); in evalBinOpNN()920 return state->getConstraintManager().getSymVal(state, Sym); in getKnownValue()
388 CheckerState = getConstraintManager().removeDeadBindings(CheckerState, in removeDead()