| /src/contrib/llvm-project/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
101 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 …]
|
| H A D | SMTConstraintManager.cpp | 14 std::unique_ptr<ConstraintManager>
|
| H A D | ProgramState.cpp | 370 ConstraintManager &CM = SM.getConstraintManager(); in assumeInBoundDual()
|
| H A D | RangeConstraintManager.cpp | 2259 std::unique_ptr<ConstraintManager>
|
| /src/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ConstraintManager.h | 69 class ConstraintManager {
71 ConstraintManager() = default;
72 virtual ~ConstraintManager();
187 std::unique_ptr<ConstraintManager>
191 std::unique_ptr<ConstraintManager>
|
| H A D | ProgramState.h | 42 typedef std::unique_ptr<ConstraintManager>(*ConstraintManagerCreator)(
119 friend class ConstraintManager; variable
154 ConstraintManager &getConstraintManager() const;
514 std::unique_ptr<ConstraintManager> ConstraintMgr;
582 ConstraintManager &getConstraintManager() { return *ConstraintMgr; } in getConstraintManager()
698 inline ConstraintManager &ProgramState::getConstraintManager() const { in getConstraintManager()
|
| H A D | SimpleConstraintManager.h | 23 class SimpleConstraintManager : public ConstraintManager {
|
| H A D | CheckerContext.h | 60 ConstraintManager &getConstraintManager() { in getConstraintManager()
|
| H A D | ExprEngine.h | 83 class ConstraintManager; variable
414 ConstraintManager &getConstraintManager() { in getConstraintManager()
|
| /src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | BoolAssignmentChecker.cpp | 84 ConstraintManager &CM = C.getConstraintManager(); in checkBind()
|
| H A D | DivZeroChecker.cpp | 91 ConstraintManager &CM = C.getConstraintManager(); in checkPreStmt()
|
| H A D | SimpleStreamChecker.cpp | 137 ConstraintManager &CMgr = State->getConstraintManager(); in isLeaked()
|
| H A D | NonNullParamChecker.cpp | 175 ConstraintManager &CM = C.getConstraintManager(); in checkPreCall()
|
| H A D | TestAfterDivZeroChecker.cpp | 141 ConstraintManager &CM = C.getConstraintManager(); in isZero()
|
| H A D | VLASizeChecker.cpp | 192 ConstraintManager &CM = C.getConstraintManager(); in checkVLAIndexSize()
|
| H A D | MacOSKeychainAPIChecker.cpp | 548 ConstraintManager &CMgr = State->getConstraintManager(); in checkDeadSymbols()
|
| H A D | FuchsiaHandleChecker.cpp | 543 ConstraintManager &Cmr = State->getConstraintManager(); in evalAssume()
|
| H A D | PthreadLockChecker.cpp | 327 ConstraintManager &CMgr = state->getConstraintManager(); in resolvePossiblyDestroyedMutex()
|
| H A D | MallocChecker.cpp | 1872 ConstraintManager &CMgr = State->getConstraintManager(); in didPreviousFreeFail()
3132 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()
3143 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()
|
| H A D | StreamChecker.cpp | 710 ConstraintManager::ProgramStatePair
1780 ConstraintManager &CM = C.getConstraintManager(); in ensureStreamNonNull()
|
| H A D | StdLibraryFunctionsChecker.cpp | 1040 ConstraintManager &CM = C.getConstraintManager(); in apply()
1097 ConstraintManager &CM = Mgr.getConstraintManager(); in describeArgumentValue()
|
| /src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountChecker.cpp | 308 ConstraintManager &CMgr = State->getConstraintManager(); in checkPostStmt()
1166 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()
|
| /src/lib/clang/libclang/ |
| H A D | Makefile | 804 SRCS_FUL+= StaticAnalyzer/Core/ConstraintManager.cpp
|