Lines Matching refs:ASSERT
63 ASSERT (n >= 1);
64 ASSERT (MPN_SAME_OR_SEPARATE_P (rp, up, n));
65 ASSERT (MPN_SAME_OR_SEPARATE_P (rp, vp, n));
66 ASSERT (! MPN_OVERLAP_P (rp, n, yp1, n));
67 ASSERT (! MPN_OVERLAP_P (rp, n, yp2, n));
68 ASSERT (! MPN_OVERLAP_P (rp, n, yp3, n));
69 ASSERT (! MPN_OVERLAP_P (ep, 6, up, n));
70 ASSERT (! MPN_OVERLAP_P (ep, 6, vp, n));
71 ASSERT (! MPN_OVERLAP_P (ep, 6, yp1, n));
72 ASSERT (! MPN_OVERLAP_P (ep, 6, yp2, n));
73 ASSERT (! MPN_OVERLAP_P (ep, 6, yp3, n));
74 ASSERT (! MPN_OVERLAP_P (ep, 6, rp, n));