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

  /external/clang/lib/StaticAnalyzer/Checkers/
ArrayBoundChecker.cpp 61 const ProgramState *StInBound = state->assumeInBound(Idx, NumElements, true);
62 const ProgramState *StOutBound = state->assumeInBound(Idx, NumElements, false);
ReturnPointerRangeChecker.cpp 61 const ProgramState *StInBound = state->assumeInBound(Idx, NumElements, true);
62 const ProgramState *StOutBound = state->assumeInBound(Idx, NumElements, false);
CStringChecker.cpp 275 const ProgramState *StInBound = state->assumeInBound(Idx, Size, true);
276 const ProgramState *StOutBound = state->assumeInBound(Idx, Size, false);
    [all...]
  /external/clang/lib/StaticAnalyzer/Core/
ProgramState.cpp 265 const ProgramState *ProgramState::assumeInBound(DefinedOrUnknownSVal Idx,
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h 179 const ProgramState *assumeInBound(DefinedOrUnknownSVal idx,

Completed in 326 milliseconds