| /src/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;
582 ConstraintManager &getConstraintManager() { return *ConstraintMgr; } in getConstraintManager() function
698 inline ConstraintManager &ProgramState::getConstraintManager() const { in getConstraintManager() function
699 return stateMgr->getConstraintManager(); in getConstraintManager()
|
| H A D | ExprEngine.h | 414 ConstraintManager &getConstraintManager() { in getConstraintManager() function
415 return StateMgr.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 | GTestChecker.cpp | 282 State = C.getConstraintManager().assume(State, *ValuesEqual, true); in assumeValuesEqual()
|
| 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 | 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 | 192 ConstraintManager &CM = C.getConstraintManager(); in checkVLAIndexSize()
|
| H A D | StreamChecker.cpp | 714 return C.getConstraintManager().assumeDual(State, RetVal); in makeRetValAndAssumeDual()
907 C.getConstraintManager().assumeDual(State, RetVal); in evalFopen()
1604 C.getConstraintManager().assumeDual(State, *Stream); in preFflush()
1620 C.getConstraintManager().assumeDual(State, *Stream); in evalFflush()
1780 ConstraintManager &CM = C.getConstraintManager(); in ensureStreamNonNull()
|
| 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 | 327 ConstraintManager &CMgr = state->getConstraintManager(); in resolvePossiblyDestroyedMutex()
|
| H A D | CheckObjCDealloc.cpp | 541 .getConstraintManager() in diagnoseMissingReleases()
|
| 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 | StdLibraryFunctionsChecker.cpp | 1040 ConstraintManager &CM = C.getConstraintManager(); in apply()
1097 ConstraintManager &CM = Mgr.getConstraintManager(); in describeArgumentValue()
|
| /src/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| 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 | ProgramState.cpp | 286 .getConstraintManager() in getSVal()
370 ConstraintManager &CM = SM.getConstraintManager(); in assumeInBoundDual()
505 Mgr.getConstraintManager().printJson(Out, this, NL, Space, IsDot); in printJson()
|
| H A D | ExprEngine.cpp | 1092 getConstraintManager().removeDeadBindings(CheckerState, SymReaper); in removeDead()
|
| /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()
|