dt/int/sc_nbutils.cc

186         sc_assert((0 <= state) && (state <= 3));
200     sc_assert(v != NULL);
228     sc_assert(nskip <= 3);
549     sc_assert((unb > 0) && (und > 0) && (u != NULL));
550     sc_assert(v != NULL);
625     sc_assert((ulen > 0) && (u != NULL));
626     sc_assert((vlen > 0) && (v != NULL));
627     sc_assert(w != NULL);
628     sc_assert(ulen >= vlen);
666     sc_assert((ulen > 0) && (ubegin != NULL));
667     sc_assert((vlen > 0) && (v != NULL));
668     sc_assert(ulen >= vlen);
712     sc_assert((ulen > 0) && (ubegin != NULL));
713     sc_assert((vlen > 0) && (v != NULL));
714     sc_assert(ulen < vlen);
745     sc_assert((ulen > 0) && (u != NULL));
746     sc_assert(w != NULL);
777     sc_assert((ulen > 0) && (u != NULL));
805     sc_assert((ulen > 0) && (u != NULL));
806     sc_assert((vlen > 0) && (v != NULL));
807     sc_assert(w != NULL);
808     sc_assert(ulen >= vlen);
831     sc_assert(borrow == 0);
846     sc_assert((ulen > 0) && (ubegin != NULL));
847     sc_assert((vlen > 0) && (v != NULL));
848     sc_assert(ulen >= vlen);
872     sc_assert(borrow == 0);
883     sc_assert((ulen > 0) && (ubegin != NULL));
884     sc_assert((vlen > 0) && (v != NULL));
914     sc_assert(ulen > 0);
915     sc_assert(u != NULL);
933     sc_assert(borrow == 0);
947     sc_assert((ulen > 0) && (u != NULL));
957     sc_assert(v == 0);
1024     sc_assert((ulen > 0) && (u != NULL));
1025     sc_assert((vlen > 0) && (vbegin != NULL));
1026     sc_assert(wbegin != NULL);
1040         sc_assert(u_h == (u_h & HALF_DIGIT_MASK));
1054             sc_assert(v_h == (v_h & HALF_DIGIT_MASK));
1074     sc_assert((ulen > 0) && (u != NULL));
1075     sc_assert(w != NULL);
1076     sc_assert((0 < v) && (v < HALF_DIGIT_RADIX));
1087         sc_assert(high_half(u_AB) == high_half_masked(u_AB));
1104     sc_assert((ulen > 0) && (u != NULL));
1105     sc_assert((0 < v) && (v < HALF_DIGIT_RADIX));
1113         sc_assert(high_half(u[i]) == high_half_masked(u[i]));
1139     sc_assert((ulen > 0) && (u != NULL));
1140     sc_assert((vlen > 0) && (v != NULL));
1141     sc_assert(w != NULL);
1142     sc_assert(BITS_PER_DIGIT >= 3 * BITS_PER_BYTE);
1184     sc_assert(xlen > 1);
1185     sc_assert(ylen > 1);
1300     sc_assert((ulen > 0) && (u != NULL));
1301     sc_assert(q != NULL);
1302     sc_assert((0 < v) && (v < HALF_DIGIT_RADIX));
1317         sc_assert(high_half(u_AB) == high_half_masked(u_AB));
1336     sc_assert((ulen > 0) && (u != NULL));
1337     sc_assert((vlen > 0) && (v != NULL));
1338     sc_assert(w != NULL);
1339     sc_assert(BITS_PER_DIGIT >= 3 * BITS_PER_BYTE);
1373     sc_assert(xlen > 1);
1374     sc_assert(ylen > 1);
1461     sc_assert((ulen > 0) && (u != NULL));
1462     sc_assert((0 < v) && (v < HALF_DIGIT_RADIX));
1476         sc_assert(high_half(u_AB) == high_half_masked(u_AB));
1490     sc_assert((ulen > 0) && (u != NULL));
1491     sc_assert(v > 0);
1503         sc_assert(high_half(u_AB) == high_half_masked(u_AB));
1520     sc_assert((ulen > 0) && (u != NULL));
1521     sc_assert((vlen > 0) && (v != NULL));
1555     sc_assert((ulen > 0) && (u != NULL));
1556     sc_assert((vlen > 0) && (v != NULL));
1557     sc_assert(sizeof(uchar) <= sizeof(sc_digit));
1590     sc_assert((ulen > 0) && (u != NULL));
1643     sc_assert((ulen > 0) && (u != NULL));
1700     sc_assert((unb > 0) && (und > 0) && (ud != NULL));
1701     sc_assert((0 <= r) && (r <= l) && (l < unb));