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

Lines Matching refs:n1

86 /* Compare the intervals [a1,a1+n1) and [a2,a2+n2).  Return -1 if the
93 static Word cmp_nonempty_intervals ( Addr a1, SizeT n1, 
96    UWord n1w = (UWord)n1;
207    Word i, r, n1, n2;
208    n1 = VG_(sizeXA)( fb1s );
210    if (n1 < n2) return -1;
211    if (n1 > n2) return 1;
212    for (i = 0; i < n1; i++) {
219    tl_assert(i == n1 && i == n2);