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 61 ProgramStateRef StInBound = state->assumeInBound(Idx, NumElements, true);
63 if (StOutBound && !StInBound) {
87 C.addTransition(StInBound);
ReturnPointerRangeChecker.cpp 61 ProgramStateRef StInBound = state->assumeInBound(Idx, NumElements, true);
63 if (StOutBound && !StInBound) {
ObjCContainersChecker.cpp 133 ProgramStateRef StInBound = State->assumeInBound(Idx, *Size, true, T);
135 if (StOutBound && !StInBound) {
CStringChecker.cpp 286 ProgramStateRef StInBound = state->assumeInBound(Idx, Size, true);
288 if (StOutBound && !StInBound) {
326 return StInBound;
    [all...]

Completed in 78 milliseconds