Searched refs:StInBound (Results 1 - 5 of 5) sorted by relevance
| /freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ArrayBoundChecker.cpp | 61 ProgramStateRef StInBound = state->assumeInBound(Idx, NumElements, true); local
63 if (StOutBound && !StInBound) {
88 C.addTransition(StInBound);
|
| H A D | ReturnPointerRangeChecker.cpp | 61 ProgramStateRef StInBound = state->assumeInBound(Idx, NumElements, true); local
63 if (StOutBound && !StInBound) {
|
| H A D | ObjCContainersChecker.cpp | 140 ProgramStateRef StInBound = State->assumeInBound(Idx, *Size, true, T); local
142 if (StOutBound && !StInBound) {
|
| H A D | UndefResultChecker.cpp | 55 ProgramStateRef StInBound = state->assumeInBound(Idx, NumElements, true); local
57 return StOutBound && !StInBound;
|
| H A D | CStringChecker.cpp | 338 ProgramStateRef StInBound = state->assumeInBound(Idx, Size, true); local
340 if (StOutBound && !StInBound) {
365 return StInBound;
945 ProgramStateRef StInBound = state->assumeInBound(Idx, ExtentSize, true); local
947 return static_cast<bool>(StInBound);
|
Completed in 127 milliseconds