| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | ConstraintManager.cpp | 24 ConstraintManager::~ConstraintManager() = default;
33 ConditionTruthVal ConstraintManager::checkNull(ProgramStateRef State, in checkNull()
47 ConstraintManager::ProgramStatePair
48 ConstraintManager::assumeDualImpl(ProgramStateRef &State, in assumeDualImpl()
92 ConstraintManager::ProgramStatePair
93 ConstraintManager::assumeDual(ProgramStateRef State, DefinedSVal Cond) { in assumeDual()
100 ConstraintManager::ProgramStatePair
110 ProgramStateRef ConstraintManager::assume(ProgramStateRef State, in assume()
112 ConstraintManager::ProgramStatePair R = assumeDual(State, Cond); in assume()
117 ConstraintManager::assumeInclusiveRange(ProgramStateRef State, NonLoc Value, in assumeInclusiveRange()
[all …]
|
| H A D | SMTConstraintManager.cpp | 14 std::unique_ptr<ConstraintManager>
|
| H A D | CMakeLists.txt | 22 ConstraintManager.cpp
|
| H A D | ProgramState.cpp | 358 ConstraintManager &CM = SM.getConstraintManager(); in assumeInBoundDual()
|
| H A D | RangeConstraintManager.cpp | 2192 std::unique_ptr<ConstraintManager>
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ConstraintManager.h | 69 class ConstraintManager {
71 ConstraintManager() = default;
72 virtual ~ConstraintManager();
171 std::unique_ptr<ConstraintManager>
175 std::unique_ptr<ConstraintManager>
|
| H A D | ProgramState.h | 41 typedef std::unique_ptr<ConstraintManager>(*ConstraintManagerCreator)(
118 friend class ConstraintManager; variable
153 ConstraintManager &getConstraintManager() const;
510 std::unique_ptr<ConstraintManager> ConstraintMgr;
578 ConstraintManager &getConstraintManager() { return *ConstraintMgr; } in getConstraintManager()
694 inline ConstraintManager &ProgramState::getConstraintManager() const { in getConstraintManager()
|
| H A D | SimpleConstraintManager.h | 23 class SimpleConstraintManager : public ConstraintManager {
|
| H A D | CheckerContext.h | 59 ConstraintManager &getConstraintManager() { in getConstraintManager()
|
| H A D | ExprEngine.h | 82 class ConstraintManager; variable
421 ConstraintManager &getConstraintManager() { in getConstraintManager()
|
| /llvm-project-15.0.7/llvm/utils/gn/secondary/clang/lib/StaticAnalyzer/Core/ |
| H A D | BUILD.gn | 31 "ConstraintManager.cpp",
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | BoolAssignmentChecker.cpp | 87 ConstraintManager &CM = C.getConstraintManager(); in checkBind()
|
| H A D | DivZeroChecker.cpp | 78 ConstraintManager &CM = C.getConstraintManager(); in checkPreStmt()
|
| H A D | SimpleStreamChecker.cpp | 154 ConstraintManager &CMgr = State->getConstraintManager(); in isLeaked()
|
| H A D | NonNullParamChecker.cpp | 173 ConstraintManager &CM = C.getConstraintManager(); in checkPreCall()
|
| H A D | VLASizeChecker.cpp | 197 ConstraintManager &CM = C.getConstraintManager(); in checkVLAIndexSize()
|
| H A D | TestAfterDivZeroChecker.cpp | 140 ConstraintManager &CM = C.getConstraintManager(); in isZero()
|
| H A D | MacOSKeychainAPIChecker.cpp | 556 ConstraintManager &CMgr = State->getConstraintManager(); in checkDeadSymbols()
|
| H A D | FuchsiaHandleChecker.cpp | 542 ConstraintManager &Cmr = State->getConstraintManager(); in evalAssume()
|
| H A D | PthreadLockChecker.cpp | 297 ConstraintManager &CMgr = state->getConstraintManager(); in resolvePossiblyDestroyedMutex()
|
| H A D | MallocChecker.cpp | 1829 ConstraintManager &CMgr = State->getConstraintManager(); in didPreviousFreeFail()
3086 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()
3097 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()
|
| H A D | StreamChecker.cpp | 866 ConstraintManager &CM = C.getConstraintManager(); in ensureStreamNonNull()
|
| H A D | StdLibraryFunctionsChecker.cpp | 862 ConstraintManager &CM = Mgr.getConstraintManager(); in applyAsOutOfRange()
891 ConstraintManager &CM = Mgr.getConstraintManager(); in applyAsWithinRange()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/ |
| H A D | README.txt | 43 ConstraintManager). If assuming the conditions of a branch would
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountChecker.cpp | 309 ConstraintManager &CMgr = State->getConstraintManager(); in checkPostStmt()
1167 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()
|