| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CheckerContext.h | 62 ConstraintManager &getConstraintManager() { in getConstraintManager() function
63 return Eng.getConstraintManager(); in getConstraintManager()
|
| H A D | ProgramState.h | 154 ConstraintManager &getConstraintManager() const;
575 ConstraintManager &getConstraintManager() { return *ConstraintMgr; } in getConstraintManager() function
691 inline ConstraintManager &ProgramState::getConstraintManager() const { in getConstraintManager() function
692 return stateMgr->getConstraintManager(); in getConstraintManager()
|
| H A D | ExprEngine.h | 422 ConstraintManager &getConstraintManager() { in getConstraintManager() function
423 return StateMgr.getConstraintManager(); in getConstraintManager()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | BoolAssignmentChecker.cpp | 84 ConstraintManager &CM = C.getConstraintManager(); in checkBind()
|
| H A D | DivZeroChecker.cpp | 103 ConstraintManager &CM = C.getConstraintManager(); in checkPreStmt()
|
| H A D | SimpleStreamChecker.cpp | 137 ConstraintManager &CMgr = State->getConstraintManager(); in isLeaked()
|
| H A D | NonNullParamChecker.cpp | 174 ConstraintManager &CM = C.getConstraintManager(); in checkPreCall()
|
| H A D | TestAfterDivZeroChecker.cpp | 138 ConstraintManager &CM = C.getConstraintManager(); in isZero()
|
| H A D | VLASizeChecker.cpp | 190 ConstraintManager &CM = C.getConstraintManager(); in checkVLAIndexSize()
|
| H A D | StreamChecker.cpp | 721 return C.getConstraintManager().assumeDual(State, RetVal); in makeRetValAndAssumeDual()
944 C.getConstraintManager().assumeDual(State, RetVal); in evalFopen()
1643 C.getConstraintManager().assumeDual(State, *Stream); in preFflush()
1659 C.getConstraintManager().assumeDual(State, *Stream); in evalFflush()
1820 ConstraintManager &CM = C.getConstraintManager(); in ensureStreamNonNull()
|
| H A D | MacOSKeychainAPIChecker.cpp | 547 ConstraintManager &CMgr = State->getConstraintManager(); in checkDeadSymbols()
|
| H A D | ExprInspectionChecker.cpp | 272 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 | 2072 ConstraintManager &CMgr = State->getConstraintManager(); in didPreviousFreeFail()
3325 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()
3336 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()
|
| H A D | StdLibraryFunctionsChecker.cpp | 1038 ConstraintManager &CM = C.getConstraintManager(); in apply()
1095 ConstraintManager &CM = Mgr.getConstraintManager(); in describeArgumentValue()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | ProgramState.cpp | 274 .getConstraintManager() in getSVal()
356 ConstraintManager &CM = SM.getConstraintManager(); in assumeInBoundDual()
505 Mgr.getConstraintManager().printJson(Out, this, NL, Space, IsDot); in printJson()
|
| H A D | SimpleSValBuilder.cpp | 1206 return state->getConstraintManager().getSymVal(state, Sym); in getConstValue()
1234 return state->getConstraintManager().getSymMinVal(state, Sym); in getMinValue()
1247 return state->getConstraintManager().getSymMaxVal(state, Sym); in getMaxValue()
1297 State->getConstraintManager().getSymVal(State, Sym); in simplifySValOnce()
1318 State->getConstraintManager().getSymVal(State, S)) in simplifySValOnce()
|
| H A D | ExprEngine.cpp | 1091 getConstraintManager().removeDeadBindings(CheckerState, SymReaper); in removeDead()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountChecker.cpp | 307 ConstraintManager &CMgr = State->getConstraintManager(); in checkPostStmt()
1159 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()
|