| /openbsd-src/gnu/llvm/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()
|
| /openbsd-src/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 | StreamChecker.cpp | 528 C.getConstraintManager().assumeDual(State, RetVal); in evalFopen()
797 C.getConstraintManager().assumeDual(State, RetVal); in evalFseek()
834 C.getConstraintManager().assumeDual(State, RetVal); in evalFgetpos()
865 C.getConstraintManager().assumeDual(State, RetVal); in evalFsetpos()
1036 ConstraintManager &CM = C.getConstraintManager(); in ensureStreamNonNull()
|
| H A D | GTestChecker.cpp | 284 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 | VLASizeChecker.cpp | 198 ConstraintManager &CM = C.getConstraintManager(); in checkVLAIndexSize()
|
| 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 | MacOSKeychainAPIChecker.cpp | 557 ConstraintManager &CMgr = State->getConstraintManager(); in checkDeadSymbols()
|
| H A D | ExprInspectionChecker.cpp | 275 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 | 534 .getConstraintManager() in diagnoseMissingReleases()
|
| 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 | StdLibraryFunctionsChecker.cpp | 869 ConstraintManager &CM = Mgr.getConstraintManager(); in applyAsOutOfRange()
898 ConstraintManager &CM = Mgr.getConstraintManager(); in applyAsWithinRange()
|
| /openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Core/ |
| H A D | ProgramState.cpp | 273 .getConstraintManager() in getSVal()
357 ConstraintManager &CM = SM.getConstraintManager(); in assumeInBoundDual()
474 Mgr.getConstraintManager().printJson(Out, this, NL, Space, IsDot); in printJson()
|
| H A D | SimpleSValBuilder.cpp | 1183 return state->getConstraintManager().getSymVal(state, Sym); in getConstValue()
1238 State->getConstraintManager().getSymVal(State, Sym); in simplifySValOnce()
1259 State->getConstraintManager().getSymVal(State, S)) in simplifySValOnce()
|
| H A D | ExprEngine.cpp | 1086 getConstraintManager().removeDeadBindings(CheckerState, SymReaper); in removeDead()
|
| /openbsd-src/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()
|