Searched refs:ConstraintManager (Results 1 – 23 of 23) sorted by relevance
19 ConstraintManager::~ConstraintManager() {} in ~ConstraintManager()28 ConditionTruthVal ConstraintManager::checkNull(ProgramStateRef State, in checkNull()
19 ConstraintManager.cpp
28 ConstraintManager.cpp \
24 class SimpleConstraintManager : public ConstraintManager {
362 std::unique_ptr<ConstraintManager>
346 ConstraintManager &CM = SM.getConstraintManager(); in assumeInBound()
519 ConstraintManager &CMgr = state->getConstraintManager(); in evalBinOpNN()
62 class ConstraintManager {64 ConstraintManager() : NotifyAssumeClients(true) {} in ConstraintManager() function66 virtual ~ConstraintManager();180 std::unique_ptr<ConstraintManager>
42 typedef std::unique_ptr<ConstraintManager>(*ConstraintManagerCreator)(114 ConstraintManager &getConstraintManager() const;453 std::unique_ptr<ConstraintManager> ConstraintMgr;517 ConstraintManager& getConstraintManager() { return *ConstraintMgr; } in getConstraintManager()632 inline ConstraintManager &ProgramState::getConstraintManager() const { in getConstraintManager()
106 ConstraintManager &getConstraintManager() { in getConstraintManager()
302 ConstraintManager& getConstraintManager() { in getConstraintManager()
69 ConstraintManager &CM = C.getConstraintManager(); in checkPreStmt()
81 ConstraintManager &CM = C.getConstraintManager(); in checkBind()
143 ConstraintManager &CM = C.getConstraintManager(); in checkPreStmt()
138 ConstraintManager &CM = C.getConstraintManager(); in checkPreCall()
220 ConstraintManager &CM = C.getConstraintManager(); in OpenFileAux()347 ConstraintManager &CM = C.getConstraintManager(); in CheckNullStream()
177 ConstraintManager &CMgr = State->getConstraintManager(); in isLeaked()
144 ConstraintManager &CM = C.getConstraintManager(); in isZero()
573 ConstraintManager &CMgr = State->getConstraintManager(); in checkDeadSymbols()
1183 ConstraintManager &CMgr = State->getConstraintManager(); in didPreviousFreeFail()2341 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()2352 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()
2867 ConstraintManager &CMgr = State->getConstraintManager(); in checkPostStmt()3689 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()
43 ConstraintManager). If assuming the conditions of a branch would
1937 … tools/clang/lib/StaticAnalyzer/Core/CMakeFiles/clangStaticAnalyzerCore.dir/ConstraintManager.cpp.o3526 …rd_party/llvm-bootstrap-install/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h11479 …lang/lib/StaticAnalyzer/Core/CMakeFiles/clangStaticAnalyzerCore.dir/ConstraintManager.cpp.o' are m…11480 …lang/lib/StaticAnalyzer/Core/CMakeFiles/clangStaticAnalyzerCore.dir/ConstraintManager.cpp.o is dir…16617 … tools/clang/lib/StaticAnalyzer/Core/CMakeFiles/clangStaticAnalyzerCore.dir/ConstraintManager.cpp.o