Searched refs:StOutBound (Results 1 – 3 of 3) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ObjCContainersChecker.cpp | 132 ProgramStateRef StInBound, StOutBound; in checkPreStmt() local
133 std::tie(StInBound, StOutBound) = State->assumeInBoundDual(Idx, *Size, T); in checkPreStmt()
134 if (StOutBound && !StInBound) { in checkPreStmt()
135 ExplodedNode *N = C.generateErrorNode(StOutBound); in checkPreStmt()
|
| H A D | UndefResultChecker.cpp | 55 ProgramStateRef StInBound, StOutBound; in isArrayIndexOutOfBounds() local
56 std::tie(StInBound, StOutBound) = state->assumeInBoundDual(Idx, ElementCount); in isArrayIndexOutOfBounds()
57 return StOutBound && !StInBound; in isArrayIndexOutOfBounds()
|
| H A D | CStringChecker.cpp | 582 auto [StInBound, StOutBound] = state->assumeInBoundDual(*Idx, Size); in CheckLocation()
583 if (StOutBound && !StInBound) { in CheckLocation()
593 emitOutOfBoundsBug(C, StOutBound, Buffer.Expression, Message); in CheckLocation()
|