HomeSort by relevance Sort by last modified time
    Searched refs:StInBound (Results 1 - 4 of 4) sorted by null

  /external/clang/lib/StaticAnalyzer/Checkers/
ArrayBoundChecker.cpp 61 ProgramStateRef StInBound = state->assumeInBound(Idx, NumElements, true);
63 if (StOutBound && !StInBound) {
87 C.addTransition(StInBound);
ReturnPointerRangeChecker.cpp 61 ProgramStateRef StInBound = state->assumeInBound(Idx, NumElements, true);
63 if (StOutBound && !StInBound) {
ObjCContainersChecker.cpp 141 ProgramStateRef StInBound = State->assumeInBound(Idx, *Size, true, T);
143 if (StOutBound && !StInBound) {
CStringChecker.cpp 297 ProgramStateRef StInBound = state->assumeInBound(Idx, Size, true);
299 if (StOutBound && !StInBound) {
337 return StInBound;
    [all...]

Completed in 56 milliseconds