Searched refs:getConstraintManager (Results 1 – 14 of 14) sorted by relevance
60 ConstraintManager &getConstraintManager() { in getConstraintManager() function61 return Eng.getConstraintManager(); in getConstraintManager()
154 ConstraintManager &getConstraintManager() const;582 ConstraintManager &getConstraintManager() { return *ConstraintMgr; } in getConstraintManager() function698 inline ConstraintManager &ProgramState::getConstraintManager() const { in getConstraintManager() function699 return stateMgr->getConstraintManager(); in getConstraintManager()
414 ConstraintManager &getConstraintManager() { in getConstraintManager() function415 return StateMgr.getConstraintManager(); in getConstraintManager()
84 ConstraintManager &CM = C.getConstraintManager(); in checkBind()
137 ConstraintManager &CMgr = State->getConstraintManager(); in isLeaked()
192 ConstraintManager &CM = C.getConstraintManager(); in checkVLAIndexSize()
714 return C.getConstraintManager().assumeDual(State, RetVal); in makeRetValAndAssumeDual()907 C.getConstraintManager().assumeDual(State, RetVal); in evalFopen()1604 C.getConstraintManager().assumeDual(State, *Stream); in preFflush()1620 C.getConstraintManager().assumeDual(State, *Stream); in evalFflush()1780 ConstraintManager &CM = C.getConstraintManager(); in ensureStreamNonNull()
327 ConstraintManager &CMgr = state->getConstraintManager(); in resolvePossiblyDestroyedMutex()
541 .getConstraintManager() in diagnoseMissingReleases()
1872 ConstraintManager &CMgr = State->getConstraintManager(); in didPreviousFreeFail()3132 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()3143 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()
1040 ConstraintManager &CM = C.getConstraintManager(); in apply()1097 ConstraintManager &CM = Mgr.getConstraintManager(); in describeArgumentValue()
286 .getConstraintManager() in getSVal()370 ConstraintManager &CM = SM.getConstraintManager(); in assumeInBoundDual()505 Mgr.getConstraintManager().printJson(Out, this, NL, Space, IsDot); in printJson()
1092 getConstraintManager().removeDeadBindings(CheckerState, SymReaper); in removeDead()
308 ConstraintManager &CMgr = State->getConstraintManager(); in checkPostStmt()1166 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()