Home | History | Annotate | Download | only in Checkers

Lines Matching refs:StOutBound

287   ProgramStateRef StOutBound = state->assumeInBound(Idx, Size, false);
288   if (StOutBound && !StInBound) {
289     ExplodedNode *N = C.generateSink(StOutBound);