Searched refs:ConstraintManager (Results 1 – 16 of 16) sorted by relevance
14 std::unique_ptr<ConstraintManager>
370 ConstraintManager &CM = SM.getConstraintManager(); in assumeInBoundDual()
2259 std::unique_ptr<ConstraintManager>
42 typedef std::unique_ptr<ConstraintManager>(*ConstraintManagerCreator)(119 friend class ConstraintManager; variable154 ConstraintManager &getConstraintManager() const;514 std::unique_ptr<ConstraintManager> ConstraintMgr;582 ConstraintManager &getConstraintManager() { return *ConstraintMgr; } in getConstraintManager()698 inline ConstraintManager &ProgramState::getConstraintManager() const { in getConstraintManager()
23 class SimpleConstraintManager : public ConstraintManager {
60 ConstraintManager &getConstraintManager() { in getConstraintManager()
83 class ConstraintManager; variable414 ConstraintManager &getConstraintManager() { in getConstraintManager()
84 ConstraintManager &CM = C.getConstraintManager(); in checkBind()
137 ConstraintManager &CMgr = State->getConstraintManager(); in isLeaked()
192 ConstraintManager &CM = C.getConstraintManager(); in checkVLAIndexSize()
327 ConstraintManager &CMgr = state->getConstraintManager(); in resolvePossiblyDestroyedMutex()
1872 ConstraintManager &CMgr = State->getConstraintManager(); in didPreviousFreeFail()3132 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()3143 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()
710 ConstraintManager::ProgramStatePair1780 ConstraintManager &CM = C.getConstraintManager(); in ensureStreamNonNull()
1040 ConstraintManager &CM = C.getConstraintManager(); in apply()1097 ConstraintManager &CM = Mgr.getConstraintManager(); in describeArgumentValue()
308 ConstraintManager &CMgr = State->getConstraintManager(); in checkPostStmt()1166 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()
783 SRCS_FUL+= StaticAnalyzer/Core/ConstraintManager.cpp