| /openbsd/gnu/llvm/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 | 357 ConstraintManager &CM = SM.getConstraintManager(); in assumeInBoundDual()
|
| H A D | RangeConstraintManager.cpp | 2253 std::unique_ptr<ConstraintManager>
|
| /openbsd/gnu/llvm/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 | 42 typedef std::unique_ptr<ConstraintManager>(*ConstraintManagerCreator)(
119 friend class ConstraintManager; variable
154 ConstraintManager &getConstraintManager() const;
512 std::unique_ptr<ConstraintManager> ConstraintMgr;
580 ConstraintManager &getConstraintManager() { return *ConstraintMgr; } in getConstraintManager()
696 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
422 ConstraintManager &getConstraintManager() { in getConstraintManager()
|
| /openbsd/gnu/llvm/llvm/utils/gn/secondary/clang/lib/StaticAnalyzer/Core/ |
| H A D | BUILD.gn | 31 "ConstraintManager.cpp",
|
| /openbsd/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | BoolAssignmentChecker.cpp | 88 ConstraintManager &CM = C.getConstraintManager(); in checkBind()
|
| H A D | DivZeroChecker.cpp | 79 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 | 198 ConstraintManager &CM = C.getConstraintManager(); in checkVLAIndexSize()
|
| H A D | TestAfterDivZeroChecker.cpp | 141 ConstraintManager &CM = C.getConstraintManager(); in isZero()
|
| H A D | MacOSKeychainAPIChecker.cpp | 557 ConstraintManager &CMgr = State->getConstraintManager(); in checkDeadSymbols()
|
| H A D | PthreadLockChecker.cpp | 297 ConstraintManager &CMgr = state->getConstraintManager(); in resolvePossiblyDestroyedMutex()
|
| H A D | FuchsiaHandleChecker.cpp | 543 ConstraintManager &Cmr = State->getConstraintManager(); in evalAssume()
|
| H A D | MallocChecker.cpp | 1818 ConstraintManager &CMgr = State->getConstraintManager(); in didPreviousFreeFail()
3077 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()
3088 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()
|
| H A D | StreamChecker.cpp | 1036 ConstraintManager &CM = C.getConstraintManager(); in ensureStreamNonNull()
|
| H A D | StdLibraryFunctionsChecker.cpp | 869 ConstraintManager &CM = Mgr.getConstraintManager(); in applyAsOutOfRange()
898 ConstraintManager &CM = Mgr.getConstraintManager(); in applyAsWithinRange()
|
| /openbsd/gnu/llvm/clang/lib/StaticAnalyzer/ |
| H A D | README.txt | 43 ConstraintManager). If assuming the conditions of a branch would
|
| /openbsd/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountChecker.cpp | 310 ConstraintManager &CMgr = State->getConstraintManager(); in checkPostStmt()
1168 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()
|