Lines Matching refs:MPFR_ASSERTD
537 MPFR_ASSERTD (pos < b->size); in buffer_widen()
547 MPFR_ASSERTD (pos < b->size); in buffer_widen()
548 MPFR_ASSERTD (*b->curr == '\0'); in buffer_widen()
556 MPFR_ASSERTD (len != 0); in buffer_cat()
557 MPFR_ASSERTD (len <= strlen (s)); in buffer_cat()
565 MPFR_ASSERTD (b->curr < b->start + b->size); in buffer_cat()
566 MPFR_ASSERTD (*b->curr == '\0'); in buffer_cat()
573 MPFR_ASSERTD (n != 0); in buffer_pad()
586 MPFR_ASSERTD (b->curr < b->start + b->size); in buffer_pad()
602 MPFR_ASSERTD (size != 0); in buffer_sandwich()
611 MPFR_ASSERTD (len <= strlen (str)); in buffer_sandwich()
651 MPFR_ASSERTD (b->curr < b->start + b->size); in buffer_sandwich()
771 MPFR_ASSERTD (MPFR_IS_PURE_FP (x)); in next_base_power_p()
772 MPFR_ASSERTD (base == 2 || base == 16); in next_base_power_p()
930 MPFR_ASSERTD ((0 <= digit) && (digit <= 15)); in regular_ab()
1185 MPFR_ASSERTD (spec.prec >= 0); in regular_fg()
1222 MPFR_ASSERTD (exp < 0); in regular_fg()
1279 MPFR_ASSERTD (!spec_g); in regular_fg()
1311 MPFR_ASSERTD (str[0] == '1'); in regular_fg()
1320 MPFR_ASSERTD (exp <= 0); in regular_fg()
1339 MPFR_ASSERTD (str_len > 0); in regular_fg()
1363 MPFR_ASSERTD (exp >= 0); in regular_fg()
2049 MPFR_ASSERTD (nbchar == strlen (buf.start)); in mpfr_vasprintf()