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()