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

  /external/clang/lib/StaticAnalyzer/Checkers/
ArrayBoundChecker.cpp 61 const ProgramState *StInBound = state->assumeInBound(Idx, NumElements, true);
63 if (StOutBound && !StInBound) {
87 assert(StInBound);
88 C.addTransition(StInBound);
ReturnPointerRangeChecker.cpp 61 const ProgramState *StInBound = state->assumeInBound(Idx, NumElements, true);
63 if (StOutBound && !StInBound) {
CStringChecker.cpp 275 const ProgramState *StInBound = state->assumeInBound(Idx, Size, true);
277 if (StOutBound && !StInBound) {
315 return StInBound;
    [all...]

Completed in 61 milliseconds