HomeSort by: relevance | last modified time | path
    Searched refs:StOutBound (Results 1 - 5 of 5) sorted by relevancy

  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
ArrayBoundChecker.cpp 62 ProgramStateRef StOutBound = state->assumeInBound(Idx, ElementCount, false);
63 if (StOutBound && !StInBound) {
64 ExplodedNode *N = C.generateErrorNode(StOutBound);
ReturnPointerRangeChecker.cpp 67 ProgramStateRef StOutBound = state->assumeInBound(Idx, ElementCount, false);
68 if (StOutBound && !StInBound) {
69 ExplodedNode *N = C.generateErrorNode(StOutBound);
ObjCContainersChecker.cpp 141 ProgramStateRef StOutBound = State->assumeInBound(Idx, *Size, false, T);
142 if (StOutBound && !StInBound) {
143 ExplodedNode *N = C.generateErrorNode(StOutBound);
UndefResultChecker.cpp 57 ProgramStateRef StOutBound = state->assumeInBound(Idx, ElementCount, false);
58 return StOutBound && !StInBound;
CStringChecker.cpp 355 ProgramStateRef StOutBound = state->assumeInBound(Idx, Size, false);
356 if (StOutBound && !StInBound) {
366 emitOutOfBoundsBug(C, StOutBound, Buffer.Expression, Message);

Completed in 24 milliseconds