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 62 ProgramStateRef StInBound = state->assumeInBound(Idx, NumElements, true);
64 if (StOutBound && !StInBound) {
89 C.addTransition(StInBound);
ReturnPointerRangeChecker.cpp 62 ProgramStateRef StInBound = state->assumeInBound(Idx, NumElements, true);
64 if (StOutBound && !StInBound) {
ObjCContainersChecker.cpp 133 ProgramStateRef StInBound = State->assumeInBound(Idx, *Size, true, T);
135 if (StOutBound && !StInBound) {
CStringChecker.cpp 292 ProgramStateRef StInBound = state->assumeInBound(Idx, Size, true);
294 if (StOutBound && !StInBound) {
333 return StInBound;
    [all...]

Completed in 58 milliseconds