Lines Matching refs:cmp_nonempty_intervals
92 static Word cmp_nonempty_intervals ( Addr a1, SizeT n1,
496 return cmp_nonempty_intervals(sn1->addr, sn1->szB,
660 return cmp_nonempty_intervals( gn1->addr, gn1->szB,
781 tl_assert(cmp_nonempty_intervals(a, szB, nd->addr, nd->szB) == 0);
1264 if (0 == cmp_nonempty_intervals(a, len, inv->Inv.Global.nd->addr,
