Lines Matching refs:FMT_ASSERT
71 FMT_ASSERT(buffer != nullptr && buffer_size != 0, "invalid buffer"); in safe_strerror()
1269 FMT_ASSERT(other.exp_ >= exp_, "unaligned bigints");
1270 FMT_ASSERT(compare(*this, other) >= 0, "");
1351 FMT_ASSERT(value > 0, "");
1462 FMT_ASSERT(this != &divisor, "");
1464 FMT_ASSERT(divisor.bigits_[divisor.bigits_.size() - 1u] != 0, "");
1483 FMT_ASSERT(remainder < divisor, ""); // divisor - remainder won't overflow.
1484 FMT_ASSERT(error < divisor, ""); // divisor - error won't overflow.
1485 FMT_ASSERT(error < divisor - error, ""); // error * 2 won't overflow.
1516 FMT_ASSERT(integral != 0, "");
1517 FMT_ASSERT(integral == value.f >> -one.e, "");
1567 FMT_ASSERT(false, "invalid number of digits");
1615 FMT_ASSERT(remainder < divisor, "");
1625 FMT_ASSERT(error == 1 && divisor > 2, "");
1723 FMT_ASSERT(e <= 1700 && e >= -1700, "too large exponent");
1731 FMT_ASSERT(e <= 1233 && e >= -1233, "too large exponent");
1741 FMT_ASSERT(e <= 1700 && e >= -1700, "too large exponent");
1753 FMT_ASSERT(exp >= 1, "");
1754 FMT_ASSERT(x != 0, "");
1762 FMT_ASSERT(exp >= 1, "");
1763 FMT_ASSERT(x != 0, "");
1773 FMT_ASSERT(exp <= 10, "too large exponent");
1778 FMT_ASSERT(exp <= 23, "too large exponent");
1811 FMT_ASSERT(n <= info.divisor_times_10, "n is too large");
1832 FMT_ASSERT(k >= float_info<float>::min_k && k <= float_info<float>::max_k,
1850 FMT_ASSERT(beta_minus_1 >= 1, "");
1851 FMT_ASSERT(beta_minus_1 < 64, "");
1885 FMT_ASSERT(k >= float_info<double>::min_k && k <= float_info<double>::max_k,
1906 FMT_ASSERT(alpha > 0 && alpha < 64, "shifting error detected");
1932 FMT_ASSERT(recovered_cache.low() + error >= recovered_cache.low(), "");
1950 FMT_ASSERT(beta_minus_1 >= 1, "");
1951 FMT_ASSERT(beta_minus_1 < 64, "");
2432 FMT_ASSERT(value >= 0, "value is negative");
2496 FMT_ASSERT(buf.capacity() > buf.size(), "empty buffer");