Searched refs:StInBound (Results 1 – 5 of 5) sorted by relevance
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ArrayBoundChecker.cpp | 62 ProgramStateRef StInBound = state->assumeInBound(Idx, NumElements, true); in checkLocation() local
64 if (StOutBound && !StInBound) { in checkLocation()
88 C.addTransition(StInBound); in checkLocation()
|
| H A D | ReturnPointerRangeChecker.cpp | 62 ProgramStateRef StInBound = state->assumeInBound(Idx, NumElements, true); in checkPreStmt() local
64 if (StOutBound && !StInBound) { in checkPreStmt()
|
| H A D | ObjCContainersChecker.cpp | 141 ProgramStateRef StInBound = State->assumeInBound(Idx, *Size, true, T); in checkPreStmt() local
143 if (StOutBound && !StInBound) { in checkPreStmt()
|
| H A D | UndefResultChecker.cpp | 56 ProgramStateRef StInBound = state->assumeInBound(Idx, NumElements, true); in isArrayIndexOutOfBounds() local
58 return StOutBound && !StInBound; in isArrayIndexOutOfBounds()
|
| H A D | CStringChecker.cpp | 305 ProgramStateRef StInBound = state->assumeInBound(Idx, Size, true); in CheckLocation() local
307 if (StOutBound && !StInBound) { in CheckLocation()
332 return StInBound; in CheckLocation()
910 ProgramStateRef StInBound = state->assumeInBound(Idx, ExtentSize, true); in IsFirstBufInBound() local
912 return static_cast<bool>(StInBound); in IsFirstBufInBound()
|