| /freebsd-14.2/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CheckerContext.h | 60 ConstraintManager &getConstraintManager() { in getConstraintManager() function
61 return Eng.getConstraintManager(); in getConstraintManager()
|
| H A D | ProgramState.h | 154 ConstraintManager &getConstraintManager() const;
580 ConstraintManager &getConstraintManager() { return *ConstraintMgr; } in getConstraintManager() function
696 inline ConstraintManager &ProgramState::getConstraintManager() const { in getConstraintManager() function
697 return stateMgr->getConstraintManager(); in getConstraintManager()
|
| H A D | ExprEngine.h | 422 ConstraintManager &getConstraintManager() { in getConstraintManager() function
423 return StateMgr.getConstraintManager(); in getConstraintManager()
|
| /freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | BoolAssignmentChecker.cpp | 85 ConstraintManager &CM = C.getConstraintManager(); in checkBind()
|
| H A D | DivZeroChecker.cpp | 91 ConstraintManager &CM = C.getConstraintManager(); in checkPreStmt()
|
| H A D | StreamChecker.cpp | 591 C.getConstraintManager().assumeDual(State, RetVal); in evalFopen()
1198 C.getConstraintManager().assumeDual(State, RetVal); in evalFseek()
1238 C.getConstraintManager().assumeDual(State, RetVal); in evalFgetpos()
1269 C.getConstraintManager().assumeDual(State, RetVal); in evalFsetpos()
1445 C.getConstraintManager().assumeDual(State, *Stream); in preFflush()
1461 C.getConstraintManager().assumeDual(State, *Stream); in evalFflush()
1521 ConstraintManager &CM = C.getConstraintManager(); in ensureStreamNonNull()
|
| H A D | GTestChecker.cpp | 282 State = C.getConstraintManager().assume(State, *ValuesEqual, true); in assumeValuesEqual()
|
| H A D | SimpleStreamChecker.cpp | 143 ConstraintManager &CMgr = State->getConstraintManager(); in isLeaked()
|
| H A D | NonNullParamChecker.cpp | 175 ConstraintManager &CM = C.getConstraintManager(); in checkPreCall()
|
| H A D | FuchsiaHandleChecker.cpp | 135 assert(State->getConstraintManager() in getAllocated()
543 ConstraintManager &Cmr = State->getConstraintManager(); in evalAssume()
|
| H A D | TestAfterDivZeroChecker.cpp | 141 ConstraintManager &CM = C.getConstraintManager(); in isZero()
|
| H A D | VLASizeChecker.cpp | 197 ConstraintManager &CM = C.getConstraintManager(); in checkVLAIndexSize()
|
| H A D | MacOSKeychainAPIChecker.cpp | 548 ConstraintManager &CMgr = State->getConstraintManager(); in checkDeadSymbols()
|
| H A D | ExprInspectionChecker.cpp | 271 C.getConstraintManager().printValue(Out, C.getState(), Sym); in printHelper()
|
| H A D | PthreadLockChecker.cpp | 298 ConstraintManager &CMgr = state->getConstraintManager(); in resolvePossiblyDestroyedMutex()
|
| H A D | CheckObjCDealloc.cpp | 541 .getConstraintManager() in diagnoseMissingReleases()
|
| H A D | MallocChecker.cpp | 1826 ConstraintManager &CMgr = State->getConstraintManager(); in didPreviousFreeFail()
3077 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()
3088 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()
|
| H A D | StdLibraryFunctionsChecker.cpp | 1040 ConstraintManager &CM = C.getConstraintManager(); in apply()
1097 ConstraintManager &CM = Mgr.getConstraintManager(); in describeArgumentValue()
|
| /freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | ProgramState.cpp | 272 .getConstraintManager() in getSVal()
356 ConstraintManager &CM = SM.getConstraintManager(); in assumeInBoundDual()
473 Mgr.getConstraintManager().printJson(Out, this, NL, Space, IsDot); in printJson()
|
| H A D | SimpleSValBuilder.cpp | 1203 return state->getConstraintManager().getSymVal(state, Sym); in getConstValue()
1231 return state->getConstraintManager().getSymMinVal(state, Sym); in getMinValue()
1244 return state->getConstraintManager().getSymMaxVal(state, Sym); in getMaxValue()
1294 State->getConstraintManager().getSymVal(State, Sym); in simplifySValOnce()
1315 State->getConstraintManager().getSymVal(State, S)) in simplifySValOnce()
|
| H A D | ExprEngine.cpp | 1092 getConstraintManager().removeDeadBindings(CheckerState, SymReaper); in removeDead()
|
| /freebsd-14.2/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()
|