Searched refs:StOutBound (Results 1 - 5 of 5) sorted by relevance

/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DReturnPointerRangeChecker.cpp62 ProgramStateRef StOutBound = state->assumeInBound(Idx, NumElements, false); local
63 if (StOutBound && !StInBound) {
64 ExplodedNode *N = C.generateErrorNode(StOutBound);
H A DArrayBoundChecker.cpp62 ProgramStateRef StOutBound = state->assumeInBound(Idx, NumElements, false); local
63 if (StOutBound && !StInBound) {
64 ExplodedNode *N = C.generateErrorNode(StOutBound);
H A DObjCContainersChecker.cpp141 ProgramStateRef StOutBound = State->assumeInBound(Idx, *Size, false, T); local
142 if (StOutBound && !StInBound) {
143 ExplodedNode *N = C.generateErrorNode(StOutBound);
H A DUndefResultChecker.cpp56 ProgramStateRef StOutBound = state->assumeInBound(Idx, NumElements, false); local
57 return StOutBound && !StInBound;
H A DCStringChecker.cpp339 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