Searched refs:StInBound (Results 1 – 5 of 5) sorted by relevance
| /openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ArrayBoundChecker.cpp | 61 ProgramStateRef StInBound, StOutBound; in checkLocation() local
62 std::tie(StInBound, StOutBound) = state->assumeInBoundDual(Idx, ElementCount); in checkLocation()
63 if (StOutBound && !StInBound) { in checkLocation()
88 C.addTransition(StInBound); in checkLocation()
|
| H A D | ReturnPointerRangeChecker.cpp | 71 ProgramStateRef StInBound, StOutBound; in checkPreStmt() local
72 std::tie(StInBound, StOutBound) = state->assumeInBoundDual(Idx, ElementCount); in checkPreStmt()
73 if (StOutBound && !StInBound) { in checkPreStmt()
|
| H A D | ObjCContainersChecker.cpp | 137 ProgramStateRef StInBound, StOutBound; in checkPreStmt() local
138 std::tie(StInBound, StOutBound) = State->assumeInBoundDual(Idx, *Size, T); in checkPreStmt()
139 if (StOutBound && !StInBound) { in checkPreStmt()
|
| H A D | UndefResultChecker.cpp | 56 ProgramStateRef StInBound, StOutBound; in isArrayIndexOutOfBounds() local
57 std::tie(StInBound, StOutBound) = state->assumeInBoundDual(Idx, ElementCount); in isArrayIndexOutOfBounds()
58 return StOutBound && !StInBound; in isArrayIndexOutOfBounds()
|
| H A D | CStringChecker.cpp | 411 ProgramStateRef StInBound, StOutBound; in CheckLocation() local
412 std::tie(StInBound, StOutBound) = state->assumeInBoundDual(Idx, Size); in CheckLocation()
413 if (StOutBound && !StInBound) { in CheckLocation()
430 StInBound->getSVal(ER).isUndef()) { in CheckLocation()
431 emitUninitializedReadBug(C, StInBound, Buffer.Expression); in CheckLocation()
438 return StInBound; in CheckLocation()
1021 ProgramStateRef StInBound = state->assumeInBound(Idx, SizeDV, true); in IsFirstBufInBound() local
1023 return static_cast<bool>(StInBound); in IsFirstBufInBound()
|