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 62 ProgramStateRef StInBound = state->assumeInBound(Idx, NumElements, true);
63 ProgramStateRef StOutBound = state->assumeInBound(Idx, NumElements, false);
ReturnPointerRangeChecker.cpp 62 ProgramStateRef StInBound = state->assumeInBound(Idx, NumElements, true);
63 ProgramStateRef StOutBound = state->assumeInBound(Idx, NumElements, false);
ObjCContainersChecker.cpp 133 ProgramStateRef StInBound = State->assumeInBound(Idx, *Size, true, T);
134 ProgramStateRef StOutBound = State->assumeInBound(Idx, *Size, false, T);
CStringChecker.cpp 292 ProgramStateRef StInBound = state->assumeInBound(Idx, Size, true);
293 ProgramStateRef StOutBound = state->assumeInBound(Idx, Size, false);
    [all...]
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h 188 ProgramStateRef assumeInBound(DefinedOrUnknownSVal idx,
  /external/clang/lib/StaticAnalyzer/Core/
ProgramState.cpp 304 ProgramStateRef ProgramState::assumeInBound(DefinedOrUnknownSVal Idx,

Completed in 148 milliseconds