Home | History | Annotate | Download | only in Checkers

Lines Matching refs:StInBound

288   ProgramStateRef StInBound = state->assumeInBound(Idx, Size, true);
290   if (StOutBound && !StInBound) {
328   return StInBound;