Searched refs:ConstraintManager (Results 1 – 23 of 23) sorted by relevance
24 ConstraintManager::~ConstraintManager() = default;33 ConditionTruthVal ConstraintManager::checkNull(ProgramStateRef State, in checkNull()47 ConstraintManager::ProgramStatePair48 ConstraintManager::assumeDualImpl(ProgramStateRef &State, in assumeDualImpl()92 ConstraintManager::ProgramStatePair93 ConstraintManager::assumeDual(ProgramStateRef State, DefinedSVal Cond) { in assumeDual()100 ConstraintManager::ProgramStatePair101 ConstraintManager::assumeInclusiveRangeDual(ProgramStateRef State, NonLoc Value, in assumeInclusiveRangeDual()110 ProgramStateRef ConstraintManager::assume(ProgramStateRef State, in assume()112 ConstraintManager::ProgramStatePair R = assumeDual(State, Cond); in assume()[all …]
14 std::unique_ptr<ConstraintManager>
370 ConstraintManager &CM = SM.getConstraintManager(); in assumeInBoundDual()
2259 std::unique_ptr<ConstraintManager>
69 class ConstraintManager {71 ConstraintManager() = default;72 virtual ~ConstraintManager();187 std::unique_ptr<ConstraintManager>191 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()
91 ConstraintManager &CM = C.getConstraintManager(); in checkPreStmt()
137 ConstraintManager &CMgr = State->getConstraintManager(); in isLeaked()
175 ConstraintManager &CM = C.getConstraintManager(); in checkPreCall()
141 ConstraintManager &CM = C.getConstraintManager(); in isZero()
192 ConstraintManager &CM = C.getConstraintManager(); in checkVLAIndexSize()
548 ConstraintManager &CMgr = State->getConstraintManager(); in checkDeadSymbols()
543 ConstraintManager &Cmr = State->getConstraintManager(); in evalAssume()
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()
800 SRCS_FUL+= StaticAnalyzer/Core/ConstraintManager.cpp