Lines Matching refs:assert
100 assert(n != NULL); in bc_num_expand()
121 assert(n != NULL); in bc_num_setToZero()
167 assert(len - 1 <= BC_BASE_DIGS + 1); in bc_num_log10()
179 assert(*n >= 0); in bc_num_zeroDigits()
180 assert(((size_t) *n) < BC_BASE_POW); in bc_num_zeroDigits()
207 assert(len == BC_NUM_RDX_VAL(n)); in bc_num_nonZeroLen()
209 assert(i + 1 > 0); in bc_num_nonZeroLen()
223 assert(((BcBigDig) BC_BASE_POW) * 2 == ((BcDig) BC_BASE_POW) * 2); in bc_num_addDigits()
224 assert(a < BC_BASE_POW); in bc_num_addDigits()
225 assert(b < BC_BASE_POW); in bc_num_addDigits()
231 assert(a >= 0); in bc_num_addDigits()
232 assert(a < BC_BASE_POW); in bc_num_addDigits()
247 assert(a < BC_BASE_POW); in bc_num_subDigits()
248 assert(b < BC_BASE_POW); in bc_num_subDigits()
254 assert(a - b >= 0); in bc_num_subDigits()
255 assert(a - b < BC_BASE_POW); in bc_num_subDigits()
309 assert(b <= BC_BASE_POW); in bc_num_mulArray()
324 assert(carry < BC_BASE_POW); in bc_num_mulArray()
334 assert(!BC_NUM_NEG(c) || BC_NUM_NONZERO(c)); in bc_num_mulArray()
335 assert(BC_NUM_RDX_VAL(c) <= c->len || !c->len); in bc_num_mulArray()
336 assert(!c->len || c->num[c->len - 1] || BC_NUM_RDX_VAL(c) == c->len); in bc_num_mulArray()
353 assert(c->cap >= a->len); in bc_num_divArray()
358 assert(in / b < BC_BASE_POW); in bc_num_divArray()
369 assert(!BC_NUM_NEG(c) || BC_NUM_NONZERO(c)); in bc_num_divArray()
370 assert(BC_NUM_RDX_VAL(c) <= c->len || !c->len); in bc_num_divArray()
371 assert(!c->len || c->num[c->len - 1] || BC_NUM_RDX_VAL(c) == c->len); in bc_num_divArray()
397 assert(a != NULL && b != NULL); in bc_num_cmp()
465 assert(places <= n->scale && (BC_NUM_ZERO(n) || places_rdx <= n->len)); in bc_num_truncate()
524 assert(BC_NUM_RDX_VAL(n) == BC_NUM_RDX(n->scale)); in bc_num_extend()
554 assert(BC_NUM_ZERO(a)); in bc_num_split()
555 assert(BC_NUM_ZERO(b)); in bc_num_split()
567 assert(a->cap >= a->len); in bc_num_split()
568 assert(b->cap >= b->len); in bc_num_split()
612 assert(!BC_NUM_RDX_VAL(n) || BC_NUM_ZERO(n)); in bc_num_shiftZero()
647 assert(dig < BC_BASE_DIGS); in bc_num_shift()
663 assert(!carry); in bc_num_shift()
816 assert(BC_NUM_RDX_VAL(n) <= n->len && n->len <= n->cap); in bc_num_shiftRight()
817 assert(BC_NUM_RDX_VAL(n) == BC_NUM_RDX(n->scale)); in bc_num_shiftRight()
827 assert(BC_NUM_NONZERO(a)); in bc_num_inv()
950 assert(max_len <= c->cap); in bc_num_as()
1043 assert(carry == false); in bc_num_as()
1069 assert(sizeof(sum) >= sizeof(BcDig) * 2); in bc_num_m_simp()
1070 assert(!BC_NUM_RDX_VAL(a) && !BC_NUM_RDX_VAL(b)); in bc_num_m_simp()
1113 assert(ptr_c[i] < BC_BASE_POW); in bc_num_m_simp()
1120 assert(!sum); in bc_num_m_simp()
1137 assert(n->len >= shift + a->len); in bc_num_shiftAddSub()
1138 assert(!BC_NUM_RDX_VAL(n) && !BC_NUM_RDX_VAL(a)); in bc_num_shiftAddSub()
1153 assert(BC_NUM_ZERO(c)); in bc_num_k()
1230 assert(BC_NUM_RDX_VALID_NP(h1)); in bc_num_k()
1231 assert(BC_NUM_RDX_VALID_NP(h2)); in bc_num_k()
1242 assert(BC_NUM_RDX_VALID_NP(l1)); in bc_num_k()
1243 assert(BC_NUM_RDX_VALID_NP(l2)); in bc_num_k()
1254 assert(BC_NUM_RDX_VALID_NP(m1)); in bc_num_k()
1255 assert(BC_NUM_RDX_VALID_NP(m1)); in bc_num_k()
1289 assert(BC_NUM_RDX_VALID(a)); in bc_num_m()
1290 assert(BC_NUM_RDX_VALID(b)); in bc_num_m()
1329 assert(BC_NUM_RDX_VALID(a)); in bc_num_m()
1330 assert(BC_NUM_RDX_VALID(b)); in bc_num_m()
1346 assert(BC_NUM_RDX_VALID_NP(cpa)); in bc_num_m()
1347 assert(BC_NUM_RDX_VALID_NP(cpb)); in bc_num_m()
1352 assert(BC_NUM_RDX_VALID_NP(cpa)); in bc_num_m()
1353 assert(BC_NUM_RDX_VALID_NP(cpb)); in bc_num_m()
1454 assert(divisor < BC_BASE_POW); in bc_num_divExtend()
1478 assert(b->len < a->len); in bc_num_d_long()
1483 assert(len >= 1); in bc_num_d_long()
1544 assert(c->scale >= scale); in bc_num_d_long()
1563 assert(n >= a->num); in bc_num_d_long()
1590 assert(quotient <= BC_BASE_POW); in bc_num_d_long()
1600 assert(result <= BC_BASE_POW); in bc_num_d_long()
1609 assert(result < BC_BASE_POW); in bc_num_d_long()
1761 assert(BC_NUM_RDX_VALID(c)); in bc_num_r()
1762 assert(BC_NUM_RDX_VALID(b)); in bc_num_r()
1872 assert(BC_NUM_RDX_VALID_NP(copy)); in bc_num_p()
1886 assert(BC_NUM_RDX_VALID_NP(copy)); in bc_num_p()
1893 assert(BC_NUM_RDX_VALID(c)); in bc_num_p()
1894 assert(BC_NUM_RDX_VALID_NP(copy)); in bc_num_p()
1989 assert(a != NULL && b != NULL && c != NULL && op != NULL); in bc_num_binary()
1991 assert(BC_NUM_RDX_VALID(a)); in bc_num_binary()
1992 assert(BC_NUM_RDX_VALID(b)); in bc_num_binary()
2045 assert(!BC_NUM_NEG(c) || BC_NUM_NONZERO(c)); in bc_num_binary()
2046 assert(BC_NUM_RDX_VAL(c) <= c->len || !c->len); in bc_num_binary()
2047 assert(BC_NUM_RDX_VALID(c)); in bc_num_binary()
2048 assert(!c->len || c->num[c->len - 1] || BC_NUM_RDX_VAL(c) == c->len); in bc_num_binary()
2114 assert(isupper(c) || isdigit(c)); in bc_num_parseChar()
2147 assert(!val[0] || isalnum(val[0]) || val[0] == '.'); in bc_num_parseDecimal()
2197 assert(i <= BC_NUM_BIGDIG_MAX); in bc_num_parseDecimal()
2281 assert(val[i] == '.'); in bc_num_parseBase()
2403 assert(len == 1); in bc_num_printChar()
2459 assert(len == 1); in bc_num_printHex()
2675 assert(acc < BC_BASE_POW); in bc_num_printFixup()
2706 assert(pow == ((BcBigDig) ((BcDig) pow))); in bc_num_printPrepare()
2722 assert(pow < BC_BASE_POW); in bc_num_printPrepare()
2741 assert(base > 1); in bc_num_printNum()
2859 assert(dig < base); in bc_num_printNum()
2865 assert(acc == 0); in bc_num_printNum()
2873 assert(ptr != NULL); in bc_num_printNum()
2986 assert(base <= BC_BASE_POW); in bc_num_printBase()
3007 assert(n != NULL); in bc_num_setup()
3019 assert(n != NULL); in bc_num_init()
3043 assert(n != NULL); in bc_num_free()
3051 assert(d != NULL && s != NULL); in bc_num_copy()
3118 assert(n != NULL && val != NULL && base); in bc_num_parse()
3119 assert(base >= BC_NUM_MIN_BASE && base <= vm.maxes[BC_PROG_GLOBALS_IBASE]); in bc_num_parse()
3120 assert(bc_num_strValid(val)); in bc_num_parse()
3131 assert(BC_NUM_RDX_VALID(n)); in bc_num_parse()
3136 assert(n != NULL); in bc_num_print()
3137 assert(BC_ENABLE_EXTRA_MATH || base >= BC_NUM_MIN_BASE); in bc_num_print()
3175 assert(n != NULL); in bc_num_bigdig2()
3176 assert(!BC_NUM_NEG(n)); in bc_num_bigdig2()
3177 assert(bc_num_cmp(n, &vm.max) < 0); in bc_num_bigdig2()
3178 assert(n->len - nrdx <= 3); in bc_num_bigdig2()
3209 assert(n != NULL); in bc_num_bigdig()
3227 assert(n != NULL); in bc_num_bigdig2num()
3270 assert(BC_NUM_RDX_VALID_NP(vm.max)); in bc_num_rng()
3277 assert(BC_NUM_RDX_VALID_NP(frac)); in bc_num_rng()
3278 assert(BC_NUM_RDX_VALID_NP(vm.max2)); in bc_num_rng()
3292 assert(BC_NUM_NONZERO(&vm.max)); in bc_num_rng()
3364 assert(BC_NUM_NONZERO(&vm.max)); in bc_num_createFromRNG()
3368 assert(BC_NUM_NONZERO(&vm.max2)); in bc_num_createFromRNG()
3375 assert(BC_NUM_RDX_VALID_NP(conv)); in bc_num_createFromRNG()
3391 assert(BC_NUM_RDX_VALID_NP(conv)); in bc_num_createFromRNG()
3403 assert(BC_NUM_RDX_VALID(n)); in bc_num_createFromRNG()
3416 assert(a != b); in bc_num_irand()
3425 assert(atemp.len); in bc_num_irand()
3445 assert(BC_NUM_RDX_VALID(b)); in bc_num_irand()
3460 assert(aint <= a->len && ardx <= a->len); in bc_num_addReq()
3464 assert(bint <= b->len && brdx <= b->len); in bc_num_addReq()
3517 assert(BC_NUM_RDX_VALID(a)); in bc_num_add()
3518 assert(BC_NUM_RDX_VALID(b)); in bc_num_add()
3523 assert(BC_NUM_RDX_VALID(a)); in bc_num_sub()
3524 assert(BC_NUM_RDX_VALID(b)); in bc_num_sub()
3529 assert(BC_NUM_RDX_VALID(a)); in bc_num_mul()
3530 assert(BC_NUM_RDX_VALID(b)); in bc_num_mul()
3535 assert(BC_NUM_RDX_VALID(a)); in bc_num_div()
3536 assert(BC_NUM_RDX_VALID(b)); in bc_num_div()
3541 assert(BC_NUM_RDX_VALID(a)); in bc_num_mod()
3542 assert(BC_NUM_RDX_VALID(b)); in bc_num_mod()
3547 assert(BC_NUM_RDX_VALID(a)); in bc_num_pow()
3548 assert(BC_NUM_RDX_VALID(b)); in bc_num_pow()
3554 assert(BC_NUM_RDX_VALID(a)); in bc_num_places()
3555 assert(BC_NUM_RDX_VALID(b)); in bc_num_places()
3560 assert(BC_NUM_RDX_VALID(a)); in bc_num_lshift()
3561 assert(BC_NUM_RDX_VALID(b)); in bc_num_lshift()
3566 assert(BC_NUM_RDX_VALID(a)); in bc_num_rshift()
3567 assert(BC_NUM_RDX_VALID(b)); in bc_num_rshift()
3578 assert(a != NULL && b != NULL && a != b); in bc_num_sqrt()
3602 assert(a != NULL && b != NULL && a != b); in bc_num_sqrt()
3603 assert(a->num != NULL && b->num != NULL); in bc_num_sqrt()
3676 assert(BC_NUM_NONZERO(x0)); in bc_num_sqrt()
3684 assert(BC_NUM_RDX_VALID_NP(fprime)); in bc_num_sqrt()
3685 assert(BC_NUM_RDX_VALID_NP(half)); in bc_num_sqrt()
3699 assert(!BC_NUM_NEG(b) || BC_NUM_NONZERO(b)); in bc_num_sqrt()
3700 assert(BC_NUM_RDX_VALID(b)); in bc_num_sqrt()
3701 assert(BC_NUM_RDX_VAL(b) <= b->len || !b->len); in bc_num_sqrt()
3702 assert(!b->len || b->num[b->len - 1] || BC_NUM_RDX_VAL(b) == b->len); in bc_num_sqrt()
3726 assert(a != NULL && b != NULL && c != NULL && d != NULL); in bc_num_divmod()
3727 assert(c != d && a != d && b != d && b != c); in bc_num_divmod()
3758 assert(rem < BC_BASE_POW); in bc_num_divmod()
3766 assert(!BC_NUM_NEG(c) || BC_NUM_NONZERO(c)); in bc_num_divmod()
3767 assert(BC_NUM_RDX_VALID(c)); in bc_num_divmod()
3768 assert(BC_NUM_RDX_VAL(c) <= c->len || !c->len); in bc_num_divmod()
3769 assert(!c->len || c->num[c->len - 1] || BC_NUM_RDX_VAL(c) == c->len); in bc_num_divmod()
3770 assert(!BC_NUM_NEG(d) || BC_NUM_NONZERO(d)); in bc_num_divmod()
3771 assert(BC_NUM_RDX_VALID(d)); in bc_num_divmod()
3772 assert(BC_NUM_RDX_VAL(d) <= d->len || !d->len); in bc_num_divmod()
3773 assert(!d->len || d->num[d->len - 1] || BC_NUM_RDX_VAL(d) == d->len); in bc_num_divmod()
3789 assert(a != NULL && b != NULL && c != NULL && d != NULL); in bc_num_modexp()
3790 assert(a != d && b != d && c != d); in bc_num_modexp()
3838 assert(BC_NUM_RDX_VALID(d)); in bc_num_modexp()
3839 assert(BC_NUM_RDX_VALID_NP(base)); in bc_num_modexp()
3847 assert(BC_NUM_RDX_VALID_NP(base)); in bc_num_modexp()
3861 assert(!BC_NUM_NEG(d) || d->len); in bc_num_modexp()
3862 assert(BC_NUM_RDX_VALID(d)); in bc_num_modexp()
3863 assert(!d->len || d->num[d->len - 1] || BC_NUM_RDX_VAL(d) == d->len); in bc_num_modexp()