| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CheckerContext.h | 59 ConstraintManager &getConstraintManager() { in getConstraintManager() function
60 return Eng.getConstraintManager(); in getConstraintManager()
|
| H A D | ProgramState.h | 153 ConstraintManager &getConstraintManager() const;
578 ConstraintManager &getConstraintManager() { return *ConstraintMgr; } in getConstraintManager() function
694 inline ConstraintManager &ProgramState::getConstraintManager() const { in getConstraintManager() function
695 return stateMgr->getConstraintManager(); in getConstraintManager()
|
| H A D | ExprEngine.h | 421 ConstraintManager &getConstraintManager() { in getConstraintManager() function
422 return StateMgr.getConstraintManager(); in getConstraintManager()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | BoolAssignmentChecker.cpp | 87 ConstraintManager &CM = C.getConstraintManager(); in checkBind()
|
| H A D | DivZeroChecker.cpp | 78 ConstraintManager &CM = C.getConstraintManager(); in checkPreStmt()
|
| H A D | GTestChecker.cpp | 283 State = C.getConstraintManager().assume(State, *ValuesEqual, true); in assumeValuesEqual()
|
| 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 | StreamChecker.cpp | 496 C.getConstraintManager().assumeDual(State, RetVal); in evalFopen()
752 C.getConstraintManager().assumeDual(State, RetVal); in evalFseek()
866 ConstraintManager &CM = C.getConstraintManager(); in ensureStreamNonNull()
|
| H A D | VLASizeChecker.cpp | 197 ConstraintManager &CM = C.getConstraintManager(); in checkVLAIndexSize()
|
| H A D | FuchsiaHandleChecker.cpp | 134 assert(State->getConstraintManager() in getAllocated()
542 ConstraintManager &Cmr = State->getConstraintManager(); in evalAssume()
|
| H A D | TestAfterDivZeroChecker.cpp | 140 ConstraintManager &CM = C.getConstraintManager(); in isZero()
|
| H A D | MacOSKeychainAPIChecker.cpp | 556 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 | 297 ConstraintManager &CMgr = state->getConstraintManager(); in resolvePossiblyDestroyedMutex()
|
| H A D | CheckObjCDealloc.cpp | 533 .getConstraintManager() in diagnoseMissingReleases()
|
| H A D | MallocChecker.cpp | 1829 ConstraintManager &CMgr = State->getConstraintManager(); in didPreviousFreeFail()
3086 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()
3097 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()
|
| H A D | StdLibraryFunctionsChecker.cpp | 862 ConstraintManager &CM = Mgr.getConstraintManager(); in applyAsOutOfRange()
891 ConstraintManager &CM = Mgr.getConstraintManager(); in applyAsWithinRange()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | ProgramState.cpp | 274 .getConstraintManager() in getSVal()
358 ConstraintManager &CM = SM.getConstraintManager(); in assumeInBoundDual()
475 Mgr.getConstraintManager().printJson(Out, this, NL, Space, IsDot); in printJson()
|
| H A D | SimpleSValBuilder.cpp | 1180 return state->getConstraintManager().getSymVal(state, Sym); in getConstValue()
1235 State->getConstraintManager().getSymVal(State, Sym); in simplifySValOnce()
1256 State->getConstraintManager().getSymVal(State, S)) in simplifySValOnce()
|
| H A D | ExprEngine.cpp | 921 getConstraintManager().removeDeadBindings(CheckerState, SymReaper); in removeDead()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountChecker.cpp | 309 ConstraintManager &CMgr = State->getConstraintManager(); in checkPostStmt()
1167 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()
|