Home | History | Annotate | Download | only in exp-sgcheck

Lines Matching full:nsmall

104 /* Return true iff [aSmall,aSmall+nSmall) is entirely contained
108                                 Addr aSmall, SizeT nSmall ) {
109    tl_assert(nBig > 0 && nSmall > 0);
110    return aBig <= aSmall && aSmall + nSmall <= aBig + nBig;