Searched refs:StOutBound (Results 1 - 5 of 5) sorted by relevance
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
H A D | ReturnPointerRangeChecker.cpp | 62 ProgramStateRef StOutBound = state->assumeInBound(Idx, NumElements, false); local 63 if (StOutBound && !StInBound) { 64 ExplodedNode *N = C.generateErrorNode(StOutBound);
|
H A D | ArrayBoundChecker.cpp | 62 ProgramStateRef StOutBound = state->assumeInBound(Idx, NumElements, false); local 63 if (StOutBound && !StInBound) { 64 ExplodedNode *N = C.generateErrorNode(StOutBound);
|
H A D | ObjCContainersChecker.cpp | 141 ProgramStateRef StOutBound = State->assumeInBound(Idx, *Size, false, T); local 142 if (StOutBound && !StInBound) { 143 ExplodedNode *N = C.generateErrorNode(StOutBound);
|
H A D | UndefResultChecker.cpp | 56 ProgramStateRef StOutBound = state->assumeInBound(Idx, NumElements, false); local 57 return StOutBound && !StInBound;
|
H A D | CStringChecker.cpp | 339 ProgramStateRef StOutBound = state->assumeInBound(Idx, Size, false); local 340 if (StOutBound && !StInBound) { 348 emitOutOfBoundsBug(C, StOutBound, S, warningMsg); 358 emitOutOfBoundsBug(C, StOutBound, S, os.str());
|
Completed in 117 milliseconds