Lines Matching refs:cmp_nonempty_intervals
93 static Word cmp_nonempty_intervals ( Addr a1, SizeT n1,
497 return cmp_nonempty_intervals(sn1->addr, sn1->szB,
661 return cmp_nonempty_intervals( gn1->addr, gn1->szB,
782 tl_assert(cmp_nonempty_intervals(a, szB, nd->addr, nd->szB) == 0);
1258 if (0 == cmp_nonempty_intervals(a, len, inv->Inv.Global.nd->addr,
