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

  /external/clang/lib/StaticAnalyzer/Checkers/
ArrayBoundChecker.cpp 61 ProgramStateRef StInBound = state->assumeInBound(Idx, NumElements, true);
62 ProgramStateRef StOutBound = state->assumeInBound(Idx, NumElements, false);
ReturnPointerRangeChecker.cpp 61 ProgramStateRef StInBound = state->assumeInBound(Idx, NumElements, true);
62 ProgramStateRef StOutBound = state->assumeInBound(Idx, NumElements, false);
ObjCContainersChecker.cpp 141 ProgramStateRef StInBound = State->assumeInBound(Idx, *Size, true, T);
142 ProgramStateRef StOutBound = State->assumeInBound(Idx, *Size, false, T);
CStringChecker.cpp 297 ProgramStateRef StInBound = state->assumeInBound(Idx, Size, true);
298 ProgramStateRef StOutBound = state->assumeInBound(Idx, Size, false);
    [all...]
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h 175 ProgramStateRef assumeInBound(DefinedOrUnknownSVal idx,
  /external/clang/lib/StaticAnalyzer/Core/
ProgramState.cpp 297 ProgramStateRef ProgramState::assumeInBound(DefinedOrUnknownSVal Idx,

Completed in 505 milliseconds