Searched refs:ConstraintManager (Results 1 – 21 of 21) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | SMTConstraintManager.cpp | 14 std::unique_ptr<ConstraintManager>
|
| H A D | ProgramState.cpp | 356 ConstraintManager &CM = SM.getConstraintManager(); in assumeInBoundDual()
|
| H A D | RangeConstraintManager.cpp | 2274 std::unique_ptr<ConstraintManager>
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ProgramState.h | 42 typedef std::unique_ptr<ConstraintManager>(*ConstraintManagerCreator)(
118 friend class ConstraintManager; variable
154 ConstraintManager &getConstraintManager() const;
507 std::unique_ptr<ConstraintManager> ConstraintMgr;
575 ConstraintManager &getConstraintManager() { return *ConstraintMgr; } in getConstraintManager()
691 inline ConstraintManager &ProgramState::getConstraintManager() const { in getConstraintManager()
|
| H A D | SimpleConstraintManager.h | 23 class SimpleConstraintManager : public ConstraintManager {
|
| H A D | CheckerContext.h | 62 ConstraintManager &getConstraintManager() { in getConstraintManager()
|
| H A D | ExprEngine.h | 83 class ConstraintManager; variable
422 ConstraintManager &getConstraintManager() { in getConstraintManager()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | BoolAssignmentChecker.cpp | 84 ConstraintManager &CM = C.getConstraintManager(); in checkBind()
|
| H A D | DivZeroChecker.cpp | 103 ConstraintManager &CM = C.getConstraintManager(); in checkPreStmt()
|
| H A D | SimpleStreamChecker.cpp | 137 ConstraintManager &CMgr = State->getConstraintManager(); in isLeaked()
|
| H A D | NonNullParamChecker.cpp | 174 ConstraintManager &CM = C.getConstraintManager(); in checkPreCall()
|
| H A D | TestAfterDivZeroChecker.cpp | 138 ConstraintManager &CM = C.getConstraintManager(); in isZero()
|
| H A D | VLASizeChecker.cpp | 190 ConstraintManager &CM = C.getConstraintManager(); in checkVLAIndexSize()
|
| H A D | MacOSKeychainAPIChecker.cpp | 547 ConstraintManager &CMgr = State->getConstraintManager(); in checkDeadSymbols()
|
| H A D | PthreadLockChecker.cpp | 327 ConstraintManager &CMgr = state->getConstraintManager(); in resolvePossiblyDestroyedMutex()
|
| H A D | MallocChecker.cpp | 2072 ConstraintManager &CMgr = State->getConstraintManager(); in didPreviousFreeFail()
3325 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()
3336 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()
|
| H A D | StreamChecker.cpp | 717 ConstraintManager::ProgramStatePair
1820 ConstraintManager &CM = C.getConstraintManager(); in ensureStreamNonNull()
|
| H A D | StdLibraryFunctionsChecker.cpp | 1038 ConstraintManager &CM = C.getConstraintManager(); in apply()
1095 ConstraintManager &CM = Mgr.getConstraintManager(); in describeArgumentValue()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountChecker.cpp | 307 ConstraintManager &CMgr = State->getConstraintManager(); in checkPostStmt()
1159 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()
|
| /freebsd/lib/clang/libclang/ |
| H A D | Makefile | 825 SRCS_FUL+= StaticAnalyzer/Core/ConstraintManager.cpp
|
| /freebsd/contrib/llvm-project/llvm/include/llvm/Testing/Demangle/ |
| H A D | DemangleTestCases.inc | 6601 …ento::StoreManager* (*)(clang::ento::GRStateManager&), clang::ento::ConstraintManager* (*)(clang::…
7643 {"_ZN5clang4ento17ConstraintManagerD0Ev", "clang::ento::ConstraintManager::~ConstraintManager()"},
7644 {"_ZN5clang4ento17ConstraintManagerD1Ev", "clang::ento::ConstraintManager::~ConstraintManager()"},
7645 {"_ZN5clang4ento17ConstraintManagerD2Ev", "clang::ento::ConstraintManager::~ConstraintManager()"},
8027 {"_ZN5clang4ento17ConstraintManager7EndPathEPKNS0_7GRStateE", "clang::ento::ConstraintManager::EndP…
25250 {"_ZTVN5clang4ento17ConstraintManagerE", "vtable for clang::ento::ConstraintManager"},
|